c++ - 是否可以测试 constexpr 函数是否在编译时求值？

Question

自从 constexpr 的扩展版本(我认为是从 C++14 开始)以来，您可以声明 constexpr 函数，这些函数可以用作“真实的” constexpr。也就是说，代码在编译时执行，或者可以作为内联函数运行。那么什么时候可以有这个程序:

#include <iostream>

constexpr int foo(const int s) {
  return s + 4;
}

int main()
{
    std::cout << foo(3) << std::endl;

    const int bar = 3;
    std::cout << foo(bar) << std::endl;

    constexpr int a = 3;
    std::cout << foo(a) << std::endl;

    return 0;
}

结果是:

7
7
7

到目前为止一切顺利。

有没有办法(可能是标准的)在 foo(const int s) 内部知道函数是在编译时还是在运行时执行？

编辑:还有可能在运行时知道函数是否在编译时求值吗？

Answer 1

C++20 引入了 is_constant_evaluated ，在 header 中定义 <type_traits> ，它解决了这个问题。

constexpr int foo(int s)
{
    if (std::is_constant_evaluated()) // note: not "if constexpr"
        /* evaluated at compile time */;
    else
        /* evaluated at run time */;
}

注意这里是普通的if使用而不是 if constexpr .如果你使用 if constexpr ，那么必须在编译时评估条件，所以 is_constant_evaluated始终返回 true，使测试无用。