下面的代码，是格式不良的NDR还是格式良好的？

Question

Clang接受以下代码，但gcc拒绝它。

void h() { }

constexpr int f() {
    return 1;
    h();
}

int main() {
    constexpr int i = f();
}

以下是错误消息：

g++ -std=c++17 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
main.cpp: In function 'constexpr int f()':
main.cpp:5:6: error: call to non-'constexpr' function 'void h()'
     h();
     ~^~
main.cpp: In function 'int main()':
main.cpp:9:24: error: 'constexpr int f()' called in a constant expression
     constexpr int i = f();
                       ~^~
main.cpp:9:19: warning: unused variable 'i' [-Wunused-variable]
     constexpr int i = f();

Answer 1

铿锵是正确的。对f()的调用是常量表达式，因为对h()的调用从不求值，因此[dcl.constexpr]/5不适用。对f()正文中的h()的调用格式并不错误，因为constexpr函数的约束没有说明不允许调用非constexpr函数。实际上，像下面这样的函数是格式良好的，因为当x为奇数时，对它的调用可以是常量表达式：

constexpr int g(int x) {
    if (x%2 == 0) h();
    return 0;
}