constexpr 变量必须由 const 表达式初始化

Question

使用下面的代码，我得到 Constexpr variable 'max_digits' must be initialized by a constant expression 和 Apple clang version 12.0.5 (clang-1205.0.22.11) 运行 C++14。

但是，如果我 #define WORKING_CODE 它可以正常工作 base_two_digits 作为一个全局函数。如果我将 base_two_digits 的内容移动到 log_base_10，我会得到一个错误（这是当 #undef WORKING_CODE 存在时）。

如果 WORKING_CODE 未定义，为什么不是 constexpr？

#include <limits>
#include <cstdint>
#include <cmath>

template<typename T>
constexpr T power_of_10(T n)
{
    return n < 0 ? 0 : n == 0 ? 1 : (n == 1 ? 10 : 10 * power_of_10(n - 1));
}

#ifdef WORKING_CODE
constexpr std::uint64_t base_two_digits(std::uint64_t value) {
    return value ? 8 * sizeof(value) - __builtin_clzll(value) : 0;
};
#endif

template<typename T>
constexpr T log_base_10(T value) {
    constexpr const unsigned guess[65] = {
        0 ,0 ,0 ,0 , 1 ,1 ,1 , 2 ,2 ,2 ,
        3 ,3 ,3 ,3 , 4 ,4 ,4 , 5 ,5 ,5 ,
        6 ,6 ,6 ,6 , 7 ,7 ,7 , 8 ,8 ,8 ,
        9 ,9 ,9 ,9 , 10,10,10, 11,11,11,
        12,12,12,12, 13,13,13, 14,14,14,
        15,15,15,15, 16,16,16, 17,17,17,
        18,18,18,18, 19
    };
    
    #ifdef WORKING_CODE
    T digits = guess[base_two_digits(value)];
    #else
    constexpr auto index = value ? 8 * sizeof(value) - __builtin_clzll(value) : 0;
    T digits = guess[index];
    #endif
    return digits + (value >= power_of_10(digits));
}

class BigInt {
private:
    static constexpr const std::uint32_t base = 1000;
    static constexpr const std::uint32_t max_digits = log_base_10(base) - 1; // 3;

public:
    BigInt() {}
};

int main() {
    BigInt p;

    return 0;
}

Answer 1

让我先将代码简化（请忽略无意义的行为）为以下说明相同问题的示例：

template<typename T>
constexpr T log_base_10(T value) {
    constexpr auto index = value? 1:0;
    return 0;
}

int main() {
    constexpr auto foo = log_base_10(42);
    return 0;
}

这里的问题是使用 不一定 constexpr 本身的函数参数定义 constexpr 变量 index。如果 value 在运行时提供，则 index 的初始化将是不可能的。

问题不会出现在 WORKING_CODE 中，因为

中的临时索引

T digits = guess[base_two_digits(value)];

不强制为 constexpr（但在这种情况下可能是）。另一方面，

constexpr auto index = value ? 8 * sizeof(value) - __builtin_clzll(value) : 0;

被迫。

我不是 100% 确定编译器是否可以通过这里（w.r.t 标准），因为函数模板仅为编译时调用实例化。但是因为实例化的函数不能在运行时被编译和调用，错误应该是合理的。

解决方法就是简单的使用普通非constexprindex.

constexpr 变量必须由 const 表达式初始化

constexpr variable must be initialized by a const expression

c++

constexpr

c++14