C++模板派生类如何提取基类模板参数类型定义成员

C存在合法标准语法实现该需求，你尝试编写的template<typename A_Type<T, U>>属于非标准的错误语法，无法通过编译，根据使用的C版本和实际场景，可以选择以下两种实现方式：

方案1：类模板偏特化（兼容C++98及所有后续标准） #

通过对类B做偏特化，专门匹配传入模板参数为A<T, U>实例的场景，即可直接提取到A的两个模板参数类型，不需要修改原有类A的定义：

// B的主模板，若不需要支持非A类型的基类，可只声明不定义，强制约束传入类型必须为A的实例
template<typename A_Type>
class B;

// 偏特化版本，匹配基类为A<T,U>的场景
template<typename T, typename U>
class B<A<T, U>> : public A<T, U>
{
  T j; // 此处T与传入A实例的第一个模板参数类型完全一致
};

使用时直接传入A的实例化类型即可，比如定义B<A<int, double>> b;时，成员j的类型会自动推导为int，完全符合需求。这个方案兼容性最好，适配所有现存C++标准版本。

方案2：通用类型萃取（C++11及以上版本，可复用性更强） #

如果不想对B本身做偏特化，或者需要在多个不同类中复用模板参数提取逻辑，可以先实现一个通用的类型萃取工具，从任意双类型参数的模板实例中提取第一个参数类型：

// 萃取主模板默认不实现，传入不符合双参数模板规则的类型时会直接触发编译报错
template<typename T>
struct get_first_template_arg;

// 偏特化匹配所有双类型参数模板的实例
template<template<typename, typename> class TemplateT, typename FirstT, typename SecondT>
struct get_first_template_arg<TemplateT<FirstT, SecondT>>
{
  using type = FirstT;
};

// C++14及以上版本可定义简化别名，省略书写繁琐的typename前缀
template<typename T>
using get_first_template_arg_t = typename get_first_template_arg<T>::type;

萃取工具实现完成后，你最初编写的B的基本结构不需要做大的调整，直接通过萃取工具拿到对应类型即可：

template<typename A_Type>
class B : public A_Type
{
  // C++11 标准写法
  typename get_first_template_arg<A_Type>::type j;
  // C++14及以上版本可直接使用简化别名
  // get_first_template_arg_t<A_Type> j;
};

这个方案的优势是提取逻辑可以跨场景复用，除了适配类A，传入任意其他符合双类型参数规则的模板实例，都能正确提取到第一个参数类型，不需要为每个基类模板单独编写B的偏特化版本。

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