Type Reference Decay tests...

TypeRefDecay.hpp

////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////

struct TestStructure
{
	int number = 42;
};

////////////////////////////////////////////////////////////////////////////////

template <typename Type>
auto SimpleTypeRefDecay(Type& type)
{
	return std::remove_reference_t<Type>(type);
}

////////////////////////////////////////////////////////////////////////////////

TEST_F(Serializer, SimpleTypeRefDecay)
{
	TestStructure test;

	auto& simple = test;
	auto wrapper = std::reference_wrapper<TestStructure>(test);

	auto result1 = SimpleTypeRefDecay(test);
	auto result2 = SimpleTypeRefDecay(simple);
	auto result3 = SimpleTypeRefDecay(wrapper);

	test.number = 0;

	ASSERT_EQ(result1.number, 42);
	ASSERT_EQ(result2.number, 42);
	ASSERT_EQ(result3.get().number, 42); //fail! it is sill a 'reference' to test
}

////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////

template <class Type>
struct DecayReferenceWrapper
{
	using type = Type;
};

template <class Type>
struct DecayReferenceWrapper<std::reference_wrapper<Type>>
{
	using type = Type;
};

template <class Type>
using DecayReferenceWrapperType = typename DecayReferenceWrapper<Type>::type;

////////////////////////////////////////////////////////////////////////////////

template <typename Type>
auto FullTypeRefDecay(Type& type)
{
	return DecayReferenceWrapperType<std::remove_reference_t<Type>>(type);
}

////////////////////////////////////////////////////////////////////////////////

TEST_F(Serializer, FullTypeRefDecay)
{
	TestStructure test;

	auto& simple = test;
	auto wrapper = std::reference_wrapper<TestStructure>(test);

	auto result1 = FullTypeRefDecay(test);
	auto result2 = FullTypeRefDecay(simple);
	auto result3 = FullTypeRefDecay(wrapper);

	test.number = 0;

	ASSERT_EQ(result1.number, 42);
	ASSERT_EQ(result2.number, 42);
	ASSERT_EQ(result3.number, 42); //now it is OK

	return;
}

////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////