如何用初始化列表初始化含boost::array的Boost.Fusion vector

该需求完全可以实现，编译报错的核心原因是C++模板参数推导对嵌套花括号初始化列表的处理限制，不属于boost::fusion的功能缺陷。

报错根因 #

编译失败来自两个明确的C++语法规则限制：

• boost::fusion::vector接收多个元素的构造函数被声明为explicit，因此vec1 = {5, false}这种拷贝初始化写法会直接触发编译错误，只有直接初始化（花括号/圆括号直接跟在变量名后构造）的形式才能合法调用该构造函数。
• 可变参数模板的类型推导无法识别无类型标识的嵌套花括号：传入{true, false}时，编译器无法自动推导这个花括号结构对应的类型是std::array<bool, 2>还是其他聚合类型，最终触发参数包长度不匹配、无匹配构造函数的错误。

可行解决方案 #

不需要修改boost源码，两种简单写法即可正常完成初始化：

方案1：显式指定嵌套数组类型 #

在嵌套初始化列表前显式声明数组类型，跳过模板推导步骤，让编译器直接构造对应类型的临时对象传入：

#include <boost/array.hpp>
#include <boost/fusion/include/vector.hpp>
#include <array>

int main() {
    // 直接初始化形式可以正常调用explicit构造函数
    boost::fusion::vector<int, bool> vec1{5, false};
    // 显式标注std::array类型即可通过编译
    boost::fusion::vector<bool, std::array<bool, 2>> vec2{false, std::array<bool, 2>{true, false}};
    // 使用boost::array的逻辑完全一致
    boost::fusion::vector<bool, boost::array<bool, 2>> vec3{false, boost::array<bool, 2>{true, false}};
    return 0;
}

方案2：使用make_vector工厂函数构造 #

boost::fusion::make_vector会自动匹配传入参数的准确类型，不存在花括号推导失败的问题，写法更简洁：

#include <boost/array.hpp>
#include <boost/fusion/include/vector.hpp>
#include <boost/fusion/include/make_vector.hpp>
#include <array>

int main() {
    auto vec2 = boost::fusion::make_vector(false, std::array<bool, 2>{true, false});
    // 若使用C++17及以上版本，支持类模板参数推导时可直接简写为
    boost::fusion::vector vec4{false, std::array<bool, 2>{true, false}};
    return 0;
}

注意：不要尝试省略嵌套位置的类型名直接写双层花括号。C++标准明确规定，可变参数模板的类型推导阶段不会对无类型标识的花括号初始化列表做隐式聚合类型匹配，这个限制是语言规则决定的，不属于boost的实现bug。

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