函数特性中&T::operator()的含义及代码中T::operator()解析

一、& T::operator()的含义 #

在C++里，operator()是类的调用运算符——如果一个类重载了这个运算符，它的实例就能像普通函数一样被调用（比如仿函数、lambda表达式的闭包类型都属于这类可调用类）。

& T::operator()的作用是获取这个类成员函数的指针。对于function_traits这类用来提取函数类型信息（比如返回值类型、参数列表）的工具来说，它的核心逻辑是处理函数类型，而非类类型。所以通过取operator()的指针，就能把可调用类T转换成它的调用运算符对应的函数类型，让function_traits可以解析这个函数的特性。

二、PyTorch代码片段中T::operator()的含义 #

先看这段代码：

// Fallback, anything with an operator()
template <typename T>
struct function_traits : public function_traits<decltype(&T::operator())> > {
};

这里的T::operator()就是指模板参数T这个类的调用运算符成员函数。

这个模板是一个兜底的特化实现：当你给function_traits传入的类型T是一个可调用类（也就是重载了operator()的类），就通过继承function_traits<decltype(&T::operator())>，把对T的特性提取需求，转交给针对成员函数指针类型的function_traits特化版本来处理。这样就不用单独为可调用类写一套逻辑，直接复用已有的函数指针特性提取逻辑即可。

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