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 // <vector>
10
11 // vector& operator=(vector&& c)
12 // noexcept(
13 // allocator_type::propagate_on_container_move_assignment::value &&
14 // is_nothrow_move_assignable<allocator_type>::value);
15
16 // This tests a conforming extension
17
18 // UNSUPPORTED: c++03
19
20 #include <vector>
21 #include <cassert>
22
23 #include "test_macros.h"
24 #include "test_allocator.h"
25
26 template <class T>
27 struct some_alloc
28 {
29 typedef T value_type;
30 some_alloc(const some_alloc&);
31 };
32
33 template <class T>
34 struct some_alloc2
35 {
36 typedef T value_type;
37
some_alloc2some_alloc238 some_alloc2() {}
39 some_alloc2(const some_alloc2&);
deallocatesome_alloc240 void deallocate(void*, unsigned) {}
41
42 typedef std::false_type propagate_on_container_move_assignment;
43 typedef std::true_type is_always_equal;
44 };
45
46 template <class T>
47 struct some_alloc3
48 {
49 typedef T value_type;
50
some_alloc3some_alloc351 some_alloc3() {}
52 some_alloc3(const some_alloc3&);
deallocatesome_alloc353 void deallocate(void*, unsigned) {}
54
55 typedef std::false_type propagate_on_container_move_assignment;
56 typedef std::false_type is_always_equal;
57 };
58
main(int,char **)59 int main(int, char**)
60 {
61 #if defined(_LIBCPP_VERSION)
62 {
63 typedef std::vector<bool> C;
64 static_assert(std::is_nothrow_move_assignable<C>::value, "");
65 }
66 #endif // _LIBCPP_VERSION
67 {
68 typedef std::vector<bool, test_allocator<bool>> C;
69 static_assert(!std::is_nothrow_move_assignable<C>::value, "");
70 }
71 #if defined(_LIBCPP_VERSION)
72 {
73 typedef std::vector<bool, other_allocator<bool>> C;
74 static_assert(std::is_nothrow_move_assignable<C>::value, "");
75 }
76 #endif // _LIBCPP_VERSION
77 {
78 #if TEST_STD_VER > 14
79 #if defined(_LIBCPP_VERSION)
80 typedef std::vector<bool, some_alloc<bool>> C;
81 static_assert( std::is_nothrow_move_assignable<C>::value, "");
82 #endif // _LIBCPP_VERSION
83 #else
84 typedef std::vector<bool, some_alloc<bool>> C;
85 static_assert(!std::is_nothrow_move_assignable<C>::value, "");
86 #endif
87 }
88 #if TEST_STD_VER > 14
89 #if defined(_LIBCPP_VERSION)
90 { // POCMA false, is_always_equal true
91 typedef std::vector<bool, some_alloc2<bool>> C;
92 static_assert( std::is_nothrow_move_assignable<C>::value, "");
93 }
94 #endif // _LIBCPP_VERSION
95 { // POCMA false, is_always_equal false
96 typedef std::vector<bool, some_alloc3<bool>> C;
97 static_assert(!std::is_nothrow_move_assignable<C>::value, "");
98 }
99 #endif
100
101 return 0;
102 }
103