c++ - GCC 和 Clang 不同意 lambda 的 constexpr-ness？

Question

为什么 Clang 无法编译以下代码，并显示表达式不是 constexpr 的消息，而 GCC 为何不能？哪个编译器是正确的？ https://godbolt.org/z/nUhszh(显然，这只是一个示例。事实上，我确实需要能够在 constexpr 上下文中调用 constexpr 函数对象。)

#include <type_traits>

template <typename Predicate>
constexpr int f(Predicate&& pred) {
    if constexpr (pred(true)) {
        return 1;
    } 
    else {
        return 0;
    }
}

int main() {
    f([](auto m) {
        return std::is_same_v<decltype(m), bool>;
    });
}

使用 -std=c++17 -stdlib=libc++ -O1 -march=skylake 的 clang 8.0.0 输出:

<source>:5:19: error: constexpr if condition is not a constant expression

    if constexpr (pred(true)) {

                  ^

<source>:14:5: note: in instantiation of function template specialization 'f<(lambda at <source>:14:7)>' requested here

    f([](auto m) {

    ^

1 error generated.

Compiler returned: 1

Answer 1

Clang 是对的。在表达式 pred(true) 中，id-expression pred 表示引用类型的变量。引用类型的变量只能出现在常量表达式中，前提是它们由常量表达式初始化，或者如果它们的初始化是在表达式求值期间执行的 ([expr.const]/2.11)。

所以 pred(true) 不是常量表达式。

如果将参数pred的声明更改为Predicate pred，则Pred将不是引用类型。表达式 pred(true) 将等同于 pred.operator()(true)。 pred 将是 class member access expression 中的一个对象表达式 ，因此，lvalue-to-rvalue 转换不会应用于 pred。因此，id-expression pred 不必通过常量表达式(参见 [expr.const]/2.7.2 )来初始化为 常量表达式。然后函数调用是一个常量表达式，因为调用运算符隐式是一个constexpr 函数[expr.prim.lambda.closure]/4 .

这些事实证明了@NikosC 的提议。将 Pred 声明为 Predicate Pred。在这种情况下，您的代码将同时使用 Clang 和 Gcc 进行编译，并且符合标准。