C++14下如何不显式指定std::pair类型初始化std::array数组

问题原因 #

你遇到的是C++14的聚合初始化推导限制：当函数参数是std::array<DataPair, NUM_DATA>&&这类具体类型的右值引用时，编译器无法自动将嵌套的初始化列表{{"k1", "v1"}, {"k2", "v2"}, {"k3", "v3"}}推导为目标std::array类型——因为多层聚合的隐式转换在函数参数传递的语境下不被支持，必须给编译器明确的类型指引。

解决方案（均符合C++14且无需std::initializer_list转std::array） #

方案1：使用双层大括号明确初始化层级

std::array本身是聚合类型，内部包含一个元素数组，因此需要外层大括号来初始化std::array本身，内层大括号初始化每个std::pair元素。修改调用代码即可：

auto x = Foo::create({{
    {"k1", "v1"}, 
    {"k2", "v2"}, 
    {"k3", "v3"}
}});

方案2：添加辅助工厂函数组装std::array

在Foo类中新增一个静态辅助函数，用于接收推导后的std::pair并生成Mapping：

class Foo {
public:
    static constexpr size_t NUM_DATA = 3;
    using DataPair = std::pair<std::string, std::string>;
    using Mapping = std::array<DataPair, NUM_DATA>;

    static Mapping make_mapping(DataPair p1, DataPair p2, DataPair p3) {
        return {{p1, p2, p3}};
    }

    static std::shared_ptr<Foo> create(Mapping&& list);
    explicit Foo(Mapping&& pairs);
};

调用时直接传递嵌套初始化列表，编译器会自动推导每个DataPair：

auto x = Foo::create(Foo::make_mapping({"k1","v1"}, {"k2","v2"}, {"k3","v3"}));

方案3：将create改为模板函数（带大小检查）

如果允许修改create的签名，可以将其改为模板函数，让编译器推导std::array的类型，同时用static_assert确保数组大小符合要求：

class Foo {
public:
    static constexpr size_t NUM_DATA = 3;
    using DataPair = std::pair<std::string, std::string>;
    using Mapping = std::array<DataPair, NUM_DATA>;

    template <size_t N>
    static std::shared_ptr<Foo> create(std::array<DataPair, N>&& list) {
        static_assert(N == NUM_DATA, "Mapping size must match NUM_DATA");
        return std::make_shared<Foo>(std::move(list));
    }

    explicit Foo(Mapping&& pairs);
};

调用时无需任何显式类型声明：

auto x = Foo::create({
    {"k1", "v1"}, 
    {"k2", "v2"}, 
    {"k3", "v3"}
});

注意事项 #

• 方案1是最轻量化的修改，仅需调整调用代码的大括号层级；
• 方案2和3适合需要更灵活调用方式的场景，同时保留类型安全。

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