| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // UNSUPPORTED: c++98, c++03 |
| |
| // <memory> |
| |
| // template <class OuterAlloc, class... InnerAllocs> |
| // class scoped_allocator_adaptor |
| |
| // template <class OuterA2> |
| // scoped_allocator_adaptor(const scoped_allocator_adaptor<OuterA2, |
| // InnerAllocs...>& other); |
| |
| #include <scoped_allocator> |
| #include <cassert> |
| |
| #include "test_macros.h" |
| #include "allocators.h" |
| |
| int main(int, char**) |
| { |
| { |
| typedef std::scoped_allocator_adaptor<A1<double>> B; |
| typedef std::scoped_allocator_adaptor<A1<int>> A; |
| B a1(A1<int>(3)); |
| A1<int>::copy_called = false; |
| A1<int>::move_called = false; |
| A a2 = a1; |
| assert(A1<int>::copy_called == true); |
| assert(a2 == a1); |
| } |
| { |
| typedef std::scoped_allocator_adaptor<A1<double>, A2<int>> B; |
| typedef std::scoped_allocator_adaptor<A1<int>, A2<int>> A; |
| B a1(A1<int>(4), A2<int>(5)); |
| A1<int>::copy_called = false; |
| A1<int>::move_called = false; |
| A2<int>::copy_called = false; |
| A2<int>::move_called = false; |
| A a2 = a1; |
| assert(A1<int>::copy_called == true); |
| assert(A2<int>::copy_called == true); |
| assert(a2 == a1); |
| } |
| { |
| typedef std::scoped_allocator_adaptor<A1<double>, A2<int>, A3<int>> B; |
| typedef std::scoped_allocator_adaptor<A1<int>, A2<int>, A3<int>> A; |
| B a1(A1<int>(4), A2<int>(5), A3<int>(6)); |
| A1<int>::copy_called = false; |
| A1<int>::move_called = false; |
| A2<int>::copy_called = false; |
| A2<int>::move_called = false; |
| A3<int>::copy_called = false; |
| A3<int>::move_called = false; |
| A a2 = a1; |
| assert(A1<int>::copy_called == true); |
| assert(A2<int>::copy_called == true); |
| assert(A3<int>::copy_called == true); |
| assert(a2 == a1); |
| } |
| |
| |
| return 0; |
| } |