C++模板類（類別範本）與繼承

類別範本和類別範本之間、類別範本和類之間可以互相繼承。它們之間的派生關係有以下四種情況。

1. 類別範本從類別範本派生

範例程式：

template <class T1, class T2>
class A
{
    Tl v1; T2 v2;
};
template <class T1, class T2>
class B : public A <T2, T1>
{
    T1 v3; T2 v4;
};
template <class T>
class C : public B <T, T>
{
    T v5;
};
int main()
{
    B<int, double> obj1;
    C<int> obj2;
    return 0;
}

編譯到第 18 行，編譯器用 int 替換類別範本 B 中的 T1，用 double 替換 T2，生成 B<int, double> 類如下：

class B <int, double>: public A <double, int>
{
    int v3; double v4;
};

B <int, double> 的基礎類別是 A <double, int>。於是編譯器就要用 double 替換類別範本 A 中的 T1，用 int 替換 T2，生成 A<double, int> 類如下：

class A <double, int>
{
    double v1; int v2;
};

編譯到第 19 行，編譯器生成類 C<int>，還有 C<int> 的直接基礎類別 B<int, int>，以及 B<int, int> 的基礎類別 A<int, int>。

2. 類別範本從模板類派生

範例程式：

template<class T1, class T2>
class A{ T1 v1; T2 v2; };
template <class T>
class B: public A <int, double>{T v;};
int main() { B <char> obj1; return 0; }

第 4 行，A<int, double> 是一個具體的類的名字，而且它是一個模板類，因此說類別範本 B 是從模板類派生而來的。

編譯器編譯到第 5 行B<Char>obj1;時會自動生成兩個模板類：A<int, double> 和 B<char>。

3. 類別範本從普通類派生

範例程式：

class A{ int v1; };
template<class T>
class B: public A{ T v; };
int main (){ B <char> obj1; return 0; }

4. 普通類從模板類派生

範例程式：

template <class T>
class A{ T v1; int n; };
class B: public A <int> { double v; };
int main() { B obj1; return 0; }