编译期如何将initializer_list转换为其他类型并添加元素？

核心需求是把仅含有效值的std::initializer_list<T>，在编译期转换成包含原所有值（包装为std::optional<T>）并追加std::nullopt的std::initializer_list<std::optional<T>>，且支持隐式转换到目标类型。

简洁实现方案（C++17及以上） #

利用模板参数包和静态存储期数组，直接生成目标初始化列表，同时保证数组生命周期足够：

#include <optional>
#include <initializer_list>
#include <type_traits>

// 接收任意数量同类型参数，生成带nullopt的optional初始化列表
template <typename... Ts>
constexpr auto make_opt_list(Ts&&... args) -> std::initializer_list<std::optional<std::common_type_t<Ts...>>> {
    using ValueType = std::common_type_t<Ts...>;
    // 静态数组存储转换后的元素，生命周期覆盖程序全程
    static constexpr std::optional<ValueType> elements[] = {
        std::optional<ValueType>(std::forward<Ts>(args))...,  // 包装所有输入值
        std::nullopt                                         // 追加未设置选项
    };
    return elements;
}

使用示例 #

假设你的测试用例函数签名如下：

void run_test(std::initializer_list<std::optional<bool>> options) {
    for (auto opt : options) {
        if (opt.has_value()) {
            // 处理 bool 有效值（true/false）
        } else {
            // 处理未设置选项的场景
        }
    }
}

调用时直接传入原始值列表，函数会自动完成转换：

int main() {
    // 自动转换 {true, false} 为 {std::optional<bool>(true), std::optional<bool>(false), std::nullopt}
    run_test(make_opt_list(true, false));
}

针对std::initializer_list<T>输入的版本 #

如果需要直接接收std::initializer_list<T>作为输入（而非零散参数），可以用以下实现（C++20及以上支持编译期size()）：

template <typename T>
constexpr auto to_opt_list(std::initializer_list<T> input) -> std::initializer_list<std::optional<T>> {
    constexpr std::size_t input_size = input.size();
    // 静态数组存储转换结果
    static std::optional<T> storage[input_size + 1];
    
    std::size_t idx = 0;
    for (const auto& val : input) {
        storage[idx++] = val;
    }
    storage[idx] = std::nullopt;
    
    return {storage, input_size + 1};
}

// 使用示例
run_test(to_opt_list({true, false}));

关键注意事项 #

1. 数组生命周期：必须使用静态存储期的数组（static修饰），否则返回的std::initializer_list会引用栈上的临时数组，导致悬垂引用。
2. 隐式转换支持：上述函数的返回值就是std::initializer_list<std::optional<T>>，可以直接作为参数传递给期望该类型的函数，无需显式转换。
3. 编译期保证：C++17及以上的constexpr支持确保转换逻辑在编译期完成，不会带来运行期开销。

内容的提问来源于stack exchange，提问作者Tomáš Zato