summaryrefslogtreecommitdiff
path: root/test/test-static-util.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/test-static-util.cpp')
-rw-r--r--test/test-static-util.cpp29
1 files changed, 29 insertions, 0 deletions
diff --git a/test/test-static-util.cpp b/test/test-static-util.cpp
new file mode 100644
index 0000000..2a8aa81
--- /dev/null
+++ b/test/test-static-util.cpp
@@ -0,0 +1,29 @@
+#include "util.h"
+
+namespace {
+ struct Base1 {
+ int a;
+ float b;
+ };
+
+ struct Base2 {
+ int x;
+ float y;
+ };
+
+ struct Sub : Base1, Base2 {
+ double value;
+ };
+
+ static_assert(std::is_same_v<MemberValueType<&Base1::a>, int>);
+ static_assert(std::is_same_v<MemberValueType<&Base2::y>, float>);
+ static_assert(std::is_same_v<MemberValueType<&Sub::a>, int>);
+ static_assert(std::is_same_v<MemberValueType<&Sub::y>, float>);
+ static_assert(std::is_same_v<MemberValueType<&Sub::value>, double>);
+
+ static_assert(std::is_same_v<ContainerType<&Base1::a>, Base1>);
+ static_assert(std::is_same_v<ContainerType<&Base2::y>, Base2>);
+ static_assert(std::is_same_v<ContainerType<&Sub::a>, Base1>);
+ static_assert(std::is_same_v<ContainerType<&Sub::y>, Base2>);
+ static_assert(std::is_same_v<ContainerType<&Sub::value>, Sub>);
+}