为何print_all(arr&)缺模板参数合法，而f(std::vector&)却不合法？

一、print_all(a2) 能通过编译的原因：函数模板实参推导 #

print_all是函数模板，C++标准允许编译器在调用函数模板时，根据传入的实参自动推导模板参数的具体类型，编译过程如下：

1. 编译器遇到print_all(a2)调用时，识别这是函数模板调用，匹配到对应的模板定义template<typename T> void print_all(T& rhs)。
2. 提取实参a2的具体类型：arr<int,4>（假设arr是自定义固定大小数组模板类）。
3. 根据函数模板的参数声明T& rhs，推导模板参数T为arr<int,4>——实参是arr<int,4>的左值，T&与实参类型完全匹配，因此确定T的具体类型。
4. 编译器实例化出具体函数void print_all(arr<int,4>& rhs)，随后对该函数做语法、语义检查（验证rhs.size()、rhs[i]的合法性），确认无误后生成可执行代码。

二、f(std::vector& v) 编译错误的原因：类模板必须显式指定参数 #

std::vector是类模板，它本身不是具体类型，只是生成类的“蓝图”，编译时必须显式指定所有必要模板参数才能生成具体类类型，具体错误逻辑和编译过程：

1. 编译函数f的声明void f(std::vector& v)时，编译器需要明确参数的具体类型，但std::vector未指定模板参数，无法生成具体类，直接报错：“缺少模板参数，无法确定std::vector的具体类型”。
2. 即便后续main中定义了std::vector<int,4> v（注：此处代码本身有误，std::vector的第二个模板参数是分配器类型，不是大小，正确写法应为std::vector<int>或std::array<int,4>），函数f的参数类型依然无法推导——类模板的参数推导仅适用于对象初始化场景（C++17引入），不适用于函数参数的类型声明。函数参数类型必须在声明时就是完整、明确的具体类型，不能依赖后续变量定义补全。

额外代码修正提示 #

你代码中的std::vector<int,4>是错误用法：std::vector的第二个模板参数是内存分配器类型（默认std::allocator<int>），不能传入整数。如果需要固定大小的数组容器，应使用std::array<int,4>。

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