Differential D47360 Diff 219818 test/std/utilities/utility/mem.res/mem.poly.allocator.class/mem.poly.allocator.ctor/other_alloc.pass.cpp

Changeset View

Standalone View

				//===----------------------------------------------------------------------===//
				//
				// The LLVM Compiler Infrastructure
				//
				// This file is dual licensed under the MIT and the University of Illinois Open
				// Source Licenses. See LICENSE.TXT for details.
				//
				//===----------------------------------------------------------------------===//

				// UNSUPPORTED: c++98, c++03

				// <memory_resource>

				// template <class T> class polymorphic_allocator

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


				#include <memory_resource>
				#include <type_traits>
				#include <cassert>

				namespace ex = std::pmr;

				int main()
				{
				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);
				}
				}