如果类型“T”具有要序列化其自身的“template<>struct Writer<T>”,则特征

我有一个Writer结构来进行一些序列化

template<typename T>
struct Writer {};  // only specialized version has ::wrap_t

template<>
struct Writer <int> {
    typedef int wrap_t;
};
template <typename T>
using Writer_wrap_t = typename Writer<T>::wrap_t;

template<>
struct Writer<float> {
    typedef float wrap_t;
};

我想知道一个类型是否有专门的作家。代码无法按预期工作:

template<typename T, typename U = Writer_wrap_t <T>>
struct has_writer : std::true_type {};

template<typename T>
struct has_writer<T, void> : std::false_type {};

int main() {
    bool b = has_writer <double>::value;
    // error C2794: 'wrap_t': is not a member of any direct or indirect base class of 'Writer<T>'
    // error C2976: 'has_reflect': too few template arguments
    // error C2938: 'Writer_wrap_t ' : Failed to specialize alias template
}

我想 has_writer<double> 没有使用专业版本 struct has_writer<T, void> : std::false_type {}; ?

但现在第一个版本的替换失败了,编译器不应该尝试实例化第二个版本吗?