我正在阅读Meyers关于有效c++编程的书,在第25项中找到了total template specialization
,但我听不懂,这是什么意思?他还举了一个例子:
namespace std {
template<>
void swap<Widget>(Widget& a, Widget& b)
{
swap(a.pimpl, b.pimpl);
}
}
此语句是什么意思:
template<>
(为什么没有类型名?)提前致谢
最佳答案
通常,您使用模板是因为您有一段通用的代码,可以将其应用于不同的类型。但是,对于某些类型,您可能需要做一些不同的事情(例如,因为有一种更有效的方法)。这是专门针对模板的情况(您可以将它们视为“特殊情况”模板):
例如:
class Foo {};
class Bar {};
// Primary template - the most generic.
template<typename T, typename U>
class MyClass
{
public:
void DoSomething()
{
/* Performs the same generic operation for all T and U... */
}
};
// Total specialization of the primary template
template<>
class MyClass<Foo, Bar>
{
public:
void DoSomething()
{
/* ...Except when T is Foo and U is Bar.
We may possibly do something different
to allow for higher efficiency. */
}
};
int main()
{
MyClass<int, char> a; // Uses the generic version of MyClass
MyClass<Foo, Bar> b; // Uses the (total) template specialization
}
请注意,我在这里使用类,但是概念是相同的。您可以看到类似的语法适用于功能模板。
但是,对于类,当不是所有参数都在模板特化中完全指定时,就会出现部分模板特化的情况。它可能看起来像这样:
// Partial specialization #1
template<typename U>
class MyClass<Foo, U>
{
public:
void DoSomething()
{
/* ...Do something special when T is Foo.
This code doesn't care what type U is. */
}
};
template<typename T> class Baz {};
// Partial specialization #2
template<typename Z>
class MyClass<Foo, Baz<Z> >
{
public:
void DoSomething()
{
/* ...Do something special when T is Foo, and U is Baz.
This code doesn't care what Baz gets for its
template parameter. */
}
};
int main()
{
MyClass<int, char> a; // Uses the generic version of MyClass
MyClass<Foo, char> b; // Uses partial template specialization #1
MyClass<Foo, Baz<int> > c; // Uses partial template specialization #2
MyClass<Foo, Bar> d; // Uses the total template specialization
}
请注意,处理这些特化时并没有歧义,因为编译器会选择最适合模板参数的那个。通过允许使用这些“特殊情况”模板,我们可以创建真正的通用库。
另请注意,此部分特化业务仅适用于类,而不适用于函数! (您不能部分专门化功能模板)。这就是为什么您的代码段按原样编写的原因-您只能完全专门化函数模板-
std
命名空间(C++标准不允许)中的任何其他函数都是函数重载。我花时间提及这一点,因为很多人似乎都错了。namespace std
{
/* Do **not** do this in the std namespace!!!
You're not actually partially specializing the function,
you're overloading the function in the std namespace
which is prohibited by the C++ standard. */
template<typename T>
void swap<Widget<T> >(Widget<T>& a, Widget<T>& b) {}
}
关于c++ - 总体模板特化,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/3928480/