递归嵌套initializer_list构造含variant的C++对象编译报错求解

大括号初始化列表在C++中是无类型的，只有当目标类型完全明确时才会执行对应转换。你的原始代码中std::variant不会递归遍历自身的备选类型，去尝试匹配嵌套的大括号列表：当编译器遇到{ {"level2_1", 2}, {"level2_2", true} }这段嵌套列表时，无法确定它应该被转换成std::pair<std::string, val>还是obj，最终导致构造匹配失败。

参考nlohmann json的实现思路，引入一个轻量栈上代理类型承接初始化列表，消除类型推导歧义，全程无堆分配：

#include <utility>
#include <string>
#include <variant>
#include <initializer_list>
#include <type_traits>

struct obj;
struct kv_proxy;
using val = std::variant<int, bool, obj>;

// 轻量代理类型，承接初始化列表，全程栈上分配
struct kv_proxy {
    // 匹配单个基础值（int、bool等可直接存入val的类型）
    template <typename T,
              typename = std::enable_if_t<std::is_constructible_v<val, T>>>
    kv_proxy(T&& v) : value(std::forward<T>(v)) {}

    // 匹配嵌套大括号列表，构造子obj
    kv_proxy(std::initializer_list<kv_proxy> nested_init);

    // 匹配键值对形式："key", value
    kv_proxy(std::string k, kv_proxy value_proxy)
        : key(std::move(k)), value(std::move(value_proxy.value)) {}

    std::string key;
    val value;
};

struct obj
{
    // 外层构造：接收代理类型组成的初始化列表
    obj(std::initializer_list<kv_proxy> init) {
        // 此处遍历init，将每个item的key、value存入当前对象即可
        for (const auto& item : init) {
            // 业务逻辑示例：如果value持有obj则递归处理，否则直接存基础值
        }
    }
};

// obj类型完整定义后，实现代理的嵌套构造逻辑
inline kv_proxy::kv_proxy(std::initializer_list<kv_proxy> nested_init)
    : value(obj(nested_init)) {}

int main()
{
    obj O = { 
        {"level1_1", true }, 
        {"level1_2", 1 }, 
        {"level1_3", {
            {"level2_1", 2}, 
            {"level2_2", false},
            {"level2_3", {{"deep", 123}, {"flag", true}}} // 支持任意层级嵌套
        }}
    };
}

• 无堆分配：所有initializer_list都是栈上存储的常量视图，代理对象、variant实例、obj实例全部在栈上构造，全程不调用任何堆分配接口
• 消除推导歧义：代理类型明确规定了两类转换路径，编译器不需要在variant的备选类型中做无方向的匹配尝试，从根源上解决了无类型初始化列表的匹配失败问题
• 语法完全匹配预期：支持任意深度的递归嵌套初始化，写法和原生JSON对象初始化语法一致
• 扩展性强：如果需要支持更多值类型（比如double、std::string），只需要在val的variant定义中追加对应类型，不需要修改代理层逻辑，模板会自动完成类型匹配
• 注意：你原始测试代码中第三个初始化项缺少对应的键名，补全键名后即可正常编译运行。

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