allocs.pass.cpp (4254B)
1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // UNSUPPORTED: c++98, c++03 11 12 // <memory> 13 14 // template <class OuterAlloc, class... InnerAllocs> 15 // class scoped_allocator_adaptor 16 17 // template <class OuterA2> 18 // scoped_allocator_adaptor(OuterA2&& outerAlloc, 19 // const InnerAllocs& ...innerAllocs); 20 21 #include <scoped_allocator> 22 #include <cassert> 23 24 #include "allocators.h" 25 26 int main() 27 { 28 { 29 typedef std::scoped_allocator_adaptor<A1<int>> A; 30 A1<int> a3(3); 31 A a(a3); 32 assert(a.outer_allocator() == A1<int>(3)); 33 assert(a.inner_allocator() == a); 34 assert(A1<int>::copy_called == true); 35 assert(A1<int>::move_called == false); 36 } 37 A1<int>::copy_called = false; 38 { 39 typedef std::scoped_allocator_adaptor<A1<int>> A; 40 A a(A1<int>(3)); 41 assert(a.outer_allocator() == A1<int>(3)); 42 assert(a.inner_allocator() == a); 43 assert(A1<int>::copy_called == false); 44 assert(A1<int>::move_called == true); 45 } 46 A1<int>::move_called = false; 47 { 48 typedef std::scoped_allocator_adaptor<A1<int>, A2<int>> A; 49 A1<int> a4(4); 50 A a(a4, A2<int>(5)); 51 assert(A1<int>::copy_called == true); 52 assert(A1<int>::move_called == false); 53 assert(A2<int>::copy_called == true); 54 assert(A2<int>::move_called == false); 55 assert(a.outer_allocator() == A1<int>(4)); 56 assert(a.inner_allocator() == std::scoped_allocator_adaptor<A2<int>>(A2<int>(5))); 57 } 58 A1<int>::copy_called = false; 59 A1<int>::move_called = false; 60 A2<int>::copy_called = false; 61 A2<int>::move_called = false; 62 { 63 typedef std::scoped_allocator_adaptor<A1<int>, A2<int>> A; 64 A a(A1<int>(4), A2<int>(5)); 65 assert(A1<int>::copy_called == false); 66 assert(A1<int>::move_called == true); 67 assert(A2<int>::copy_called == true); 68 assert(A2<int>::move_called == false); 69 assert(a.outer_allocator() == A1<int>(4)); 70 assert(a.inner_allocator() == std::scoped_allocator_adaptor<A2<int>>(A2<int>(5))); 71 } 72 A1<int>::copy_called = false; 73 A1<int>::move_called = false; 74 A2<int>::copy_called = false; 75 A2<int>::move_called = false; 76 A1<int>::move_called = false; 77 { 78 typedef std::scoped_allocator_adaptor<A1<int>, A2<int>, A3<int>> A; 79 A1<int> a4(4); 80 A a(a4, A2<int>(5), A3<int>(6)); 81 assert(A1<int>::copy_called == true); 82 assert(A1<int>::move_called == false); 83 assert(A2<int>::copy_called == true); 84 assert(A2<int>::move_called == false); 85 assert(A3<int>::copy_called == true); 86 assert(A3<int>::move_called == false); 87 assert(a.outer_allocator() == A1<int>(4)); 88 assert((a.inner_allocator() == 89 std::scoped_allocator_adaptor<A2<int>, A3<int>>(A2<int>(5), A3<int>(6)))); 90 } 91 A1<int>::copy_called = false; 92 A1<int>::move_called = false; 93 A2<int>::copy_called = false; 94 A2<int>::move_called = false; 95 A3<int>::copy_called = false; 96 A3<int>::move_called = false; 97 { 98 typedef std::scoped_allocator_adaptor<A1<int>, A2<int>, A3<int>> A; 99 A a(A1<int>(4), A2<int>(5), A3<int>(6)); 100 assert(A1<int>::copy_called == false); 101 assert(A1<int>::move_called == true); 102 assert(A2<int>::copy_called == true); 103 assert(A2<int>::move_called == false); 104 assert(A3<int>::copy_called == true); 105 assert(A3<int>::move_called == false); 106 assert(a.outer_allocator() == A1<int>(4)); 107 assert((a.inner_allocator() == 108 std::scoped_allocator_adaptor<A2<int>, A3<int>>(A2<int>(5), A3<int>(6)))); 109 } 110 // Test for LWG2782 111 { 112 static_assert(!std::is_convertible<A1<int>, A2<int>>::value, ""); 113 static_assert(!std::is_convertible< 114 std::scoped_allocator_adaptor<A1<int>>, 115 std::scoped_allocator_adaptor<A2<int>>>::value, ""); 116 } 117 }