c++ - 模板类成员函数的显式特化

Question

我需要为某种类型专门化模板成员函数(比如说 double)。当类 X 本身不是模板类时，它可以正常工作，但是当我制作模板时，GCC 开始给出编译时错误。

#include <iostream>
#include <cmath>

template <class C> class X
{
public:
   template <class T> void get_as();
};

template <class C>
void X<C>::get_as<double>()
{

}

int main()
{
   X<int> x;
   x.get_as();
}

这是错误信息

source.cpp:11:27: error: template-id
  'get_as<double>' in declaration of primary template
source.cpp:11:6: error: prototype for
  'void X<C>::get_as()' does not match any in class 'X<C>'
source.cpp:7:35: error: candidate is:
  template<class C> template<class T> void X::get_as()

我该如何解决这个问题？这里有什么问题？

提前致谢。

Answer 1

这样不行。您需要说以下内容，但它不正确

template <class C> template<>
void X<C>::get_as<double>()
{

}

明确 specialized members也需要它们周围的类模板被明确地专门化。因此，您需要说以下内容，这只会将成员专门化为 X<int> .

template <> template<>
void X<int>::get_as<double>()
{

}

如果您想让周围的模板保持非特化，您有多种选择。我更喜欢重载

template <class C> class X
{
   template<typename T> struct type { };

public:
   template <class T> void get_as() {
     get_as(type<T>());
   }

private:
   template<typename T> void get_as(type<T>) {

   }

   void get_as(type<double>) {

   }
};