(使用g++ 7.0
中继线。)
鉴于以下“类型到值的包装”实用程序...
template <typename T>
struct type_wrapper { using type = T; };
// "Wraps" a type into a `constexpr` value.
template <typename T>
constexpr type_wrapper<T> type_c{};
...我创建了以下检查表达式有效性的函数:
template <typename TF>
constexpr auto is_valid(TF)
{
return [](auto... ts) constexpr
{
return std::is_callable<TF(typename decltype(ts)::type...)>{};
};
}
该is_valid
函数可以按如下方式使用:
// Evaluates to `true` if `some_A.hello()` is a valid expression.
constexpr auto can_add_int_and_float =
is_valid([](auto _0) constexpr -> decltype(_0.hello()){})
(type_c<A>);
// Evaluates to `true` if `some_int + some_float` is a valid expression.
constexpr auto can_add_int_and_float =
is_valid([](auto _0, auto _1) constexpr -> decltype(_0 + _1){})
(type_c<int>, type_c<float>);
也可以在室内使用static_assert
...
static_assert(is_valid([](auto _0) constexpr -> decltype(_0.hello()){})
(type_c<A>));
...和里面if constexpr
:
if constexpr(
is_valid([](auto _0) constexpr -> decltype(_0.hello()){})
(type_c<A>)) { /* ... */ }
但是,当is_valid
在模板函数中使用时(将模板参数作为type_c
值传递),会发生一些奇怪的事情:
static_assert(is_valid(/*...*/))
工作正常。constexpr auto x = is_valid(/*...*/)
工作正常。if constexpr(is_valid(/*...*/)
编译失败。
// Compiles and works as intended.
template <typename T0, typename T1>
void sum_ok_0(T0, T1)
{
static_assert(
is_valid([](auto _0, auto _1) constexpr
-> decltype(_0 + _1){})(type_c<T0>, type_c<T1>)
);
}
// Compiles and works as intended.
template <typename T0, typename T1>
void sum_ok_1(T0, T1)
{
constexpr auto can_sum =
is_valid([](auto _0, auto _1) constexpr
-> decltype(_0 + _1){})(type_c<T0>, type_c<T1>);
if constexpr(can_sum) { }
}
// Compile-time error!
template <typename T0, typename T1>
void sum_fail_0(T0, T1)
{
if constexpr(is_valid([](auto _0, auto _1) constexpr
-> decltype(_0 + _1){})(type_c<T0>, type_c<T1>)) { }
}
错误:
In function 'void sum_fail_0(T0, T1)':
64:95: error: expression '<lambda>' is not a constant expression
if constexpr(is_valid([](auto _0, auto _1) constexpr -> decltype(_0 + _1){})(type_c<T0>, type_c<T1>)) { }
为什么这无法仅针对if constexpr(is_valid(/*...*/))
案例进行编译?这与static_assert
和不一致constexpr auto x = /*...*/
。
这是g++
' 实施中的缺陷if constexpr
吗?