如何通过函数名判断函数类型？能否用模板元编程或运行时实现？

编译时实现：模板元编程+SFINAE #

完全可以通过模板元编程（TMP）结合SFINAE（Substitution Failure Is Not An Error）在编译时区分这些函数类型，核心是利用不同函数类型的指针签名差异：

• extern "C"函数的指针类型与C++普通函数指针不兼容
• 类非静态成员函数指针带有隐含的this参数，类型为ReturnType (Class::*)(Args...)
• 类静态成员函数指针本质和普通非成员函数指针类型一致，但归属类作用域

实现代码示例 #

#include <iostream>
#include <type_traits>
#include <utility>

// 基础模板：匹配普通非成员函数
template <typename T>
struct FuncTypeDetector {
    static constexpr const char* value = "normal";
};

// 特化：extern "C"函数指针
extern "C" {
    template <typename R, typename... Args>
    struct FuncTypeDetector<R(*)(Args...)> {
        static constexpr const char* value = "C";
    };
}

// 特化：类非静态成员函数指针
template <typename R, typename C, typename... Args>
struct FuncTypeDetector<R(C::*)(Args...)> {
    static constexpr const char* value = "class non static";
};

// 特化：类静态成员函数指针（通过辅助 trait 区分）
template <typename R, typename... Args>
struct FuncTypeDetector<R(*)(Args...)> {
    template <typename T>
    static constexpr bool is_static_member = std::is_member_function_pointer_v<R(T::*)(Args...)>;
    
    static constexpr const char* value = is_static_member<void> ? "class static" : "normal";
};

// 封装宏，适配不同调用形式
#define SOME_MACRO(...) \
    do { \
        if constexpr (sizeof...(__VA_ARGS__) == 1) { \
            std::cout << FuncTypeDetector<decltype(&__VA_ARGS__)>::value << '\n'; \
        } else { \
            using ClassType = std::decay_t<decltype(std::get<0>(std::make_tuple(__VA_ARGS__)))>; \
            std::cout << FuncTypeDetector<decltype(&ClassType::std::get<1>(std::make_tuple(__VA_ARGS__)))>::value << '\n'; \
        } \
    } while(0)

// 测试代码
extern "C" {
    void cFunction() {}
}

void normalFunction() {}

class MyClass
{
public:
    static void staticMemberFunction() {}
    void nonStaticMemberFunction() {}
};

int main() {
    SOME_MACRO(cFunction);                     // 输出 "C"
    SOME_MACRO(normalFunction);                // 输出 "normal"
    SOME_MACRO(MyClass, staticMemberFunction); // 输出 "class static"
    SOME_MACRO(MyClass, nonStaticMemberFunction); // 输出 "class non static"
    return 0;
}

注意：extern "C"的函数指针特化需要放在extern "C"块中确保类型匹配；静态成员函数的判断需要借助类型 trait 区分普通函数指针与静态成员函数指针。

运行时实现 #

如果编译时方案无法满足需求（比如函数仅通过指针传递，无法获取原始声明的类型信息），运行时实现的可移植性较差，主要依赖编译器特定的内置函数：

• GCC/Clang提供__builtin_function_type，可获取函数的类型编码，但解析编码需要处理编译器特定规则
• MSVC有类似扩展函数，但语法和实现逻辑不同

运行时方案无法做到跨平台通用，且需要处理复杂的类型编码解析，一般不推荐优先使用。

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