C++类模板特化中T(U)语法的含义是什么？

这段代码里的F<T(U)>是类模板F的偏特化版本，专门匹配函数类型的模板实参：

• T代表函数的返回值类型
• U代表函数的参数类型

具体解释 #

主模板template <typename S> class F;是通用类模板，可接受任意类型作为S。而下面的偏特化template <typename T, typename U> class F<T(U)>{};，是当S恰好是「返回值为T、参数为U的函数类型」时，会启用的特化版本。

举个实际例子：
当你声明F<int(double)> obj;时，编译器会自动推导：

• T = int（函数返回值类型）
• U = double（函数参数类型）
  此时会使用这个偏特化的F类，而非通用主模板。

常见用途 #

这种写法在STL里很常见，主要用于函数类型的萃取——比如提取函数的返回值类型、参数类型，或者为函数类型提供特殊的模板逻辑（比如std::function的实现就用到了类似特化来处理不同的函数签名）。

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