C++20中函数模板实例化赋值给函数指针的合法性疑问

这个程序是完全符合C20标准的合法程序，G无警告编译通过是正确实现标准的行为，你的认知偏差核心是混淆了缩写函数模板的名称查找规则和普通非模板函数的指针赋值规则。

本质差异拆解 #

两个测试程序的行为差异，完全来自auto形参修饰的函数和普通函数的底层本质区别：

• 对照程序里的void g(double x)是已经固定了签名的普通具体函数，从定义时刻开始，它的类型就是确定的void(double)。当你执行p = g时，是把一个固定为void(*)(double)类型的指针，隐式转换为void(*)(int)类型，标准明确规定这两类函数指针没有隐式转换路径，因此触发编译错误，和直觉一致。
• 测试程序里的void f(auto x)根本不是普通函数，它是C++20引入的缩写函数模板，完全等价于手写的template<typename T> void f(T x)。它本身没有固定的签名和地址，本质是一个可以根据传入参数生成任意个不同签名具体函数的“生成器”。

认知偏差的核心来源 #

你之前的错误默认了：“当main调用f(4.2)实例化出void(double)版本的f之后，f函数体内部所有对f的引用，就会全部绑定到这个void(double)的实例上，因此赋值给p时会出现类型不匹配”。
但这个认知完全不符合模板的运行规则：

• 模板不是“只要被某一次调用就整体绑定到某一个特化版本”的固定函数，它的每一次对模板名的引用，都会根据所处上下文的类型需求，独立推导匹配的模板参数，生成对应的函数特化，不会被某次调用的特化全局绑定。
• 当f的函数体被实例化到执行p = f;这一行时，编译器看到等号左边p的类型是固定的void(*)(int)，它根本不会把当前正在实例化的void(double)版本的f的地址拿过来赋值，反而会根据p的类型，自动推导出需要一个签名匹配void(int)的f的特化——也就是生成f<int>的实例，把它的地址赋值给p，这个类型是完全匹配的，自然不会触发任何类型不匹配的错误。

等效验证逻辑 #

如果把模板体里的p = f;显式写成p = f<int>;，编译结果和原来的行为完全一致，都是合法的。只有当你显式指定为p = f<double>;时，才会出现你预期的类型不匹配报错。
哪怕你在main里从来没有调用过f(int)，只要编译器在实例化f的函数体时遇到了这个赋值语句，就会自动按需生成f<int>的特化版本来完成赋值，不需要你手动触发。

简单类比：函数模板就像可以生成不同规格零件的3D打印机，你在赋值流程里需要一个签名匹配void(int)的函数，不需要之前有人专门调用过f(int)触发对应特化，编译器遇到需求直接生成对应的函数实例就行，不会被你之前调用f(4.2)生成的void(double)版本绑定。

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