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

Changeset View

Standalone View

View Options

test/std/utilities/utility/mem.res/mem.poly.allocator.class/mem.poly.allocator.eq/not_equal.pass.cpp

This file was added.

				//===----------------------------------------------------------------------===//
				//
				// 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 T>
				// bool operator!=(
				// polymorphic_allocator<T> const &
				// , polymorphic_allocator<T> const &) noexcept

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

				#include "test_std_memory_resource.h"

				namespace ex = std::pmr;

				int main(int, char**)
				{
				typedef ex::polymorphic_allocator<void> A1;
				typedef ex::polymorphic_allocator<int> A2;
				// check return types
				{
				A1 const a1;
				A2 const a2;
				static_assert(std::is_same<decltype(a1 != a2), bool>::value, "");
				static_assert(noexcept(a1 != a2), "");
				}
				// not equal same type (different resource)
				{
				TestResource d1(1);
				TestResource d2(2);
				A1 const a1(&d1);
				A1 const a2(&d2);

				assert(a1 != a2);
				assert(d1.checkIsEqualCalledEq(1));
				assert(d2.checkIsEqualCalledEq(0));

				d1.reset();

				assert(a2 != a1);
				assert(d1.checkIsEqualCalledEq(0));
				assert(d2.checkIsEqualCalledEq(1));
				}
				// equal same type (same resource)
				{
				TestResource d1;
				A1 const a1(&d1);
				A1 const a2(&d1);

				assert(!(a1 != a2));
				assert(d1.checkIsEqualCalledEq(0));

				assert(!(a2 != a1));
				assert(d1.checkIsEqualCalledEq(0));
				}
				// equal same type
				{
				TestResource d1(1);
				TestResource d2(1);
				A1 const a1(&d1);
				A1 const a2(&d2);

				assert(!(a1 != a2));
				assert(d1.checkIsEqualCalledEq(1));
				assert(d2.checkIsEqualCalledEq(0));

				d1.reset();

				assert(!(a2 != a1));
				assert(d1.checkIsEqualCalledEq(0));
				assert(d2.checkIsEqualCalledEq(1));

				}
				// not equal different types
				{
				TestResource d1;
				TestResource1 d2;
				A1 const a1(&d1);
				A2 const a2(&d2);

				assert(a1 != a2);
				assert(d1.checkIsEqualCalledEq(1));
				assert(d2.checkIsEqualCalledEq(0));

				d1.reset();

				assert(a2 != a1);
				assert(d1.checkIsEqualCalledEq(0));
				assert(d2.checkIsEqualCalledEq(1));
				}

				return 0;
				}