blob: e3d7d8d751908357dc0017e21f0cb9b5801837bf (
plain)
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
#include "asl/object.hpp"
#include "asl/test_types.hpp"
static_assert(asl::is_object<asl::object<void>>);
static_assert(asl::is_object<asl::object<int>>);
static_assert(asl::is_object<asl::object<int&>>);
static_assert(asl::is_object<asl::object<int()>>);
static_assert(asl::is_empty<asl::object<void>>);
static_assert(asl::is_empty<asl::object<asl::empty>>);
static_assert(sizeof(asl::object<int>) == 4);
static_assert(sizeof(asl::object<int*>) == sizeof(void*));
static_assert(sizeof(asl::object<int&>) == sizeof(void*));
static_assert(sizeof(asl::object<int()>) == sizeof(void*));
static_assert(asl::default_constructible<asl::object<int>>);
static_assert(asl::default_constructible<asl::object<TriviallyDefaultConstructible>>);
static_assert(asl::default_constructible<asl::object<DefaultConstructible>>);
static_assert(!asl::default_constructible<asl::object<NonDefaultConstructible>>);
static_assert(asl::trivially_default_constructible<asl::object<int>>);
static_assert(asl::trivially_default_constructible<asl::object<TriviallyDefaultConstructible>>);
static_assert(!asl::trivially_default_constructible<asl::object<DefaultConstructible>>);
static_assert(!asl::trivially_default_constructible<asl::object<NonDefaultConstructible>>);
static_assert(asl::copy_constructible<asl::object<int>>);
static_assert(asl::copy_constructible<asl::object<TriviallyCopyConstructible>>);
static_assert(asl::copy_constructible<asl::object<CopyConstructible>>);
static_assert(!asl::copy_constructible<asl::object<NonCopyConstructible>>);
static_assert(asl::trivially_copy_constructible<asl::object<int>>);
static_assert(asl::trivially_copy_constructible<asl::object<TriviallyCopyConstructible>>);
static_assert(!asl::trivially_copy_constructible<asl::object<CopyConstructible>>);
static_assert(!asl::trivially_copy_constructible<asl::object<NonCopyConstructible>>);
static_assert(asl::move_constructible<asl::object<int>>);
static_assert(asl::move_constructible<asl::object<TriviallyMoveConstructible>>);
static_assert(asl::move_constructible<asl::object<MoveConstructible>>);
static_assert(!asl::move_constructible<asl::object<NonMoveConstructible>>);
static_assert(asl::trivially_move_constructible<asl::object<int>>);
static_assert(asl::trivially_move_constructible<asl::object<TriviallyMoveConstructible>>);
static_assert(!asl::trivially_move_constructible<asl::object<MoveConstructible>>);
static_assert(!asl::trivially_move_constructible<asl::object<NonMoveConstructible>>);
static_assert(asl::copy_assignable<asl::object<int>>);
static_assert(asl::copy_assignable<asl::object<CopyAssignable>>);
static_assert(asl::copy_assignable<asl::object<TriviallyCopyAssignable>>);
static_assert(!asl::copy_assignable<asl::object<NoCopyAssignable>>);
static_assert(asl::trivially_copy_assignable<asl::object<int>>);
static_assert(!asl::trivially_copy_assignable<asl::object<CopyAssignable>>);
static_assert(asl::trivially_copy_assignable<asl::object<TriviallyCopyAssignable>>);
static_assert(!asl::trivially_copy_assignable<asl::object<NoCopyAssignable>>);
static_assert(asl::move_assignable<asl::object<int>>);
static_assert(asl::move_assignable<asl::object<MoveAssignable>>);
static_assert(asl::move_assignable<asl::object<TriviallyMoveAssignable>>);
static_assert(!asl::move_assignable<asl::object<NoMoveAssignable>>);
static_assert(asl::trivially_move_assignable<asl::object<int>>);
static_assert(!asl::trivially_move_assignable<asl::object<MoveAssignable>>);
static_assert(asl::trivially_move_assignable<asl::object<TriviallyMoveAssignable>>);
static_assert(!asl::trivially_move_assignable<asl::object<NoMoveAssignable>>);
static_assert(asl::trivially_destructible<asl::object<int>>);
static_assert(asl::trivially_destructible<asl::object<TriviallyDestructible>>);
static_assert(!asl::trivially_destructible<asl::object<HasDestructor>>);
int main() { return 0; }
|
