上面那个例子的模板参数和下面那个例子是一样的，都是：
F<T>::type

这种形式
为什么上面的不可能，下面的显而易见？

【 在 ilovecpp () 的大作中提到: 】
: 首先解释为什么“template parameters not deducible”。
: 你的特化代码简化为
: template <typename T> struct S<typename F<T>::type>;
: 那么给定一个实例化S<T0>，编译器如何推导T？相当于给定任意元函数F和类型T0，解方程 F(T) = T0，求T。
--
修改:ComeAlong FROM 180.97.201.*
FROM 114.82.60.*