为何std::make_unique可通过变量初始化vector，直接用初始化列表却失败？

这个问题的核心在于C++模板参数推导对花括号初始化列表的处理规则，下面逐个分析三种情况：

1. v1能正常工作的原因 #

std::make_unique<std::vector<int>>(std::vector<int>({1,2,3,4,5}))里，我们先显式构造了一个std::vector<int>临时对象，make_unique接收这个临时对象后，会调用std::vector的拷贝构造函数创建新对象。这里参数类型明确是std::vector<int>，模板推导没有歧义，所以编译通过。

2. v2能正常工作的原因 #

auto x = {1,2,3,4,5};这行代码中，C++标准规定：当用auto绑定花括号初始化列表时，推导结果是std::initializer_list<int>（元素类型由列表内的值推导而来）。此时x的类型是明确的std::initializer_list<int>，传给make_unique后，模板可以匹配到std::vector中接受std::initializer_list<int>的构造函数，因此能正常编译。

3. v3编译失败的原因 #

std::make_unique是模板函数，它的参数是模板参数包，需要推导传入参数的具体类型。但直接传入{1,2,3,4,5}时，这是一个无类型的花括号初始化列表（braced-init-list），它本身不属于任何具体类型。C++模板推导规则不允许将这种无类型的初始化列表直接推导为std::initializer_list<T>——只有当上下文明确要求一个std::initializer_list类型时（比如赋值给已声明为该类型的变量，或作为显式指定类型的参数），编译器才会将其解释为std::initializer_list。而make_unique的模板推导没有这种明确上下文，因此编译器无法确定参数类型，导致匹配失败。

解决办法 #

如果想直接通过初始化列表构造，可以显式将其转换为std::initializer_list<int>，让模板推导能明确类型：

auto v3 = std::make_unique<std::vector<int>>(std::initializer_list<int>{1,2,3,4,5});

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