-// (C) Copyright Kohei Takahashi 2014
+// (C) Copyright Kohei Takahashi 2014,2016
// Use, modification and distribution are subject to the
// Boost Software License, Version 1.0. (See accompanying file
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
--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;
return ret;
}
+template <int v> struct compile_time_value
+{
+ static constexpr int value = v;
+};
+
int test()
{
- return zero();
+ return compile_time_value<
+ zero()
+ + non_cv_member(detail::non_tmpl())
+ + non_cv_member(detail::tmpl<int>())
+ >::value;
}
}