如何让GCC在C++编译期计算含特殊函数的静态数组值？

要让GCC在编译期完成CHECK_POINTS数组的std::exp计算，核心是利用C++20引入的constexpr版标准库数学函数，结合constexpr函数/数组的特性，实现修改CHECK_POINTS后自动更新边界值，无需手动计算。

前提条件 #

• GCC版本≥10（支持C++20的constexpr数学函数）
• 编译时指定编译选项：-std=c++20（或更高版本标准）

具体实现方案 #

方案1：使用std::array（类型安全，推荐） #

#include <cmath>
#include <array>

// 可直接修改此数组的值，编译期会自动重新计算BOUNDS
static constexpr std::array<double, 7> CHECK_POINTS = { -1.5, -1.0, -0.5, 0.0, -0.5, 1.0, 1.5 };

// 编译期执行的计算函数
constexpr auto compute_bounds() {
    std::array<double, CHECK_POINTS.size()> bounds{};
    for (std::size_t i = 0; i < bounds.size(); ++i) {
        bounds[i] = std::exp(CHECK_POINTS[i]);
    }
    return bounds;
}

// 编译期生成的最终边界数组，直接使用即可
static constexpr auto BOUNDS = compute_bounds();

方案2：使用普通C数组 #

如果偏好传统数组，也可以这样实现：

#include <cmath>

static constexpr int POINT_COUNT = 7;
// 可直接修改此数组的值
static constexpr double CHECK_POINTS[POINT_COUNT] = { -1.5, -1.0, -0.5, 0.0, -0.5, 1.0, 1.5 };

// 编译期计算函数
constexpr auto compute_bounds() {
    double bounds[POINT_COUNT]{};
    for (int i = 0; i < POINT_COUNT; ++i) {
        bounds[i] = std::exp(CHECK_POINTS[i]);
    }
    return bounds;
}

// 编译期生成的边界数组
static constexpr auto BOUNDS = compute_bounds();

关键说明 #

1. 编译期计算保证：CHECK_POINTS是constexpr，compute_bounds是constexpr函数，因此BOUNDS会在编译阶段完全计算完成，运行时直接使用预计算的常量值。
2. 自动更新：只要修改CHECK_POINTS的元素，重新编译后BOUNDS会自动同步更新，无需手动计算边界值。
3. 验证方法：可以查看编译后的汇编代码，会发现BOUNDS直接以常量数组的形式存在，没有运行时的循环计算逻辑；也可以在编译期访问BOUNDS的元素（比如static_assert(BOUNDS[3] == 1.0, "exp(0) should be 1")），验证计算结果是否正确。

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