llvm/libcxx/test/std/utilities/allocator.adaptor/allocator.adaptor.cnstr/deduct.pass.cpp

//===----------------------------------------------------------------------===//
//
// 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++03, c++11, c++14

// <scoped_allocator>

// template<class _OuterAlloc, class... _InnerAllocs>
//     scoped_allocator_adaptor(_OuterAlloc, _InnerAllocs...)
//         -> scoped_allocator_adaptor<_OuterAlloc, _InnerAllocs...>;

#include <scoped_allocator>

#include "test_macros.h"
#include "allocators.h"

int main(int, char**) {
  // Deduct from (const OuterAlloc&).
  {
    typedef A1<int> OuterAlloc;
    OuterAlloc outer(3);
    std::scoped_allocator_adaptor a(outer);
    ASSERT_SAME_TYPE(decltype(a), std::scoped_allocator_adaptor<OuterAlloc>);
  }

  // Deduct from (OuterAlloc&&).
  {
    typedef A1<int> OuterAlloc;
    std::scoped_allocator_adaptor a(OuterAlloc(3));
    ASSERT_SAME_TYPE(decltype(a), std::scoped_allocator_adaptor<OuterAlloc>);
  }

  // Deduct from (const OuterAlloc&, const InnerAlloc&).
  {
    typedef A1<int> OuterAlloc;
    typedef A2<int> InnerAlloc;
    OuterAlloc outer(3);
    InnerAlloc inner(4);

    std::scoped_allocator_adaptor a(outer, inner);
    ASSERT_SAME_TYPE(decltype(a), std::scoped_allocator_adaptor<OuterAlloc, InnerAlloc>);
  }

  // Deduct from (const OuterAlloc&, const InnerAlloc1&, InnerAlloc2&&).
  {
    typedef A1<int> OuterAlloc;
    typedef A2<int> InnerAlloc1;
    typedef A2<float> InnerAlloc2;
    OuterAlloc outer(3);
    InnerAlloc1 inner(4);

    std::scoped_allocator_adaptor a(outer, inner, InnerAlloc2(5));
    ASSERT_SAME_TYPE(decltype(a), std::scoped_allocator_adaptor<OuterAlloc, InnerAlloc1, InnerAlloc2>);
  }

  return 0;
}