如何要求C++模板参数为指定模板类的特化版本且不使用SFINAE

使用C++20引入的*概念（Concepts）*特性可以完美实现你的需求，全程不需要用到SFINAE，也不会存在你担心的类型推导问题，实现逻辑如下：

完整实现代码 #

#include <type_traits>

// 你原有A、B的定义无需任何修改
template <typename... Args>
class A{
public:
    A(){}
};

template <typename... Args>
class B{
public:
    B(){}
};

// 1. 定义非侵入式类型匹配规则，用于判断类型是否是A/B的特化
template <typename T>
struct is_A_instance : std::false_type {};
template <typename... Args>
struct is_A_instance<A<Args...>> : std::true_type {};

// 定义A特化的约束概念
template <typename T>
concept A_specialization = is_A_instance<T>::value;

template <typename T>
struct is_B_instance : std::false_type {};
template <typename... Args>
struct is_B_instance<B<Args...>> : std::true_type {};

// 定义B特化的约束概念
template <typename T>
concept B_specialization = is_B_instance<T>::value;

// 2. 定义MyClass，直接用概念约束模板参数
template <A_specialization TA, B_specialization TB>
class MyClass {
    // 可选：如果内部需要用到A、B的模板参数包，可通过如下方式提取
    template <typename T>
    struct unpack_A_args;
    template <typename... Args>
    struct unpack_A_args<A<Args...>> {
        using args_type = std::tuple<Args...>;
    };
    // 获得A的所有模板参数组成的tuple，可按需拆解使用
    using A_Args = typename unpack_A_args<TA>::args_type;

    template <typename T>
    struct unpack_B_args;
    template <typename... Args>
    struct unpack_B_args<B<Args...>> {
        using args_type = std::tuple<Args...>;
    };
    // 获得B的所有模板参数组成的tuple
    using B_Args = typename unpack_B_args<TB>::args_type;
public:
    MyClass() = default;
};

使用验证 #

你要求的实例化方式可以正常编译通过：

MyClass<A<int, int>, B<double, int>> valid_obj;

如果传入不符合约束的参数，编译器会直接输出清晰的约束不匹配错误，而非SFINAE那种晦涩的模板匹配失败日志：

// 编译报错：第一个模板参数不满足A_specialization约束
// MyClass<int, B<double, int>> invalid_obj;

方案优势 #

• 完全规避SFINAE的各类缺陷，不会干扰模板类型推导
• 无侵入性，不需要修改原有A、B类的任何代码
• 不需要在MyClass的模板参数列表中声明A、B的变长参数，自然不会出现参数包必须放在末尾的编译错误
• 编译报错信息直观，降低调试成本

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