std::back_inserter如何确定容器类型？技术疑问

嘿，这个问题问得特别到位——其实答案核心就是C++函数模板的自动参数推导，这个特性一直在后台帮你省事儿，你没漏掉什么复杂知识点，只是它太“隐形”啦！

先回到你看到的std::back_inserter的定义：

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

这是一个函数模板，它的模板参数是Container，而函数参数是Container& x——也就是你传入的容器的引用。当你写back_inserter(foo)的时候，编译器会盯着foo的类型看：哦，foo是std::vector<int>的实例，那模板参数Container就自动推导成std::vector<int>了！

举个更简单的例子帮你理解这个推导逻辑：

// 一个简单的函数模板
template <typename T>
void print(T val) {
    std::cout << val << "\n";
}

// 调用时不需要写print<int>(42)，编译器会自动推导T是int
print(42);
// 同理，传入字符串时，T会被推导成std::string
print("Hello!");

回到你的代码里，std::copy需要的是一个输出迭代器，而back_inserter(foo)会被编译器自动处理成back_inserter<std::vector<int>>(foo)，返回一个back_insert_iterator<std::vector<int>>类型的迭代器，完美匹配std::copy的要求，所以代码能正常运行。

这里还要区分一个细节：back_insert_iterator本身是类模板，它必须显式指定模板参数（比如back_insert_iterator<std::vector<int>>），但std::back_inserter作为一个包装用的函数模板，就是专门帮你做这个推导工作的——它接收容器引用，推导出容器类型，再帮你创建对应的back_insert_iterator实例，省去了你手动写模板参数的麻烦。

所以本质上，你不用手动指定模板参数，是因为编译器通过你传入的容器对象，自动完成了Container类型的推导～

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