c++ - constexpr 和 std::cout 处理函数但不处理 lambda

Question

为什么 constexpr 不适用于 std::cout，但适用于 printf？

#include <iostream>
constexpr void f() { std::cout << ""; } //error
constexpr void g() { printf(""); } //ok

为什么 std::cout 与 lambdas constexpr 一起工作？

#include <iostream>
int main () {
    auto h = []() constexpr { std::cout << ""; }; //ok
}

Answer 1

从技术上讲，它不适用于其中任何一个。

来自 [dcl.constexr] :

For a constexpr function or constexpr constructor that is neither defaulted nor a template, if no argument values exist such that an invocation of the function or constructor could be an evaluated subexpression of a core constant expression, or, for a constructor, a constant initializer for some object ([basic.start.static]), the program is ill-formed, no diagnostic required.

f()和 g()从来都不是常量表达式(std::cout << x 和 printf() 都不是 constexpr 函数)，所以 constexpr声明格式错误。但是编译器不是需要来诊断这个(在这种情况下，这可能很容易，但在一般情况下......没那么多)。您所看到的是您的编译器能够诊断出一个问题，但不能诊断出另一个问题。

但他们都错了。