blob: e810e4e0461dc69c4afd8969d2d744a906d0f7c7 (
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
|
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#ifndef LIBCXX_TEST_SUPPORT_BOOLEAN_TESTABLE_H
#define LIBCXX_TEST_SUPPORT_BOOLEAN_TESTABLE_H
#include "test_macros.h"
#if TEST_STD_VER > 17
class BooleanTestable {
public:
constexpr operator bool() const {
return value_;
}
friend constexpr BooleanTestable operator==(const BooleanTestable& lhs, const BooleanTestable& rhs) {
return lhs.value_ == rhs.value_;
}
friend constexpr BooleanTestable operator!=(const BooleanTestable& lhs, const BooleanTestable& rhs) {
return !(lhs == rhs);
}
constexpr BooleanTestable operator!() {
return BooleanTestable{!value_};
}
// this class should behave like a bool, so the constructor shouldn't be explicit
constexpr BooleanTestable(bool value) : value_{value} {}
constexpr BooleanTestable(const BooleanTestable&) = delete;
constexpr BooleanTestable(BooleanTestable&&) = delete;
private:
bool value_;
};
template <class T>
class StrictComparable {
public:
// this shouldn't be explicit to make it easier to initlaize inside arrays (which it almost always is)
constexpr StrictComparable(T value) : value_{value} {}
friend constexpr BooleanTestable operator==(const StrictComparable& lhs, const StrictComparable& rhs) {
return (lhs.value_ == rhs.value_);
}
friend constexpr BooleanTestable operator!=(const StrictComparable& lhs, const StrictComparable& rhs) {
return !(lhs == rhs);
}
private:
T value_;
};
#endif // TEST_STD_VER > 17
#endif // LIBCXX_TEST_SUPPORT_BOOLEAN_TESTABLE_H
|
