c++ - constexpr - "Evaluate value at compile time"到底是什么意思？

Question

#include <array>

int value1(int param) {
    return param * 2;
}

constexpr int value2(int param) {
    return param * 2;
}

int main() {
    const int i = 10;

    std::array<int, value1(i)> starr1 = {}; // 1
    std::array<int, value2(i)> starr2 = {}; // 2

    return 0;
}

2 没问题，但是 1 给出了编译错误，因为 std::array 必须生成静态大小的数组。 value2() 返回编译时常量值，因为 constexpr 关键字。

那么，编译器如何推断value2(i) 是编译时常量？编译时是否调用函数value2()？

const int value1(int param) {
    return param * 2;
}

int main() {
    const int i = 10;
    std::array<int, value1(i)> starr1 = {}; // 3

    return 0;
}

>>> error: call to non-constexpr function ‘const int value1(int)’

此外，3 仍然会出现编译错误。即使 const 关键字应用于函数 value1()，value1(i) 是否不是编译时常量？

Answer 1

So, how compiler infer value2(i) is compile-time constant?

它并没有推断出这一点。当您使用 constexpr 注释时，您明确声明了这一点。不过，它可能推断出未用constexpr 标记的函数。这仍然不允许您在编译时表达式中使用它们的结果，并且仅用作优化策略。

Does it call the function value2() while compiling?

从某种意义上说，是的。它可能更接近于直接解释它，因为我不认为任何编译器实际上编译该函数是为了在构建期间执行它。重要的是它能够在构建和运行整个程序之前确定其结果，并且它可以将该结果用于例如。生成代码时确定数组的大小。

Is value1(i) not compile constant even though const keyword is applied to the function value1()?

不是。 const 仅适用于返回类型(在这种情况下，它实际上是无用的)，不适用于编译时的评估可能性。