5

（使用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吗？

wandbox 上的完整示例。

4

2 回答 2

1

不一致的行为被报告为错误 #78131。

于 2016-10-30T20:08:19.213 回答
0

据我所知，lambda 本身不是constexpr. 你可以做

constexpr auto f = [](auto _0, auto _1) -> decltype(_0 + _1){};

接着

if constexpr(is_valid(f)(type_c<T0>, type_c<T1>)) { }
于 2016-10-27T11:31:33.203 回答