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 // <memory> 11 12 // template <class OuterAlloc, class... InnerAllocs> 13 // class scoped_allocator_adaptor 14 15 // template <class OuterA2> 16 // scoped_allocator_adaptor(scoped_allocator_adaptor<OuterA2, 17 // InnerAllocs...>&& other); 18 19 #include <scoped_allocator> 20 #include <cassert> 21 22 #include "allocators.h" 23 24 int main() 25 { 26 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES 27 28 { 29 typedef std::scoped_allocator_adaptor<A1<double>> B; 30 typedef std::scoped_allocator_adaptor<A1<int>> A; 31 B a1(A1<int>(3)); 32 A1<int>::copy_called = false; 33 A1<int>::move_called = false; 34 A a2 = std::move(a1); 35 assert(A1<int>::copy_called == false); 36 assert(A1<int>::move_called == true); 37 assert(a2 == a1); 38 } 39 { 40 typedef std::scoped_allocator_adaptor<A1<double>, A2<int>> B; 41 typedef std::scoped_allocator_adaptor<A1<int>, A2<int>> A; 42 B a1(A1<int>(4), A2<int>(5)); 43 A1<int>::copy_called = false; 44 A1<int>::move_called = false; 45 A2<int>::copy_called = false; 46 A2<int>::move_called = false; 47 A a2 = std::move(a1); 48 assert(A1<int>::copy_called == false); 49 assert(A1<int>::move_called == true); 50 assert(A2<int>::copy_called == false); 51 assert(A2<int>::move_called == true); 52 assert(a2 == a1); 53 } 54 { 55 typedef std::scoped_allocator_adaptor<A1<double>, A2<int>, A3<int>> B; 56 typedef std::scoped_allocator_adaptor<A1<int>, A2<int>, A3<int>> A; 57 B a1(A1<int>(4), A2<int>(5), A3<int>(6)); 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 A3<int>::copy_called = false; 63 A3<int>::move_called = false; 64 A a2 = std::move(a1); 65 assert(A1<int>::copy_called == false); 66 assert(A1<int>::move_called == true); 67 assert(A2<int>::copy_called == false); 68 assert(A2<int>::move_called == true); 69 assert(A3<int>::copy_called == false); 70 assert(A3<int>::move_called == true); 71 assert(a2 == a1); 72 } 73 74 #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES 75 } 76