Question

谁能告诉我类模板完全专业化，部分专业化有什么区别？什么是模板类的inhertance规则，即一个专门的类可以从泛型类等派生？代码真的会有所帮助。感谢。

Answer 1

问题有谁能告诉我类模板完全专业化，部分专业化有什么区别？

答案完全专业化意味着已明确指定所有模板参数。部分特化意味着已明确指定了一个或多个但并非所有模板参数。

示例类模板：

template <typename T1, typename T2> struct A
{
   A() { std::cout << "Came to A<T1, T2>::A()\n"; } 
};

部分专业化的例子。

template <typename T1> struct A<T1, int>
{
   A() { std::cout << "Came to A<T1, int>::A()\n"; } 
};

全面专业化的例子。

template <> struct A<int, int>
{
   A() { std::cout << "Came to A<int, int>::A()\n"; } 
};

int main()
{
   A<char, float> a1;
   A<double, int> a2;
   A<int, int> a3;
}

运行程序时，应该得到以下输出：

Came to A<T1, T2>::A()
Came to A<T1, int>::A()
Came to A<int, int>::A()

问题模板类的继承规则是什么，即可以从泛型类等派生专门的类？

答案类模板的继承规则（专用与否）与常规类相同。

在上面的示例中，您可以从您希望的任何类派生A<T1, T2>，A<T1, int>和A<int, int>。反过来，它们也可以成为任何类的基类。

由于没有特定的规则来继承涉及类模板的类，因此任何示例都是多余的。但是，如果有帮助，您可以执行以下操作：

struct B
{
};

template <typename T1> struct A<T1, int> : public B
{
   A() { std::cout << "Came to A<T1, int>::A()\n"; } 
};

您还可以执行以下操作：

template <typename T1> struct C : public A<T1, int>
{
   C() { std::cout << "Came to C<T1>::C()\n"; } 
};

template <typename T1> struct D : public A<T1, T1*>
{
   D() { std::cout << "Came to D<T1>::D()\n"; } 
};

模板特化部分，完全等和继承

1 个答案: