#include <iostream>

using namespace std;

template<class T>

struct foo

{

    using type = T;

};

template<class T>

struct bar

{

};

template<class T>

struct ty_sfinae_helper

{

    using type = void;

};

template<class T, class U = void>

struct ty_has_type

{

    const static int value = 0;

};

template<class T>

struct ty_has_type<T, typename T::type>

{

    const static int value = 1;

};

template<class T>

struct ty_has_type<T, typename ty_sfinae_helper<typename T::type>::type>

{

    const static int value = 2;

};

template<class...>

using void_t = void;

template<class, class = void>

struct has_type : false_type

{

};

template<class T>

struct has_type<T, void_t<typename T::type>> : true_type

{

};

int main()

{

    cout << ty_has_type<foo<int>>::value << endl;

    cout << ty_has_type<bar<int>>::value << endl;

    cout << has_type<bar<int>>::value << endl;

    return 0;

}

 类模板在匹配时是先用声明的版本匹配(必须匹配),然后再用特化的版本尝试是否有更好的版本(此时模板参数的类型已经在上一步确定,不能再被重新选择)

ty_has_type<foo<int>> 会先补全为 ty_has_type<foo<int>, void>，然后发现偏特化的版本更加精确，所以选择偏特化的版本。而并不是仅仅根据第一个参数foo<int>去选择具现化的版本