如何从函数返回constexpr std::array？编译失败问题排查

核心问题 #

你的代码无法编译的关键问题有两个：

1. is_valid函数未声明为constexpr #

build是编译期执行的constexpr函数，它内部调用的所有函数必须同样支持编译期执行。原代码中is_valid只是普通函数，编译器无法在编译阶段解析它的逻辑，这会直接导致编译失败。

2. 索引变量的潜在风险（逻辑层面） #

虽然你明确回文数的数量，但原代码中j初始值为-1，虽然逻辑上++j后会从0开始填充数组，但用负数作为数组索引的初始值不符合语义规范，且如果is_valid逻辑出错，可能触发编译期数组越界的未定义行为。

修复后的代码 #

#include <array>

// 标记为constexpr，允许编译器在编译期执行该函数
constexpr bool is_valid(int src) noexcept {
    auto ret{ 0 }, cpy{ src };
    do {
        ret = ret * 10 + src % 10;
    } while ((src /= 10) != 0);
    return ret == cpy;
}

constexpr std::array<int, 14998> build() noexcept {
    std::array<int, 14998> ret{};
    std::size_t j{ 0 }; // 用size_t适配数组索引的语义，避免负数问题
    for (int i{ 1 }; i != 50000000; ++i) {
        if (is_valid(i)) {
            ret[j++] = i;
        }
    }
    return ret;
}

int main() {
    auto constexpr lut{ build() };
    return 0;
}

额外说明 #

• 确保编译器开启C14及以上标准（比如编译参数添加-std=c++14），因为C14才支持constexpr函数内的循环操作。
• 使用std::size_t作为数组索引类型，更符合C++容器索引的设计语义，避免不必要的类型隐患。

内容的提问来源于stack exchange，提问作者Petar Ivanov