带默认模板参数的模板函数指针为何无法推导模板参数

编译错误的核心原因 #

该错误是C++模板的标准规则导致的，和编译器实现无关，核心逻辑如下：

1. 函数模板本身不是可被寻址的实体，只有完成实例化后的具体函数实例才拥有确定的内存地址。
2. 你直接调用voidfunc()时，编译器可以利用默认模板参数T=void自动完成实例化，因此调用合法。
3. 但你写&voidfunc取地址时，当前仅给出了未实例化的函数模板名，没有额外上下文辅助推导，编译器无法确定你要取哪个版本的voidfunc实例地址，自然也无法推导tfunc的模板参数T，因此报推导失败错误。
4. 当你显式写&voidfunc<int>或者&voidfunc<>时，已经明确指定了模板参数（后者使用默认的T=void），此时得到了确定的函数实例，地址类型确定，可正常完成参数推导。

场景适配说明 #

结合你给出的背景信息：

• 你当前调整代码生成器，遇到模板函数取地址时补全<>的方案是符合标准的最优解，因为你本身仅需要一个合法的函数实例地址做哑参数，使用默认实例完全满足需求。
• 如果你需要兼容__declspec(property(put=voidfunc))扩展要求不能带<>的场景，可以额外增加一层函数包装，在包装内部完成模板实例化推导，不过你当前的方案已经可以正常运行，不需要额外改动。

内容的提问来源于stack exchange，提问作者Joey.Z