模板特化中函数类型与函数指针类型的差异及疑问

为什么Match(square)会推导出函数指针类型？ #

这是因为C++的函数调用语境中，函数名字会自动隐式转换为指向该函数的指针（仅少数场景例外，比如用sizeof、decltype操作符，或显式用&取地址时）。

当调用Match(square)时，尽管参数声明为R foo(P...)，编译器推导模板参数时，会先把传入的函数名转换成函数指针，最终推导的foo类型就成了int(*)(int)，而非原始的函数类型int(int)。这种隐式转换是C++的既定规则，目的是兼容C语言习惯，让函数名能更便捷地当作指针使用。

如何直接获取函数类型？ #

有几种方法可以直接获取或保留原始函数类型：

1. 使用decltype操作符 #

decltype(square)会直接返回函数的原始类型int(int)，因为decltype不会对函数名触发隐式转换，会保留表达式的精确类型。
示例：

// func_type 即为 int(int)
using func_type = decltype(square);

2. 自定义模板特化/类型萃取 #

像你提到的Matcher模板特化一样，通过模板特化可以区分函数类型与函数指针类型：

// 通用模板
template<typename T>
struct Matcher;

// 函数类型的特化
template<typename R, typename... P>
struct Matcher<R(P...)> {
    static constexpr bool is_function = true;
    static constexpr bool is_function_ptr = false;
};

// 函数指针类型的特化
template<typename R, typename... P>
struct Matcher<R(*)(P...)> {
    static constexpr bool is_function = false;
    static constexpr bool is_function_ptr = true;
};

// 使用示例
static_assert(Matcher<decltype(square)>::is_function, "square是函数类型");
static_assert(Matcher<decltype(&square)>::is_function_ptr, "&square是函数指针");

3. 显式指定模板参数 #

若想让Match直接接受函数类型，可跳过自动推导，显式指定模板参数：

// 假设Match模板定义为template<typename R, typename... P> void Match(R foo(P...)) {}
Match<int, int>(square);

此时编译器会直接使用函数类型int(int)，不会进行指针转换。

4. 使用std::type_identity（C++20及以上） #

C++20引入的std::type_identity可阻止模板参数推导时的隐式转换，让参数保持原始类型：

#include <type_traits>

template<typename T>
void Match(std::type_identity_t<T> foo) {}

// 调用时显式指定T为函数类型
Match<int(int)>(square);

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