C++如何基于自定义条件实现类模板的偏特化？

错误原因 #

你原有写法编译失败是因为C++标准规定，类模板偏特化的默认模板参数不属于匹配签名的一部分，无法用于SFINAE条件判断，编译器会将其识别为重复的偏特化定义直接报错。

解决方案 #

有两种常用的实现方式可以满足偏特化加自定义条件的需求：

方案1：将enable_if放在偏特化的实参列表中

你的主模板是可变参数模板，天然支持扩展参数位，直接把条件判断结果作为第三个参数传入偏特化即可：

// 主模板保持原有定义不变
template<typename...>
struct make_completion;

template<typename DerivedTraits, typename SignatureT>
struct make_completion<DerivedTraits, SignatureT, std::enable_if_t<std::is_base_of_v<asio_traits, DerivedTraits>>>
{
    template<typename CompletionToken>
    auto operator()(DerivedTraits, CompletionToken&& completionToken)
    {
        using result_type = asio::async_result<std::decay_t<CompletionToken>, SignatureT>;
        using completion_handler = typename result_type::completion_handler_type;

        completion_handler handler{ std::forward<CompletionToken>(completionToken) };
        result_type result{ handler };

        return completion<result_type, completion_handler>{ std::move(result), std::move(handler) };
    }
};

如果需要匹配多个traits的组合，直接在std::enable_if_t的条件中添加逻辑判断即可，比如要匹配同时继承asio_traits和custom_traits的类型，条件改为：
std::is_base_of_v<asio_traits, DerivedTraits> && std::is_base_of_v<custom_traits, DerivedTraits>

方案2：使用非类型模板参数占位

如果你不想修改偏特化的参数结构，可以用非类型模板参数作为SFINAE的占位符（C++17及以上版本支持）：

template<typename DerivedTraits, typename SignatureT, std::enable_if_t<std::is_base_of_v<asio_traits, DerivedTraits>, int> = 0>
struct make_completion<DerivedTraits, SignatureT>
{
    // 实现逻辑和方案1一致
};

注意事项 #

如果存在多个可能触发的偏特化条件，需要确保各个条件之间互斥，或者通过增加条件优先级的方式避免匹配歧义，比如给优先级更高的偏特化添加额外的权重判断条件。

内容的提问来源于stack exchange，提问作者Sergey Kolesnik