如何声明模板函数作为非模板函数的参数并由其确定具体类型？

嘿，这个问题其实挺典型的——咱们先直接给答案：你没法在handle的参数列表里直接声明executor为模板函数。原因很简单：模板函数本身不是一个具体的可调用实体，它更像是一个生成函数的“蓝图”，编译器必须知道具体的模板参数才能生成真正的函数实例，而你没法把这个“蓝图”直接当作参数传递给非模板函数。

不过别担心，有几种靠谱的办法能实现你想要的效果：

1. 显式传递模板函数的实例 #

如果你已经知道handle内部会使用的具体类型，直接显式指定模板参数，让编译器生成对应的函数实例，再传递给handle就行。比如：

#include <iostream>

// 你的模板函数
template<typename T>
void executor(T val) {
    std::cout << "处理值：" << val << std::endl;
}

// 非模板的handle函数，接受具体类型的函数指针
void handle(void (*func)(int)) {
    // 在handle里确定具体类型（这里是int），调用函数
    func(42);
}

int main() {
    // 显式指定模板参数，生成executor<int>这个具体函数，传递给handle
    handle(executor<int>);
    return 0;
}

这个方案简单直接，适合你明确知道handle要处理的类型的场景。

2. 用std::function包装模板函数实例 #

如果handle需要支持多种类型，又不想把它改成模板函数，可以用std::function来包装模板函数的实例，让handle接受std::function类型的参数：

#include <iostream>
#include <functional>

template<typename T>
void executor(T val) {
    std::cout << "处理值：" << val << std::endl;
}

// 非模板handle，接受包装后的可调用对象
void handle(const std::function<void(int)>& func) {
    func(42);
}

int main() {
    // 把executor<int>包装成std::function传递
    handle(executor<int>);
    // 也可以直接显式构造：handle(std::function<void(int)>(executor<int>));
    return 0;
}

这种方式更灵活，handle可以接受任何符合签名的可调用对象，不止是模板函数的实例。

3. 把handle改成模板函数（可选） #

如果你的场景允许handle是模板函数，那这会是最灵活的方案——编译器可以自动推导模板参数，不需要你显式指定：

#include <iostream>

template<typename T>
void executor(T val) {
    std::cout << "处理值：" << val << std::endl;
}

// 模板handle，自动推导函数指针的类型
template<typename T>
void handle(void (*func)(T)) {
    // 这里可以根据逻辑确定T类型的具体值
    func(T{100});
}

int main() {
    // 编译器会自动推导T为int，生成executor<int>
    handle(executor<int>);
    // 如果executor能从参数推导类型，甚至可以直接写handle(executor);
    return 0;
}

这个方案适合你需要handle支持多种类型，且愿意让它成为模板的场景。

为什么直接声明模板参数不行？ #

顺便说下你可能尝试过的错误写法，比如：

// 错误！C++不允许在函数参数中声明模板函数
void handle(template<typename T> void (*func)(T)) {
    func(10);
}

这种写法是不符合C++语法的，参数只能是具体的类型（比如函数指针、std::function等），不能是模板本身。

内容的提问来源于stack exchange，提问作者One Two Three