C++ 如何绕开依赖模板 仅以T1为参数实现等效类模板

完全可以实现等效的单参数版本，核心思路是借助编译期的静态类型映射机制，把T1和对应T2的绑定关系从“用户手动传参”移到类的内部实现里，既减少用户的传参负担，又能保留原模板对合法参数组合的强类型约束，最终的类功能和原双参数模板没有任何区别。

1. 建立T1到T2的静态映射表 #

用泛型模板加全特化的方式，把允许的两组参数对应关系固定下来：

// 基础映射模板，未做特化的类型默认无有效映射
template <typename T1>
struct T1T2Map;

// 对应规则：T1为A时，匹配的T2固定为B
template <>
struct T1T2Map<A> {
    using AssociatedT2 = B;
};

// 对应规则：T1为C时，匹配的T2固定为D
template <>
struct T1T2Map<C> {
    using AssociatedT2 = D;
};

这套映射设计天然带非法参数校验能力：如果传入的T1没有对应特化，编译过程中会直接触发“不完整类型”的编译错误，和原双参数模板“仅允许(A,B)、(C,D)两组合法实例化”的约束强度完全一致。

2. 改造原类为单参数模板 #

在类内部自动从映射表中取出匹配的T2类型，原有的成员、成员函数逻辑完全可以直接复用，不需要任何修改：

template <typename T1>
class ClassName {
    // 自动推导与T1绑定的T2，无需用户手动传入
    using T2 = typename T1T2Map<T1>::AssociatedT2;
    // 以下和原双参数模板的成员变量、成员函数实现完全一致
};

• 功能完全等效：类内部所有用到T2的逻辑（比如成员变量类型、函数参数/返回值、编译期计算）都和原模板没有行为差异，不存在功能偏差。
• 使用更简便：调用方只需要写ClassName<A>、ClassName<C>就可以完成实例化，不需要再手动写T2参数，减少了人工传参的步骤。
• 安全性更高：原双参数模板允许用户写出ClassName<A, D>这种本来就不符合规则的实例化代码，改造后用户根本没有机会手动传错T2，从根源上避免了这类错配问题。
• 扩展灵活：后续如果需要新增其他合法的(T1, T2)组合，只需要给映射表加对应的特化条目即可，不需要改动类的核心业务逻辑。

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