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
// (C) Copyright Kohei Takahashi 2014,2016
// Use, modification and distribution are 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/libs/config for more information.
// MACRO: BOOST_NO_CXX14_CONSTEXPR
// TITLE: C++14 relaxed constexpr unavailable
// DESCRIPTION: The compiler does not support C++14 relaxed constexpr
namespace boost_no_cxx14_constexpr
{
namespace detail
{
template <class> struct void_ { typedef void type; };
struct non_tmpl
{
constexpr int foo() const { return 1; }
constexpr int foo() { return 0; }
};
template <typename T>
struct tmpl : non_tmpl { };
}
// Test relaxed constexpr with dependent type; for more details, see comment of
// BOOST_CXX14_CONSTEXPR definition in boost/config/compiler/clang.hpp .
template <class T>
constexpr typename detail::void_<T>::type decrement(T &value)
{
--value;
}
constexpr int non_cv_member(detail::non_tmpl x)
{
return x.foo();
}
template <typename T>
constexpr int non_cv_member(detail::tmpl<T> x)
{
return x.foo();
}
constexpr int zero()
{
int ret = 1;
decrement(ret);
return ret;
}
template <int v> struct compile_time_value
{
static constexpr int value = v;
};
int test()
{
return compile_time_value<
zero()
+ non_cv_member(detail::non_tmpl())
+ non_cv_member(detail::tmpl<int>())
>::value;
}
}