blob: 439f8ea2b91d274757af84366d1a3eb43c322d78 (
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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
#ifndef HEADER_TEST_HELPERS_HPP
#define HEADER_TEST_HELPERS_HPP
#include "common.hpp"
#include <utility>
template <typename T> static void generic_bool_ops_test(const T& obj)
{
T null;
CHECK(!null);
CHECK(obj);
CHECK(!!obj);
#ifdef _MSC_VER
# pragma warning(push)
# pragma warning(disable: 4800) // forcing value to bool 'true' or 'false' (performance warning) - we really want to just cast to bool instead of !!
#endif
bool b1 = null, b2 = obj;
#ifdef _MSC_VER
# pragma warning(pop)
#endif
CHECK(!b1);
CHECK(b2);
CHECK(obj && b2);
CHECK(obj || b2);
CHECK(obj && obj);
CHECK(obj || obj);
}
template <typename T> static void generic_eq_ops_test(const T& obj1, const T& obj2)
{
T null = T();
// operator==
CHECK(null == null);
CHECK(obj1 == obj1);
CHECK(!(null == obj1));
CHECK(!(null == obj2));
CHECK(T(null) == null);
CHECK(T(obj1) == obj1);
// operator!=
CHECK(!(null != null));
CHECK(!(obj1 != obj1));
CHECK(null != obj1);
CHECK(null != obj2);
CHECK(!(T(null) != null));
CHECK(!(T(obj1) != obj1));
}
template <typename T> static void generic_rel_ops_test(T obj1, T obj2)
{
T null = T();
// obj1 < obj2 (we use operator<, but there is no other choice
if (obj1 > obj2)
{
T temp = obj1;
obj1 = obj2;
obj2 = temp;
}
// operator<
CHECK(null < obj1);
CHECK(null < obj2);
CHECK(obj1 < obj2);
CHECK(!(null < null));
CHECK(!(obj1 < obj1));
CHECK(!(obj1 < null));
CHECK(!(obj2 < obj1));
// operator<=
CHECK(null <= obj1);
CHECK(null <= obj2);
CHECK(obj1 <= obj2);
CHECK(null <= null);
CHECK(obj1 <= obj1);
CHECK(!(obj1 <= null));
CHECK(!(obj2 <= obj1));
// operator>
CHECK(obj1 > null);
CHECK(obj2 > null);
CHECK(obj2 > obj1);
CHECK(!(null > null));
CHECK(!(obj1 > obj1));
CHECK(!(null > obj1));
CHECK(!(obj1 > obj2));
// operator>=
CHECK(obj1 >= null);
CHECK(obj2 >= null);
CHECK(obj2 >= obj1);
CHECK(null >= null);
CHECK(obj1 >= obj1);
CHECK(!(null >= obj1));
CHECK(!(obj1 >= obj2));
}
template <typename T> static void generic_empty_test(const T& obj)
{
T null;
CHECK(null.empty());
CHECK(!obj.empty());
}
#endif
|
