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 | // <unordered_set> |
10 | |
11 | // unordered_set(unordered_set&&) |
12 | // noexcept(is_nothrow_move_constructible<allocator_type>::value && |
13 | // is_nothrow_move_constructible<key_compare>::value); |
14 | |
15 | // This tests a conforming extension |
16 | |
17 | // UNSUPPORTED: c++03 |
18 | |
19 | #include <unordered_set> |
20 | #include <cassert> |
21 | |
22 | #include "test_macros.h" |
23 | #include "MoveOnly.h" |
24 | #include "test_allocator.h" |
25 | |
26 | template <class T> |
27 | struct some_comp |
28 | { |
29 | typedef T value_type; |
30 | some_comp(const some_comp&); |
31 | bool operator()(const T&, const T&) const { return false; } |
32 | }; |
33 | |
34 | template <class T> |
35 | struct some_hash |
36 | { |
37 | typedef T value_type; |
38 | some_hash(); |
39 | some_hash(const some_hash&); |
40 | std::size_t operator()(T const&) const; |
41 | }; |
42 | |
43 | int main(int, char**) |
44 | { |
45 | #if defined(_LIBCPP_VERSION) |
46 | { |
47 | typedef std::unordered_set<MoveOnly> C; |
48 | static_assert(std::is_nothrow_move_constructible<C>::value, "" ); |
49 | } |
50 | { |
51 | typedef std::unordered_set<MoveOnly, std::hash<MoveOnly>, |
52 | std::equal_to<MoveOnly>, test_allocator<MoveOnly>> C; |
53 | static_assert(std::is_nothrow_move_constructible<C>::value, "" ); |
54 | } |
55 | { |
56 | typedef std::unordered_set<MoveOnly, std::hash<MoveOnly>, |
57 | std::equal_to<MoveOnly>, other_allocator<MoveOnly>> C; |
58 | static_assert(std::is_nothrow_move_constructible<C>::value, "" ); |
59 | } |
60 | #endif // _LIBCPP_VERSION |
61 | { |
62 | typedef std::unordered_set<MoveOnly, some_hash<MoveOnly>> C; |
63 | static_assert(!std::is_nothrow_move_constructible<C>::value, "" ); |
64 | } |
65 | { |
66 | typedef std::unordered_set<MoveOnly, std::hash<MoveOnly>, |
67 | some_comp<MoveOnly>> C; |
68 | static_assert(!std::is_nothrow_move_constructible<C>::value, "" ); |
69 | } |
70 | |
71 | return 0; |
72 | } |
73 | |