我正在阅读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/

10-11 20:13
查看更多