1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
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; }
|
