如何为模板类A实现支持嵌套std::initializer_list的构造函数？

可行方案 #

只需将构造函数的参数类型与类模板参数T绑定，直接使用std::initializer_list<Point<T>>，而非模板化的U，即可实现你想要的简化初始化方式。修正后的完整代码如下：

template<typename T> 
struct Point
{
    T x,y;
};

template<typename T> 
struct A
{
    std::vector<Point<T>> v;
    // 直接复用类模板的T作为Point的模板参数
    A(std::initializer_list<Point<T>> il) : v(il) {}
};

int main()
{
   A<int> a( { {4,4}, {5,5},{6,6} } ); // 编译通过
}

原代码编译失败的原因 #

你之前编写的模板构造函数template<typename U> A(const std::initializer_list<Point<U>>& il)无法通过编译，核心问题是模板参数推导失败：

• 当传入嵌套初始化列表{ {4,4}, {5,5},{6,6} }时，初始化列表本身不属于任何具体类型，编译器无法从中推导出模板参数U的具体值，也就无法匹配Point<U>的类型。
• 去掉模板参数U，直接使用类模板已确定的T后，编译器可以明确将每个内层初始化列表转换为Point<T>，进而组合成std::initializer_list<Point<T>>传递给构造函数。

额外说明 #

这个需求完全可行，只要构造函数的参数类型与初始化列表的预期元素类型明确匹配，就能触发正确的隐式转换和初始化逻辑。你也可以使用列表初始化语法A<int> a{ {4,4}, {5,5},{6,6} };，效果与括号构造一致。

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