C++如何通过SFINAE判断类型是否存在特化的Writer模板？

错误原因分析 #

1. 替换失败未触发SFINAE规则
   你定义的Writer_wrap_t<T>作为主模板的默认模板参数，当T=double时，Writer_wrap_t<double>的实例化失败发生在默认参数解析阶段，不属于模板特化匹配的直接推导上下文，因此不会触发“替换失败不算错误”的SFINAE规则，直接抛出编译错误。
2. 特化参数类型不匹配
   即使默认参数解析没有报错，主模板第二个参数的默认值是Writer_wrap_t<T>，对已经特化的int、float类型来说，第二个参数的类型是int、float，和你偏特化定义的void完全不匹配，永远不会走到std::false_type的分支。

正确实现方案 #

我们通过void_t将待检测的成员类型统一转为void，让偏特化可以正确匹配：
如果使用C++11/14，需要先自行实现void_t：

template<typename... Ts> struct make_void { typedef void type; };
template<typename... Ts> using void_t = typename make_void<Ts...>::type;

C++17及以上版本可以直接使用标准库的std::void_t，之后重写has_writer逻辑：

// 主模板，默认匹配无对应特化的场景
template<typename T, typename = void>
struct has_writer : std::false_type {};

// 偏特化，仅当Writer<T>::wrap_t存在时匹配
template<typename T>
struct has_writer<T, void_t<typename Writer<T>::wrap_t>> : std::true_type {};

测试用例：

int main() {
    // 验证结果符合预期
    static_assert(has_writer<int>::value == true);
    static_assert(has_writer<float>::value == true);
    static_assert(has_writer<double>::value == false);
    return 0;
}

实现原理 #

检测类型是否有对应Writer特化的执行逻辑如下：

• 如果Writer<T>::wrap_t存在，void_t<typename Writer<T>::wrap_t>会被实例化为void，匹配第二个参数为void的偏特化版本，最终取值为true
• 如果Writer<T>::wrap_t不存在，偏特化的模板参数替换失败，自动回退到主模板，最终取值为false
  整个替换过程发生在模板特化的推导上下文内，符合SFINAE规则，替换失败不会抛出编译错误，会自动选择匹配的模板版本。

内容的提问来源于stack exchange，提问作者Joey.Z