1 | //===----------------------------------------------------------------------===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | // <functional> |
10 | |
11 | // template <class T> |
12 | // struct hash |
13 | // { |
14 | // size_t operator()(T val) const; |
15 | // }; |
16 | |
17 | // Not very portable |
18 | |
19 | #include <vector> |
20 | #include <cassert> |
21 | #include <iterator> |
22 | #include <type_traits> |
23 | |
24 | #include "test_macros.h" |
25 | #include "min_allocator.h" |
26 | |
27 | TEST_CONSTEXPR_CXX20 bool tests() |
28 | { |
29 | { |
30 | typedef std::vector<bool> T; |
31 | typedef std::hash<T> H; |
32 | #if TEST_STD_VER <= 14 |
33 | static_assert((std::is_same<H::argument_type, T>::value), "" ); |
34 | static_assert((std::is_same<H::result_type, std::size_t>::value), "" ); |
35 | #endif |
36 | ASSERT_NOEXCEPT(H()(T())); |
37 | |
38 | bool ba[] = {true, false, true, true, false}; |
39 | T vb(std::begin(arr&: ba), std::end(arr&: ba)); |
40 | H h; |
41 | assert(h(vb) != 0); |
42 | } |
43 | #if TEST_STD_VER >= 11 |
44 | { |
45 | typedef std::vector<bool, min_allocator<bool>> T; |
46 | typedef std::hash<T> H; |
47 | #if TEST_STD_VER <= 14 |
48 | static_assert((std::is_same<H::argument_type, T>::value), "" ); |
49 | static_assert((std::is_same<H::result_type, std::size_t>::value), "" ); |
50 | #endif |
51 | ASSERT_NOEXCEPT(H()(T())); |
52 | bool ba[] = {true, false, true, true, false}; |
53 | T vb(std::begin(ba), std::end(ba)); |
54 | H h; |
55 | assert(h(vb) != 0); |
56 | } |
57 | #endif |
58 | |
59 | return true; |
60 | } |
61 | |
62 | int main(int, char**) |
63 | { |
64 | tests(); |
65 | #if TEST_STD_VER > 17 |
66 | static_assert(tests()); |
67 | #endif |
68 | return 0; |
69 | } |
70 | |