diff options
| author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-08-01 00:56:05 +0200 |
|---|---|---|
| committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-08-01 00:56:05 +0200 |
| commit | 4228e82740f62b841799cfca04861fa217fb93a5 (patch) | |
| tree | 30bd93b9c62e87d8b1416344d21ba84cfb66ae2a /asl/meta/quals_tests.cpp | |
| parent | 4698812fdc2d9eeea03f26307d6e7e626aaec12b (diff) | |
More work on taxonomy
Diffstat (limited to 'asl/meta/quals_tests.cpp')
| -rw-r--r-- | asl/meta/quals_tests.cpp | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/asl/meta/quals_tests.cpp b/asl/meta/quals_tests.cpp new file mode 100644 index 0000000..37ecc6c --- /dev/null +++ b/asl/meta/quals_tests.cpp @@ -0,0 +1,51 @@ +#include "asl/meta/quals.hpp"
+#include "asl/meta/types.hpp"
+
+using namespace asl;
+
+static_assert(!is_const<int>);
+static_assert(is_const<const int>);
+static_assert(!is_const<volatile int>);
+static_assert(is_const<const volatile int>);
+
+static_assert(!is_volatile<int>);
+static_assert(!is_volatile<const int>);
+static_assert(is_volatile<volatile int>);
+static_assert(is_volatile<const volatile int>);
+
+static_assert(!is_const<const int*>);
+static_assert(is_const<const int* const>);
+
+static_assert(is_const<const int&>);
+static_assert(is_const<int&>);
+
+static_assert(is_const<void()>);
+static_assert(is_const<void() const>);
+static_assert(is_const<void() const &>);
+
+static_assert(!is_volatile<int&>);
+static_assert(!is_volatile<void()>);
+
+static_assert(same<as_const_t<int>, const int>);
+static_assert(same<as_const_t<const int>, const int>);
+static_assert(same<un_const_t<int>, int>);
+static_assert(same<un_const_t<const int>, int>);
+
+static_assert(same<as_const_t<int[]>, const int[]>);
+static_assert(same<as_const_t<int[5]>, const int[5]>);
+
+static_assert(same<as_volatile_t<int>, volatile int>);
+static_assert(same<as_volatile_t<volatile int>, volatile int>);
+static_assert(same<un_volatile_t<int>, int>);
+static_assert(same<un_volatile_t<volatile int>, int>);
+
+static_assert(same<as_volatile_t<int[]>, volatile int[]>);
+static_assert(same<as_volatile_t<int[5]>, volatile int[5]>);
+
+static_assert(same<un_qual_t<int>, int>);
+static_assert(same<un_qual_t<const int>, int>);
+static_assert(same<un_qual_t<volatile int>, int>);
+static_assert(same<un_qual_t<const volatile int>, int>);
+static_assert(same<un_qual_t<volatile const int>, int>);
+
+int main() { return 0; }
|