web-dev-qa-db-ja.com

テンプレートクラスメンバー関数の明示的な特殊化

何らかのタイプのテンプレートメンバー関数を特化する必要があります（たとえば、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()

どうすれば修正できますか？また、ここでの問題は何ですか？

前もって感謝します。

c++templatesgccspecialization
79
ledokol

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

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>) {

   }
};
95
Johannes Schaub - litb

使用できる場合std::enable_if SFINAEに頼ることができます（置換の失敗はエラーではありません）

それは次のように機能します：

#include <iostream>
#include <type_traits>

template <class C> class X
{
public:
    template <class T, typename std::enable_if< ! std::is_same<double,T>::value>::type * = nullptr > void get_as(){
        std::cout << "get as T" << std::endl;
    }


    template <class T, typename std::enable_if< std::is_same<double,T>::value>::type * = nullptr  > void get_as(){
        std::cout << "get as double" << std::endl;
    }
};


int main()
{

    X<int> d;
    d.get_as<double>();

   return 0;
}

いことは、これらのenable_ifのすべてで、コンパイラーで使用可能な特殊化が1つだけである必要があることです。そうしないと、曖昧性解消エラーが発生します。そのため、デフォルトの動作「get as T」もifを有効にする必要があります。

20
Gabriel