test/std/utilities/allocator.adaptor/allocator.adaptor.cnstr/converting_move.pass.cpp

   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(scoped_allocator_adaptor<OuterA2,
  19 //                                                     InnerAllocs...>&& other);
  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<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 }