能否将模板函数指针作为回调传递给C库？相关技术疑问

针对你的问题，直接给结论：完全可以传递模板函数的特定实例指针给C动态库的call_function接口，下面详细解释原因和两者的差异：

1. 为什么可以传递模板函数实例指针？ #

当你使用&function<Foo>时，编译器会根据模板参数Foo实例化出一个具体的函数实体，这个实体和你手动编写的普通函数没有任何二进制层面的区别。

拿你的代码举例，function<Foo>实例化后，编译器会生成类似这样的代码：

void function<Foo>(void *arg) {
    auto &t = *reinterpret_cast<Foo*>(arg);
    t.work();
}

这个实例化后的函数签名完全匹配function_type（即void(*)(void*)），并且遵循C语言的调用约定（绝大多数场景下编译器默认调用约定都和C兼容），所以它的指针可以安全地传递给C动态库的call_function接口，C代码能够正确调用它。

2. 模板函数实例化后的指针与普通函数指针的差异 #

从二进制和调用层面来说，两者没有本质差异——都是指向内存中函数代码段的地址，调用时遵循相同的调用约定、参数传递规则。它们的差异主要体现在生成逻辑和语义上：

• 生成时机不同：普通函数在编译期遇到函数定义时就会生成代码；而模板函数是按需实例化，只有当代码中明确用到某个特定模板参数的实例（比如function<Foo>）时，编译器才会生成对应的函数实体。
• 多实例特性：同一个模板可以通过不同的模板参数生成多个独立的函数实例，每个实例都有自己唯一的内存地址；而普通函数如果没有重载，只会有一个实体。比如function<Foo>和function<Bar>是两个完全独立的函数，它们的指针指向不同的代码地址。
• 类型一致性：只要模板实例化后的函数签名和普通函数签名一致，它们的指针类型就是完全相同的。比如你例子中的function<Foo>的指针类型就是function_type*，和普通的void(*)(void*)函数指针没有区别。

需要注意的是，如果模板函数内部使用了C++特有的特性（比如抛出异常、使用非C兼容的调用约定），传递给C代码调用时可能会出问题，但你的例子中不存在这类情况，所以是安全的。

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