C++:部分模板专用化用例

C++: Partial template specialization Use Cases

本文关键字：专用 C++      更新时间：2023-10-16

我观察到，每当模板类是专用的(部分/完全(时，都需要显式定义所有成员函数，否则会出现错误。下面是一个示例

#include <iostream>
template<typename T, typename U> //Primary
struct test
{
void f() { std::cout << "nPrimary"; }
void g() { std::cout << "Called g()n";}
};
template <typename T> //Specialization
struct test<T, int*>
{
void f() { std::cout << "nPartial Specialization"; }
};

template<> //Full specialization
struct test<int*, int*>
{
void f() { std::cout << "nFull Specializationn"; }
};
int main()
{
test<int, double> t1;
t1.f();
t1.g();
test<double, int*> t2;
t2.f();
t2.g();
test<int*, int*> t3;
t3.f();
t3.g();
}

这里t2.g()和t3.g()给出了编译时错误，因为它们没有显式定义。如果对于每个专用化，则需要再次定义成员函数。允许部分/完全专业化的优势是什么？

我认为你在这里弄错了类专业化的概念。 班级专业化不inheritance.专用类与初始类不同。两者之间没有任何共享。因此，在专门的方法中不存在任何g()方法。

如果您正在寻找一种方法来使方法不同，您应该研究方法专用化。

我认为专业化的主要目的是定义"异常"，如果你想以不同的方式处理某些数据类型。

查看部分专业化，请考虑以下几点：

// NOT specialized
template <typename T>
struct test <T, T>
{
...
};
// partially specialized
template <typename T>
struct test <T*, T*>
{
...
};

后一个示例已经部分专用，因为您告诉编译器需要任何类型的指针。这当然很有用，因为您可能希望处理与非指针类型略有不同的指针类型(例如，检查是否为 NULL(

我建议阅读这篇文章

相关文章：