test/std/experimental/memory/memory.polymorphic.allocator.class/memory.polymorphic.allocator.ctor/other_alloc.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

// <experimental/memory_resource>

// template <class T> class polymorphic_allocator

// template <class U>
// polymorphic_allocator<T>::polymorphic_allocator(polymorphic_allocator<U> const &);


#include <experimental/memory_resource>
#include <type_traits>
#include <cassert>

#include "test_macros.h"

namespace ex = std::experimental::pmr;

int main(int, char**)
{
    typedef ex::polymorphic_allocator<void> A1;
    typedef ex::polymorphic_allocator<char> A2;
    { // Test that the conversion is implicit and noexcept.
        static_assert(
            std::is_convertible<A1 const &, A2>::value, ""
          );
        static_assert(
            std::is_convertible<A2 const &, A1>::value, ""
          );
        static_assert(
            std::is_nothrow_constructible<A1, A2 const &>::value, ""
          );
        static_assert(
            std::is_nothrow_constructible<A2, A1 const &>::value, ""
          );
    }
    // copy other type
    {
        A1 const a((ex::memory_resource*)42);
        A2 const a2(a);
        assert(a.resource() == a2.resource());
        assert(a2.resource() == (ex::memory_resource*)42);
    }
    {
        A1 a((ex::memory_resource*)42);
        A2 const a2(std::move(a));
        assert(a.resource() == a2.resource());
        assert(a2.resource() == (ex::memory_resource*)42);
    }

  return 0;
}