使用constexpr常量初始化栈上字符数组编译失败，如何无运行时开销实现？

原代码编译失败的原因 #

你修改后的代码无法编译，核心原因是：constexpr 修饰的数组默认带有 const 属性（即 constexpr char STR[] 等价于 constexpr const char STR[]），而C++不允许用const char[]类型的对象直接初始化非const的char[]数组——数组初始化的规则仅允许字符串字面量、同类型（非const）数组或聚合初始化列表完成这类操作。

无运行时开销的解决方案 #

要实现用constexpr常量初始化栈上可修改字符串且无运行时开销，可根据C++版本选择以下方法：

方法1：C++17及以上——编译期数组复制 #

借助constexpr函数实现编译期数组复制，确保初始化操作在编译阶段完成，运行时无额外开销：

#include <cstdio>

constexpr char STR[] = "ABC";

// 编译期数组复制函数
template <std::size_t N>
constexpr void copy_constexpr_array(char dest[], const char src[N]) {
    for (std::size_t i = 0; i < N; ++i) {
        dest[i] = src[i];
    }
}

int main() {
    char s[sizeof(STR)];
    copy_constexpr_array(s, STR);
    
    puts(s);
    s[2] = '!';
    puts(s);
    return 0;
}

编译器会将copy_constexpr_array的调用优化为编译期初始化，最终生成的代码直接把"ABC"的字节写入栈上的s数组，和原宏定义的运行时效果完全一致。

方法2：C++20及以上——使用std::to_array #

C++20引入的std::to_array可以直接将constexpr数组转换为栈上的std::array，其内部元素可直接修改，且初始化操作完全在编译期完成：

#include <cstdio>
#include <array>

constexpr char STR[] = "ABC";

int main() {
    auto s = std::to_array(STR); // 生成std::array<char, 4>，栈上存储
    
    puts(s.data());
    s[2] = '!';
    puts(s.data());
    return 0;
}

这种方式更简洁，std::to_array是constexpr函数，编译期就能完成数组元素的复制，无需运行时操作。

方法3：C++11/14——模板元编程展开数组 #

如果需要兼容更早的C++版本，可以用模板元编程的方式在编译期展开数组元素：

#include <cstdio>
#include <utility>

constexpr char STR[] = "ABC";

template <std::size_t... Idx>
constexpr void make_stack_string_impl(char dest[], std::index_sequence<Idx...>) {
    (void)std::initializer_list<char>{(dest[Idx] = STR[Idx])...};
}

template <std::size_t N>
constexpr void make_stack_string(char dest[]) {
    make_stack_string_impl(dest, std::make_index_sequence<N>{});
}

int main() {
    char s[sizeof(STR)];
    make_stack_string<sizeof(STR)>(s);
    
    puts(s);
    s[2] = '!';
    puts(s);
    return 0;
}

通过std::index_sequence生成编译期索引，逐个复制数组元素，同样能实现无运行时开销的初始化。

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