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
104
105
106
107
108
109
110
111
112
113
// Copyright (C) 2014 Andrzej Krzemienski.
//
// Use, modification, and distribution is subject to 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)
//
// See http://www.boost.org/lib/optional for documentation.
//
// You are welcome to contact the author at:
// akrzemi1@gmail.com
#include "boost/optional/optional.hpp"
#ifdef BOOST_BORLANDC
#pragma hdrstop
#endif
using boost::optional;
#ifndef BOOST_OPTIONAL_DETAIL_NO_RVALUE_REFERENCES
#ifndef BOOST_NO_CXX11_NOEXCEPT
// these 4 classes have different noexcept signatures in move operations
struct NothrowBoth {
NothrowBoth(NothrowBoth&&) BOOST_NOEXCEPT_IF(true) {};
void operator=(NothrowBoth&&) BOOST_NOEXCEPT_IF(true) {};
};
struct NothrowCtor {
NothrowCtor(NothrowCtor&&) BOOST_NOEXCEPT_IF(true) {};
void operator=(NothrowCtor&&) BOOST_NOEXCEPT_IF(false) {};
};
struct NothrowAssign {
NothrowAssign(NothrowAssign&&) BOOST_NOEXCEPT_IF(false) {};
void operator=(NothrowAssign&&) BOOST_NOEXCEPT_IF(true) {};
};
struct NothrowNone {
NothrowNone(NothrowNone&&) BOOST_NOEXCEPT_IF(false) {};
void operator=(NothrowNone&&) BOOST_NOEXCEPT_IF(false) {};
};
#if 0 // these also test type_traits, which are wrong
void test_noexcept_as_defined() // this is a compile-time test
{
static_assert(::boost::is_nothrow_move_constructible<NothrowBoth>::value, "ERROR");
static_assert(::boost::is_nothrow_move_assignable<NothrowBoth>::value, "ERROR");
static_assert(::boost::is_nothrow_move_constructible<NothrowCtor>::value, "ERROR");
static_assert(!::boost::is_nothrow_move_assignable<NothrowCtor>::value, "ERROR");
static_assert(!::boost::is_nothrow_move_constructible<NothrowAssign>::value, "ERROR");
static_assert(::boost::is_nothrow_move_assignable<NothrowAssign>::value, "ERROR");
static_assert(!::boost::is_nothrow_move_constructible<NothrowNone>::value, "ERROR");
static_assert(!::boost::is_nothrow_move_assignable<NothrowNone>::value, "ERROR");
}
void test_noexcept_on_optional_with_type_traits() // this is a compile-time test
{
static_assert(::boost::is_nothrow_move_constructible<optional<NothrowBoth> >::value, "ERROR");
static_assert(::boost::is_nothrow_move_assignable<optional<NothrowBoth> >::value, "ERROR");
static_assert(BOOST_NOEXCEPT_EXPR(optional<NothrowBoth>()), "ERROR");
static_assert(::boost::is_nothrow_move_constructible<optional<NothrowCtor> >::value, "ERROR");
static_assert(!::boost::is_nothrow_move_assignable<optional<NothrowCtor> >::value, "ERROR");
static_assert(BOOST_NOEXCEPT_EXPR(optional<NothrowCtor>()), "ERROR");
static_assert(!::boost::is_nothrow_move_constructible<optional<NothrowAssign> >::value, "ERROR");
static_assert(!::boost::is_nothrow_move_assignable<optional<NothrowAssign> >::value, "ERROR");
static_assert(BOOST_NOEXCEPT_EXPR(optional<NothrowAssign>()), "ERROR");
static_assert(!::boost::is_nothrow_move_constructible<optional<NothrowNone> >::value, "ERROR");
static_assert(!::boost::is_nothrow_move_assignable<optional<NothrowNone> >::value, "ERROR");
static_assert(BOOST_NOEXCEPT_EXPR(optional<NothrowNone>()), "ERROR");
}
#endif
void test_noexcept_optional_with_operator() // compile-time test
{
typedef optional<NothrowBoth> ONx2;
typedef optional<NothrowCtor> ONxC;
typedef optional<NothrowAssign> ONxA;
typedef optional<NothrowNone> ONx0;
ONx2 onx2;
ONxC onxC;
ONxA onxA;
ONx0 onx0;
static_assert( BOOST_NOEXCEPT_EXPR( ONx2() ), "ERROR");
static_assert( BOOST_NOEXCEPT_EXPR( ONx2(std::move(onx2)) ), "ERROR");
static_assert( BOOST_NOEXCEPT_EXPR( onx2 = ONx2() ), "ERROR");
static_assert( BOOST_NOEXCEPT_EXPR( ONxC() ), "ERROR");
static_assert( BOOST_NOEXCEPT_EXPR( ONxC(std::move(onxC)) ), "ERROR");
static_assert(!BOOST_NOEXCEPT_EXPR( onxC = ONxC() ), "ERROR");
static_assert( BOOST_NOEXCEPT_EXPR( ONxA() ), "ERROR");
static_assert(!BOOST_NOEXCEPT_EXPR( ONxA(std::move(onxA)) ), "ERROR");
static_assert(!BOOST_NOEXCEPT_EXPR( onxA = ONxA() ), "ERROR");
static_assert( BOOST_NOEXCEPT_EXPR( ONx0() ), "ERROR");
static_assert(!BOOST_NOEXCEPT_EXPR( ONx0(std::move(onx0)) ), "ERROR");
static_assert(!BOOST_NOEXCEPT_EXPR( onx0 = ONx0() ), "ERROR");
}
#endif // !defined BOOST_NO_CXX11_NOEXCEPT
#endif // !defined BOOST_OPTIONAL_DETAIL_NO_RVALUE_REFERENCES
int main()
{
return 0;
}