C++如何编写可修改模板参数、仅适配A派生类的模板包装器

你当前的WrapperA写法存在两个核心问题，无法正常工作：

• 传入的第二个模板参数是已经实例化的具体类型（例如A1<int>），不是可接收新参数的类模板，直接写Atype<pair<T, int>>会触发编译错误。
• 缺少类型约束，无法限制传入类型必须是A的派生类。

我们可以通过模板偏特化+编译期静态检查实现需求，不需要修改已有的A、A1、A2类定义，兼容C++17及以上版本的完整代码如下：

#include <type_traits>
#include <utility>

// 原有基类、派生类定义
template<typename T> class A {};
template<typename T> class A1: public A<T>{};
template<typename T> class A2: public A<T>{};

// 模板萃取辅助结构，主模板用于拦截不符合要求的类型
template<typename Derived>
struct A_trait {
    // 传入非A派生类时直接触发编译报错
    static_assert(sizeof(Derived) == 0, "Template parameter must be a type derived from A<T>");
};

// 偏特化匹配所有形如DerivedTpl<OldT>的A派生类实例
template<template<typename> class DerivedTpl, typename OldT>
struct A_trait<DerivedTpl<OldT>> {
    static_assert(std::is_base_of_v<A<OldT>, DerivedTpl<OldT>>, 
        "Template parameter must be a type derived from A<T>");
    // 提供重新绑定模板参数的能力
    template<typename NewT>
    using rebound = DerivedTpl<NewT>;
};

// 包装器实现
template<typename T, typename ADerived>
class WrapperA {
    // 萃取得到替换模板参数后的目标类型
    using TargetType = typename A_trait<ADerived>::template rebound<std::pair<T, int>>;
public:
    TargetType atypeobj;
};

完全匹配你预期的调用形式，注：你示例中写的WrapperB为笔误，同一个WrapperA即可支持所有A的派生类：

int main() {
    // 合法调用，编译通过
    WrapperA<int, A1<int>> w1; // w1.atypeobj类型为A1<pair<int, int>>
    WrapperA<long, A2<long>> w2; // w2.atypeobj类型为A2<pair<long, int>>

    // 非法调用，编译期直接报错
    // class NonDerived {};
    // WrapperA<int, NonDerived> w3; // 触发static_assert报错
    // template<typename T> class NonADerived {};
    // WrapperA<int, NonADerived<int>> w4; // 不满足派生约束，编译失败
    return 0;
}

• 所有检查都在编译阶段完成，没有运行时开销：只有传入的类型确实是A<OldT>的派生类时，才会匹配偏特化版本的萃取结构，否则走到主模板抛出清晰的编译错误。
• 偏特化逻辑会自动提取传入实例的原始类模板（比如从A1<int>中提取出类模板A1），再将模板参数替换为pair<T, int>生成目标成员类型。
• 实现为非侵入式，不需要修改原有A、A1、A2类的任何代码。

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