FastLED 3.9.15
Loading...
Searching...
No Matches
type_traits.cpp
Go to the documentation of this file.
1
2#include "fl/type_traits.h"
3#include "fl/int.h"
4
5#pragma GCC diagnostic push
6#pragma GCC diagnostic ignored "-Wunused-function"
7
8// Type traits are tricky and can be compiler dependent. We can't rely on
9// unit testing since that runs on the host machine. So to any type trait
10// that can statically be tested, add below.
11
12// typetrait test
13namespace {
14void __compile_test() {
15 static_assert(fl::is_integral<int>::value, "int should be integral");
16 static_assert(fl::is_integral<float>::value == false,
17 "float should not be integral");
18 static_assert(fl::is_integral<bool>::value, "bool should be integral");
19 static_assert(fl::is_integral<char>::value, "char should be integral");
20 static_assert(fl::is_integral<unsigned char>::value,
21 "unsigned char should be integral");
22 static_assert(fl::is_integral<signed char>::value,
23 "signed char should be integral");
24 static_assert(fl::is_integral<short>::value, "short should be integral");
25 static_assert(fl::is_integral<unsigned short>::value,
26 "unsigned short should be integral");
27 static_assert(fl::is_integral<long>::value, "long should be integral");
28 static_assert(fl::is_integral<unsigned long>::value,
29 "unsigned long should be integral");
30 static_assert(fl::is_integral<long long>::value,
31 "long long should be integral");
32 static_assert(fl::is_integral<unsigned long long>::value,
33 "unsigned long long should be integral");
34 static_assert(fl::is_integral<int *>::value == false,
35 "int* should not be integral");
36 static_assert(fl::is_integral<float *>::value == false,
37 "float* should not be integral");
38 static_assert(fl::is_integral<void>::value == false,
39 "void should not be integral");
40 static_assert(fl::is_integral<void *>::value == false,
41 "void* should not be integral");
42 static_assert(fl::is_integral<const int>::value,
43 "const int should be integral");
44 static_assert(fl::is_integral<const float>::value == false,
45 "const float should not be integral");
46 static_assert(fl::is_integral<const char>::value,
47 "const char should be integral");
48 static_assert(fl::is_integral<const unsigned char>::value,
49 "const unsigned char should be integral");
50 static_assert(fl::is_integral<const signed char>::value,
51 "const signed char should be integral");
52 static_assert(fl::is_integral<const short>::value,
53 "const short should be integral");
54 static_assert(fl::is_integral<const unsigned short>::value,
55 "const unsigned short should be integral");
56 static_assert(fl::is_integral<const long>::value,
57 "const long should be integral");
58 static_assert(fl::is_integral<const unsigned long>::value,
59 "const unsigned long should be integral");
60 static_assert(fl::is_integral<const long long>::value,
61 "const long long should be integral");
62 static_assert(fl::is_integral<const unsigned long long>::value,
63 "const unsigned long long should be integral");
64
65 // volatile
66 static_assert(fl::is_integral<volatile int>::value,
67 "volatile int should be integral");
68 static_assert(fl::is_integral<volatile float>::value == false,
69 "volatile float should not be integral");
70 static_assert(fl::is_integral<volatile char>::value,
71 "volatile char should be integral");
72
73 // ref
74 static_assert(fl::is_integral<unsigned char &>::value,
75 "unsigned char& should be integral");
76 static_assert(fl::is_integral<const unsigned char &>::value,
77 "const unsigned char& should be integral");
78
79 // fixed width int types from fl/int.h
80 static_assert(fl::is_integral<fl::i8>::value, "i8 should be integral");
81 static_assert(fl::is_integral<fl::u8>::value,
82 "u8 should be integral");
83 static_assert(fl::is_integral<fl::i16>::value,
84 "i16 should be integral");
85 static_assert(fl::is_integral<fl::u16>::value,
86 "u16 should be integral");
87 static_assert(fl::is_integral<fl::i32>::value,
88 "i32 should be integral");
89 static_assert(fl::is_integral<fl::u32>::value,
90 "u32 should be integral");
91 static_assert(fl::is_integral<fl::i64>::value,
92 "fl::i64 should be integral");
93 static_assert(fl::is_integral<fl::u64>::value,
94 "fl::u64 should be integral");
95 static_assert(fl::is_integral<fl::i8 *>::value == false,
96 "i8* should not be integral");
97 static_assert(fl::is_integral<fl::u8 *>::value == false,
98 "u8* should not be integral");
99 static_assert(fl::is_integral<fl::uint>::value,
100 "uint should be integral");
101
102 // fixed width int types from fl/stdint.h
103 static_assert(fl::is_integral<int8_t>::value, "int8_t should be integral");
104 static_assert(fl::is_integral<uint8_t>::value,
105 "uint8_t should be integral");
106 static_assert(fl::is_integral<int16_t>::value,
107 "int16_t should be integral");
108 static_assert(fl::is_integral<uint16_t>::value,
109 "uint16_t should be integral");
110 static_assert(fl::is_integral<int32_t>::value,
111 "int32_t should be integral");
112 static_assert(fl::is_integral<uint32_t>::value,
113 "uint32_t should be integral");
114 static_assert(fl::is_integral<int64_t>::value,
115 "int64_t should be integral");
116 static_assert(fl::is_integral<uint64_t>::value,
117 "uint64_t should be integral");
118 static_assert(fl::is_integral<int8_t *>::value == false,
119 "int8_t* should not be integral");
120 static_assert(fl::is_integral<uint8_t *>::value == false,
121 "uint8_t* should not be integral");
122}
123} // namespace
124
125#pragma GCC diagnostic pop
anonymous_namespace{type_traits.cpp}::__compile_test
void __compile_test()
Definition type_traits.cpp:14
fl::is_integral::value
static constexpr bool value
Definition type_traits.h:344
type_traits.h