类模板中模板成员函数推导疑问：为何无法从fn签名推导T？

咱们先拿两个对比代码场景说事儿，看完你就能秒懂核心区别了：

场景1：非成员版operator<<——完全合法 #

#include <iostream>

template<typename T>
struct MyStruct {};

// 非成员的流输出运算符模板
template<typename T>
std::ostream& operator<<(std::ostream& os, const MyStruct<T>&) {
    return os << "非成员版operator<<";
}

// 接受非成员operator<<指针的模板函数
template<typename T>
void fn(std::ostream& (*func)(std::ostream&, const MyStruct<T>&)) {
    std::cout << "调用了带非成员operator<<的fn\n";
}

int main() {
    // 编译器自动就能推导T=int，完美运行
    fn(operator<<); 
}

场景2：成员版operator<<——推导直接失败 #

#include <iostream>

template<typename T>
struct MyStruct {
    // 成员版的流输出运算符
    std::ostream& operator<<(std::ostream& os) const {
        return os << "成员版operator<<";
    }
};

// 接受成员operator<<指针的模板函数
template<typename T>
void fn(std::ostream& (MyStruct<T>::*func)(std::ostream&) const) {
    std::cout << "调用了带成员operator<<的fn\n";
}

int main() {
    // 这里编译器直接懵了，不知道T是啥，编译报错
    // fn(&MyStruct<T>::operator<<); // 错误：T未定义
    // 哪怕你写成fn(&MyStruct<int>::operator<<)，这是显式指定T，不是推导
}

核心原因拆解 #

1. 非成员函数的推导逻辑：路径清晰
   非成员的operator<<本身是个模板函数，它的参数里直接带着const MyStruct<T>&——T和函数参数的类型是强绑定的。当你把它传给fn时，编译器顺着fn的参数签名std::ostream& (*)(std::ostream&, const MyStruct<T>&)，能直接反向匹配出T的类型，推导过程顺理成章。

2. 成员函数的推导限制：信息不足
   换成成员版operator<<就不一样了：

• 成员函数指针的类型是std::ostream& (MyStruct<T>::*)(std::ostream&) const，这里的T是类模板MyStruct的参数，不是成员函数自己的模板参数。
• 编译器要推导fn的T，得从MyStruct<T>::*这个类型里挖出来T，但问题是：同一个成员函数签名，能对应任意T的MyStruct<T>实例啊！编译器没有足够的上下文，根本没法确定T到底该是int、float还是别的什么类型。

说白了就是：非成员函数的T直接写在函数参数里，编译器一眼就能找到；成员函数的T是类模板的参数，成员函数指针本身没带T的信息，编译器猜不出来，除非你直接告诉它MyStruct的具体实例类型。

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