为何std::back_inserter用列表初始化报错，函数调用却正常？

代码示例 #

#include <vector>
#include <iterator>

int main() {
    std::vector<int> v1 = {1, 2, 3};
    
    // auto b1 = std::back_inserter{v1};  // 取消注释会触发编译错误
    auto b2 = std::back_inserter(v1);     // 可正常编译
}

编译错误信息 #

取消注释b1对应的行后，GCC输出如下错误：

<source>: In function 'int main()':
<source>:6:24: error: unable to deduce 'auto' from 'std::back_inserter'
    6 |         auto b1 = std::back_inserter{v1};
      |                        ^~~~~~~~~~~~~
<source>:6:24: note:   couldn't deduce template parameter 'auto'
<source>:6:37: error: expected ',' or ';' before '{' token
    6 |         auto b1 = std::back_inserter{v1};
      |     

核心原因 #

• std::back_inserter是函数模板，而非类模板。使用std::back_inserter(v1)时，这是标准的函数调用语法：编译器能通过传入的实参v1（std::vector<int>类型）推导函数模板的模板参数，生成对应的函数实例，返回std::back_insert_iterator<std::vector<int>>类型的对象，auto可以正常推导该类型。
• 而std::back_inserter{v1}的写法会让编译器尝试将其解析为类模板的列表初始化，但std::back_inserter本身不是类模板，不存在这种初始化方式。此时编译器无法推导所谓的"模板参数auto"，找不到匹配的语法规则，因此触发编译错误。

标准依据 #

C++标准将std::back_inserter定义为函数模板，声明形式大致为：

template<class Container>
back_insert_iterator<Container> back_inserter(Container& x);

它仅支持函数调用语法（圆括号传参），不支持列表初始化的大括号语法。

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