[解決済み] テンプレートクラスのメンバ関数の明示的な特殊化

質問

ある型（仮に ダブル ). これは，クラス 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()

どのように修正すればいいのでしょうか、また、ここでの問題は何なのでしょうか？

よろしくお願いします。

どのように解決するのですか？

そのようにはいきません。次のように言う必要がありますが、それは ではなく 正しい

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

}

明示的に 専門メンバー は、その周囲のクラステンプレートも明示的に特化する必要があります。そのため、次のように記述する必要があります。 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>) {

   }
};