template <typename T>
struct test_class2 : std::false_type {};

template <typename T>
struct test_class2  <typename std::enable_if<std::is_class<T>::value, T>::type> : std::true_type {};

模板参数解析失败
error: template parameters not deducible in partial specialization:


而这样却是可以的:

template <typename T, typename T2 = void>
struct test_class1 : std::false_type {};

template <typename T>
struct test_class1 < T, typename std::enable_if<std::is_class<T>::value>::type> : std::true_type {};

为什么???
--
修改:ComeAlong FROM 114.86.188.*
FROM 114.86.188.*

茅塞顿开,谢谢!

【 在 ilovecpp (cpp) 的大作中提到: 】
: 标  题: Re: 模板特化这样为什么不行?
: 发信站: 水木社区 (Thu May 28 09:55:15 2020), 站内
:
: 下面的T是由第一个模板参数直接推导的。
:
: 【 在 ComeAlong 的大作中提到: 】
: : 上面那个例子的模板参数和下面那个例子是一样的，都是：
: : F<T>::type
: : 这种形式
: : ...................
: --
:
: ※ 来源:·水木社区 http://m.newsmth.net·[FROM: 124.78.169.*]
--
FROM 114.86.188.*