C++模板参数关联与复用咨询：模板作为参数及参数复用

问题1：类模板作为另一个模板的参数及参数关联 #

场景1：C1与C2的关联 #

你写的template <class C1> class C2;里的C1只是模板参数的名字，和之前定义的C1类模板没有任何关联——模板参数名是局部标识符，重名不会自动绑定到外部模板。

如果想让C2的模板参数明确指向之前的C1类模板，必须使用模板模板参数定义C2，写法如下：

// C2接受一个双参数类模板作为参数
template <template<class, class> class T> class C2;

实例化时直接传入C1即可：C2<C1>。

关于等价性：template <class C1> class C2;和template <class T1, class T2> class C2;完全不等价：

• 前者接受单个具体类型（比如C1<int, double>这种已经实例化后的类型）；
• 后者接受两个具体类型，和C1模板本身没有任何关联。

场景2：C3与C4的关联 #

同理，template <class C3> class C4;里的C3只是参数名，和之前的C3类模板无关。C3本身是一个接受模板模板参数的类模板（它的参数是双参数类模板），若想让C4的参数明确指向C3，需要用嵌套的模板模板参数定义C4：

// C4接受一个"以双参数模板为参数的模板"作为参数
template <template<template<class, class> class> class T> class C4;

实例化时可以写C4<C3>。

等价性方面：template <class C3> class C4;和template <template<class, class> class T> class C4;也完全不等价：

• 前者接受具体类型；
• 后者接受双参数类模板，而C3是"接受模板的模板"，既不是类型也不是双参数模板，两者无法匹配。

问题2：复用其他模板的参数 #

你无法直接在C6的定义里引用C5的模板参数T——模板参数的作用域仅限于所在模板内部，外部模板无法直接访问。要实现参数复用，有几种可行方式：

方式1：将C6定义为C5的嵌套类 #

嵌套类可以直接访问外部模板的参数：

template <template<class, class> class T>
class C5 {
public:
    // 嵌套类C6复用C5的模板参数T
    class C6 {
        T<int, double> member; // 直接使用T定义成员
    };
};

方式2：让C6定义相同类型的模板参数 #

给C6定义和C5一致的模板参数，使用时传递相同实参：

template <template<class, class> class T> class C5{};
// C6定义相同的模板参数
template <template<class, class> class T> class C6{};

// 使用时传递同一个模板
C5<std::pair> c5;
C6<std::pair> c6; // 和C5复用了同一个T（std::pair）

方式3：用别名模板绑定参数 #

如果想固定C6的参数为C5使用的T，可以通过别名模板实现：

template <template<class, class> class T> class C5{};

// 别名模板C6，绑定到特定的T
template <template<class, class> class T>
using C6 = std::vector<T<int, double>>; // 根据需求自定义

// 使用时
using MyC5 = C5<std::pair>;
using MyC6 = C6<std::pair>; // 和MyC5的T完全一致

另外补充你提到的两个小问题：

• 可以复用类模板的模板参数作为另一个模板的参数：通过嵌套、参数传递等方式即可实现；
• 可以将已定义的类作为模板实参：比如std::vector<MyClass>里的MyClass，甚至内置类型std::vector<int>也符合要求（C++中内置类型可视为特殊类类型用于模板）。

修正后的完整示例代码 #

#include <iostream>
#include <utility>
#include <vector>

// 问题1场景1：C1和C2
template <class T1, class T2> class C1{};
template <template<class, class> class T> class C2{};

// 问题1场景2：C3和C4
template <template<class, class> class T> class C3{};
template <template<template<class, class> class> class T> class C4{};

// 问题2：复用模板参数的示例1（嵌套类）
template <template<class, class> class T>
class C5 {
public:
    class C6 {
        T<int, double> data;
    };
};

// 问题2：复用模板参数的示例2（同类型参数）
template <template<class, class> class T> class C6{};

// 问题2：复用模板参数的示例3（别名模板）
template <template<class, class> class T>
using C7 = std::vector<T<int, double>>;

int main(){
    // 实例化示例
    C2<C1> c2;
    C4<C3> c4;
    C5<std::pair>::C6 c5_c6;
    C6<std::pair> c6;
    C7<std::pair> c7;

    std::cout << "A great civilization is not conquered from without, until it has destroyed itself from within\n"
              << "A great code is not stopped from without, until it has to crash itself from within\n"
              << "_______________________________________________________________________Rango";
}

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