Modern C++中如何创建10的幂次constexpr数组？

要在全静态工具类中生成包含10^x（x从-38到38）的constexpr数组，用于浮点数转字符串的快速查表，避免手动编写冗余代码，以下是C17和C20的两种简洁实现方式：

C++17 实现：模板元编程+折叠表达式 #

C++17支持constexpr std::array和折叠表达式，可借助模板索引序列完成编译期数组生成：

#include <array>
#include <utility>

class FloatToStringUtils {
public:
    // 定义指数范围：从-38到38，共77个元素
    static constexpr int MinExp = -38;
    static constexpr int MaxExp = 38;
    static constexpr int ExpCount = MaxExp - MinExp + 1;

private:
    // 编译期计算10的n次幂
    static constexpr double pow10(int n) noexcept {
        double result = 1.0;
        if (n > 0) {
            for (int i = 0; i < n; ++i) result *= 10.0;
        } else if (n < 0) {
            for (int i = 0; i < -n; ++i) result /= 10.0;
        }
        return result;
    }

    // 辅助模板：通过索引序列生成数组元素
    template<std::size_t... Indices>
    static constexpr std::array<double, ExpCount> generate_pow10_array(std::index_sequence<Indices...>) noexcept {
        return { pow10(MinExp + static_cast<int>(Indices))... };
    }

public:
    // 编译期生成的10^x数组
    static constexpr std::array<double, ExpCount> pow10_table = generate_pow10_array(std::make_index_sequence<ExpCount>());

    // 快速查表接口
    static constexpr double get_pow10(int x) noexcept {
        // 可添加断言确保x在合法范围内
        return pow10_table[x - MinExp];
    }
};

// 类外显式定义constexpr成员（保证兼容性）
constexpr std::array<double, FloatToStringUtils::ExpCount> FloatToStringUtils::pow10_table;

通过std::make_index_sequence生成0到76的索引序列，每个索引对应MinExp + Indices的指数，折叠表达式自动展开生成所有数组元素，整个过程在编译期完成，运行时直接查表无计算开销。

C++20 实现：constexpr for循环 #

C++20允许在constexpr函数中使用普通for循环，代码逻辑更直观，无需依赖模板索引序列：

#include <array>

class FloatToStringUtils {
public:
    static constexpr int MinExp = -38;
    static constexpr int MaxExp = 38;
    static constexpr int ExpCount = MaxExp - MinExp + 1;

private:
    static constexpr std::array<double, ExpCount> generate_pow10_array() noexcept {
        std::array<double, ExpCount> arr{};
        for (std::size_t i = 0; i < ExpCount; ++i) {
            int exp = MinExp + static_cast<int>(i);
            double val = 1.0;
            if (exp > 0) {
                for (int j = 0; j < exp; ++j) val *= 10.0;
            } else if (exp < 0) {
                for (int j = 0; j < -exp; ++j) val /= 10.0;
            }
            arr[i] = val;
        }
        return arr;
    }

public:
    static constexpr std::array<double, ExpCount> pow10_table = generate_pow10_array();

    static constexpr double get_pow10(int x) noexcept {
        return pow10_table[x - MinExp];
    }
};

constexpr std::array<double, FloatToStringUtils::ExpCount> FloatToStringUtils::pow10_table;

直接在constexpr函数中遍历索引、计算对应幂次并填充数组，修改指数范围只需调整MinExp和MaxExp参数，代码无冗余，扩展性极强——哪怕要覆盖float64的10^308范围，也只需修改这两个常量即可。

注意事项 #

• 精度说明：double类型对10^x（x在-38到38范围内）的表示精度足够满足浮点数转字符串的需求，若需更高精度可替换为long double，实现逻辑完全一致。
• 越界防护：可在get_pow10中添加assert(x >= MinExp && x <= MaxExp)，在Debug模式下触发越界检查，Release模式可通过编译选项关闭。

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