C++模板重载中U(*)()是否属于U*匹配规则的特化版本？

你的理解存在错误，#2重载并非冗余，它是该C++03版本类型萃取实现中，为兼容老旧编译器、正确识别函数指针类型的关键设计。

二者在C++重载匹配规则下的核心差异如下：

• #1的U*重载：模板参数U会被推导为指针指向的目标类型，对于普通对象指针（如int*、std::string*）可以正常匹配，U最终会被推导为对应的对象类型。但如果匹配的是函数指针（如int(*)()），U需要被推导为函数类型（如int()），部分C++98/03时代的老旧编译器对函数类型作为模板参数的支持存在缺陷，会直接推导失败，导致函数指针无法匹配#1重载，最终落到...的兜底分支，被误判为非指针类型。
• #2的U(*)()重载：这是专门针对函数指针的特化匹配，模板参数U只会被推导为函数的返回值类型，不需要将完整函数类型作为模板参数，完美规避了老旧编译器的推导缺陷。同时根据C++模板重载的偏序规则，U(*)()比通用的U*特化程度更高，函数指针传入时会优先匹配#2重载，不需要走到#1的推导逻辑。

补充说明：在现代C++（C11及以后）的标准实现中，所有主流编译器都已经支持函数类型作为模板参数，此时#2重载确实属于冗余设计，但在这段代码诞生的C03时期，它是保证类型萃取兼容性必不可少的部分。

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