因为你用模板的姿势有点偏差…… 首先你可能误解了模板的特化…… 模板的特化实际上是模式匹配，而不是某种自动填充……
你可以试试 template <class T> struct X {}; template<> struct X<int> {};在做的是当 X=int 的时候选择后一条路径做特化，而不是当我不填 T 的时候选择 T=int 来编译后面那个特化……你的 has_value_type_2 很明显是在干这件事…… 如果你想这么干，请用继承或者 typedef 之类的…… 看你的要求

其次你可能误解了模板的默认值

模板的默认值就是默认值，只要你不填这个参数他就永远是默认值……

然后你这里的问题是…… 你之所以能写 has_value_type_<T>实际上是因为你的 typename=void, 这个默认值和你怎么特化无关，也就是说也就是去掉这个=void，把你的模板参数完整写出来，你在写的其实一直都是 has_value_type_1<T, void> has_value_type_2<T, void>，你完全可以搞个 struct has_value_type_XX : has_value_type_1<T, void>来代替这个 typename=void，这样会显得更清晰一些……

然后我们来看你的 has_value_type_1
template <typename T> struct has_value_type_1< T, typename type_sink< typename T::value_type >::type > : true_type {};

不难注意到，如果 T 有 value_type，无论他的类型是什么，你始终通过 type_sink 对 has_value_type_1<T, void>做特化，使得它为 true
反之，如果 T 没有 value_type，由于 SFINAE，就不会有这条特化，从而去匹配 primary 也就是 struct has_value_type_1<T, typename = void> : false_type 这条路径，于是就可以得到正确结果

然后我们来看你的第二个写法，struct has_value_type_2<T, typename T::type_value>，那么 T::type_value 是啥？ 是 int，也就是说你特化了 has_value_type_2<T, int> : true_value ；而你调用的是啥？ has_value_type_2<T, void>，于是这里并不匹配，c++用的还是 has_value_type_2 : false_value 这条。从而你取到的还是 false，除非你显示使用 has_value_type_2<T, int>或者把 A 的 int 改成 void …… 这两者明显是不大靠谱的……