96

テンプレートメンバー関数を特定の型に特化する必要があります ( 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()

どうすればそれを修正できますか?ここでの問題は何ですか?

前もって感謝します。

4

3 に答える 3

117

それはそのようには機能しません。あなたは次のように言う必要があるでしょう、しかしそれは正しくありません

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

   }
};
于 2011-04-01T12:05:02.940 に答える
27

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

それは次のように機能します ( LIVEを参照):

#include <iostream>
#include <type_traits>

template <typename C> class X
{
public:
    template <typename T, 
              std::enable_if_t<!std::is_same_v<double,T>, int> = 0> 
    void get_as() { std::cout << "get as T" << std::endl; }

    template <typename T, 
              std::enable_if_t<std::is_same_v<double,T>, int> = 0> 
    void get_as() { std::cout << "get as double" << std::endl; }
};

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

   return 0;
}

醜いことは、これらすべての enable_if の唯一の特殊化がコンパイラで利用可能である必要があるということです。そうしないと、明確化エラーが発生します。そのため、デフォルトの動作「get as T」にも有効な if が必要です。

于 2015-02-24T13:32:56.880 に答える