C++中能否将未实例化的模板函数作为参数传递？

你的核心判断是正确的：在你实现的这个泛型版本iterate下，练习题给出的iterate(tab, 5, print)这种不带显式模板参数的调用确实无法编译，你遇到的报错符合C++的语法规则。你遗漏的知识点是：函数模板名并非绝对不能隐式实例化后作为实参传递，只是这个自动推导有严格的语境限制。

规则细节说明 #

• 你对函数模板的基础认知没错：函数模板本身不是可直接传值的实体函数，只是生成具体函数的蓝图，单独的模板名（比如不带<>参数的print）本身不对应固定的内存地址和函数类型。
• 只有当编译器能从调用语境里明确推断出目标函数需要的签名时，才会自动把模板名实例化为对应版本的具体函数，不需要手动写模板参数，常见的合法场景包括：
  • 目标形参是签名明确的函数指针类型，且和模板匹配。比如如果你把iterate的第三个参数定义为和数组元素类型绑定的函数指针：

    template <typename T>
    void iterate(T *arr, size_t size, void(*f)(const T&)) {
        for (size_t i = 0; i < size; i++) f(arr[i]);
    }
    

    这时候写iterate(tab, 5, print)是完全合法的，哪怕是C++98标准也能编译通过：编译器从数组tab推导出元素类型是int，就知道第三个参数需要的是接收const int&的函数，会自动实例化print<int>传入。
  • 对模板名做显式类型转换，比如static_cast<void(*)(const int&)>(print)，编译器也能明确要生成的实例版本。
• 而你写的iterate把第三个参数声明为完全泛型的F f，这个参数可以接收任意类型的可调用对象——普通函数、lambda、仿函数都可以，没有任何签名约束。这时候编译器拿到裸的print模板名时，根本不知道你要实例化print<int>、print<SomeClass>还是其他任意类型的版本，完全无法推导F的具体类型，所以不管是哪个版本的C++标准，这种写法都会报你遇到的无匹配函数错误。

练习题的问题 #

出题人混淆了两种iterate的实现逻辑：

• 如果题目要求iterate只能接收和数组元素类型匹配的普通处理函数，那第三个参数应该写为绑定类型的函数指针，这时候可以直接传print这种模板名，自动推导实例。
• 如果题目要求iterate支持任意类型的处理逻辑（包括lambda、自定义仿函数等），也就是你实现的这个泛型可调用对象版本，直接传裸的函数模板名是非法的，必须像你写的increment<int>那样显式指定模板参数完成实例化，或者用lambda包装一层再传入。

简单说就是练习题给的测试用例和它要求的泛型iterate实现是不匹配的，你的实现和显式实例化的调用写法是正确的。

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