| 1 | // Boost.Bimap |
|---|---|
| 2 | // |
| 3 | // Copyright (c) 2006-2007 Matias Capeletto |
| 4 | // |
| 5 | // Distributed under the Boost Software License, Version 1.0. |
| 6 | // (See accompanying file LICENSE_1_0.txt or copy at |
| 7 | // http://www.boost.org/LICENSE_1_0.txt) |
| 8 | |
| 9 | // VC++ 8.0 warns on usage of certain Standard Library and API functions that |
| 10 | // can be cause buffer overruns or other possible security issues if misused. |
| 11 | // See https://web.archive.org/web/20071014014301/http://msdn.microsoft.com/msdnmag/issues/05/05/SafeCandC/default.aspx |
| 12 | // But the wording of the warning is misleading and unsettling, there are no |
| 13 | // portable alternative functions, and VC++ 8.0's own libraries use the |
| 14 | // functions in question. So turn off the warnings. |
| 15 | #define _CRT_SECURE_NO_DEPRECATE |
| 16 | #define _SCL_SECURE_NO_DEPRECATE |
| 17 | |
| 18 | #include <boost/config.hpp> |
| 19 | |
| 20 | #include <boost/core/lightweight_test.hpp> |
| 21 | |
| 22 | // Boost.MPL |
| 23 | #include <boost/mpl/list.hpp> |
| 24 | #include <boost/type_traits/is_same.hpp> |
| 25 | |
| 26 | // Boost.Bimap |
| 27 | #include <boost/bimap/relation/detail/mutant.hpp> |
| 28 | |
| 29 | using namespace boost::bimaps::relation::detail; |
| 30 | |
| 31 | // The mutant idiom is standard if only POD types are used. |
| 32 | |
| 33 | typedef double type_a; |
| 34 | typedef int type_b; |
| 35 | |
| 36 | const type_a value_a = 1.4; |
| 37 | const type_b value_b = 3; |
| 38 | |
| 39 | struct Data |
| 40 | { |
| 41 | type_a a; |
| 42 | type_b b; |
| 43 | }; |
| 44 | |
| 45 | struct StdPairView |
| 46 | { |
| 47 | typedef type_a first_type; |
| 48 | typedef type_b second_type; |
| 49 | type_a first; |
| 50 | type_b second; |
| 51 | }; |
| 52 | |
| 53 | struct ReverseStdPairView |
| 54 | { |
| 55 | typedef type_a second_type; |
| 56 | typedef type_b first_type; |
| 57 | type_a second; |
| 58 | type_b first; |
| 59 | }; |
| 60 | |
| 61 | |
| 62 | struct MutantData |
| 63 | { |
| 64 | typedef boost::mpl::list< StdPairView, ReverseStdPairView > mutant_views; |
| 65 | |
| 66 | MutantData(type_a ap, type_b bp) : a(ap), b(bp) {} |
| 67 | type_a a; |
| 68 | type_b b; |
| 69 | }; |
| 70 | |
| 71 | |
| 72 | void test_mutant_basic() |
| 73 | { |
| 74 | |
| 75 | // mutant test |
| 76 | { |
| 77 | MutantData m(value_a,value_b); |
| 78 | |
| 79 | BOOST_TEST( sizeof( MutantData ) == sizeof( StdPairView ) ); |
| 80 | |
| 81 | BOOST_TEST( mutate<StdPairView>(m).first == value_a ); |
| 82 | BOOST_TEST( mutate<StdPairView>(m).second == value_b ); |
| 83 | BOOST_TEST( mutate<ReverseStdPairView>(m).first == value_b ); |
| 84 | BOOST_TEST( mutate<ReverseStdPairView>(m).second == value_a ); |
| 85 | |
| 86 | ReverseStdPairView & rpair = mutate<ReverseStdPairView>(m); |
| 87 | rpair.first = value_b; |
| 88 | rpair.second = value_a; |
| 89 | |
| 90 | BOOST_TEST( mutate<StdPairView>(m).first == value_a ); |
| 91 | BOOST_TEST( mutate<StdPairView>(m).second == value_b ); |
| 92 | |
| 93 | BOOST_TEST( &mutate<StdPairView>(m).first == &m.a ); |
| 94 | BOOST_TEST( &mutate<StdPairView>(m).second == &m.b ); |
| 95 | } |
| 96 | } |
| 97 | |
| 98 | int main() |
| 99 | { |
| 100 | test_mutant_basic(); |
| 101 | return boost::report_errors(); |
| 102 | } |
| 103 |