如何在嵌入式代码中实现无序初始化常量字符串数组

嘿，我懂你想解决的痛点——在嵌入式代码里，你希望能无序地初始化一个常量字符串数组，同时保证代码的健壮性，尽量把初始化放在编译阶段完成，避免运行时的额外开销对吧？你的尝试思路很对，想用constexpr来做编译时初始化，但问题出在C++的语法限制上：constexpr函数（包括你用的lambda）没法直接返回原始数组，因为数组不能被复制返回，会自动退化成指针，这就导致你的代码没法正常工作。

下面给你几个实用的解决方案，都是适合嵌入式场景的：

方案一：用std::array（推荐，C++17及以上） #

如果你的编译器支持C++17或更高版本（现在大部分嵌入式编译器比如GCC、ARMCC都支持了），std::array是最省心的选择，它既保留了原始数组的性能，又支持像普通对象一样在constexpr函数里返回和初始化。

示例代码：

#include <array>

enum tags { TAG1, TAG2, NUM_TAGS };

// 编译时生成数组的函数
constexpr std::array<const char*, NUM_TAGS> make_vals() {
    // 先把所有元素初始化为nullptr，保证没有未初始化的脏值
    std::array<const char*, NUM_TAGS> rval{};
    // 完全按你想要的顺序赋值
    rval[TAG2] = "val2";
    rval[TAG1] = "val1";
    return rval;
}

// 编译时就初始化完成的常量数组
constexpr auto vals = make_vals();

这样vals是完全在编译阶段初始化好的常量，没有运行时开销，而且你可以随意调整赋值顺序，完全满足你的需求。如果要访问元素，直接用vals[TAG1]就行，和原始数组的用法一样。

方案二：不用STL的原始数组方案（兼容C++11） #

如果你的项目不能用STL，也可以用模板辅助的方式来实现编译时无序初始化：

enum tags { TAG1, TAG2, NUM_TAGS };

#include <utility> // 用于std::index_sequence

// 辅助模板，用于编译时初始化数组
template <size_t... Indices>
constexpr const char* const* make_vals_impl(std::index_sequence<Indices...>) {
    static const char* const rval[NUM_TAGS] = {
        // 对每个索引，判断是否是目标TAG，赋值对应字符串，否则为nullptr
        (Indices == TAG1 ? "val1" : (Indices == TAG2 ? "val2" : nullptr))...
    };
    return rval;
}

// 对外的初始化函数
constexpr const char* const* make_vals() {
    return make_vals_impl(std::make_index_sequence<NUM_TAGS>());
}

// 最终的常量数组指针
constexpr auto vals = make_vals();

这个方案利用了C++11的可变参数模板和索引序列，在编译时生成初始化列表，同样能实现无序的赋值逻辑，而且不需要依赖STL。不过写法比std::array复杂一点，适合老版本编译器的场景。

额外小贴士 #

不管用哪个方案，都要确保你的编译器开启了C++11及以上的标准支持（比如GCC加-std=c++17参数），这样constexpr的特性才能正常工作。另外，用编译时初始化的好处是能在编译阶段就发现错误（比如TAG的索引越界），大大提升代码的健壮性，这对嵌入式系统来说特别重要。

备注：内容来源于stack exchange，提问作者qdot