blob: 23ae3dca07e687bc115f414fd9d330d392711b47 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
// 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 https://web.archive.org/web/20071014014301/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;
}
|
