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
|
// Copyright 2017, 2023, 2024 Peter Dimov.
// Distributed under the Boost Software License, Version 1.0.
// https://www.boost.org/LICENSE_1_0.txt
#include <boost/hash2/is_trivially_equality_comparable.hpp>
#include <boost/core/lightweight_test_trait.hpp>
#include <cstddef>
class X;
struct Y
{
};
enum E
{
v
};
template<class T> void test( bool exp )
{
using boost::hash2::is_trivially_equality_comparable;
if( exp )
{
BOOST_TEST_TRAIT_TRUE((is_trivially_equality_comparable<T>));
BOOST_TEST_TRAIT_TRUE((is_trivially_equality_comparable<T const>));
}
else
{
BOOST_TEST_TRAIT_FALSE((is_trivially_equality_comparable<T>));
BOOST_TEST_TRAIT_FALSE((is_trivially_equality_comparable<T const>));
}
}
int main()
{
test<bool>( true );
test<char>( true );
test<signed char>( true);
test<unsigned char>( true );
test<wchar_t>( true );
test<char16_t>( true );
test<char32_t>( true );
test<short>( true );
test<unsigned short>( true );
test<int>( true );
test<unsigned int>( true );
test<long>( true );
test<unsigned long>( true );
test<long long>( true );
test<unsigned long long>( true );
//
test<float>( false );
test<double>( false );
test<long double>( false );
//
test<std::nullptr_t>( false );
test<void*>( true );
test<void const*>( true );
test<void(*)()>( true );
test<X*>( true );
test<Y*>( true );
//
test<E>( true );
//
test<Y>( false );
test<int Y::*>( false );
test<void (Y::*)()>( false );
//
return boost::report_errors();
}
|
