libs/bimap/test/test_mutant.cpp
// Boost.Bimap
//
// Copyright (c) 2006-2007 Matias Capeletto
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
// VC++ 8.0 warns on usage of certain Standard Library and API functions that
// can be cause buffer overruns or other possible security issues if misused.
// See http://msdn.microsoft.com/msdnmag/issues/05/05/SafeCandC/default.aspx
// But the wording of the warning is misleading and unsettling, there are no
// portable alternative functions, and VC++ 8.0's own libraries use the
// functions in question. So turn off the warnings.
#define _CRT_SECURE_NO_DEPRECATE
#define _SCL_SECURE_NO_DEPRECATE
#include <boost/config.hpp>
// Boost.Test
#include <boost/test/minimal.hpp>
// Boost.MPL
#include <boost/mpl/list.hpp>
#include <boost/type_traits/is_same.hpp>
// Boost.Bimap
#include <boost/bimap/relation/detail/mutant.hpp>
using namespace boost::bimaps::relation::detail;
// The mutant idiom is standard if only POD types are used.
typedef double type_a;
typedef int type_b;
const type_a value_a = 1.4;
const type_b value_b = 3;
struct Data
{
type_a a;
type_b b;
};
struct StdPairView
{
typedef type_a first_type;
typedef type_b second_type;
type_a first;
type_b second;
};
struct ReverseStdPairView
{
typedef type_a second_type;
typedef type_b first_type;
type_a second;
type_b first;
};
struct MutantData
{
typedef boost::mpl::list< StdPairView, ReverseStdPairView > mutant_views;
MutantData(type_a ap, type_b bp) : a(ap), b(bp) {}
type_a a;
type_b b;
};
void test_mutant_basic()
{
// mutant test
{
MutantData m(value_a,value_b);
BOOST_CHECK( sizeof( MutantData ) == sizeof( StdPairView ) );
BOOST_CHECK( mutate<StdPairView>(m).first == value_a );
BOOST_CHECK( mutate<StdPairView>(m).second == value_b );
BOOST_CHECK( mutate<ReverseStdPairView>(m).first == value_b );
BOOST_CHECK( mutate<ReverseStdPairView>(m).second == value_a );
ReverseStdPairView & rpair = mutate<ReverseStdPairView>(m);
rpair.first = value_b;
rpair.second = value_a;
BOOST_CHECK( mutate<StdPairView>(m).first == value_a );
BOOST_CHECK( mutate<StdPairView>(m).second == value_b );
BOOST_CHECK( &mutate<StdPairView>(m).first == &m.a );
BOOST_CHECK( &mutate<StdPairView>(m).second == &m.b );
}
}
int test_main( int, char* [] )
{
test_mutant_basic();
return 0;
}