C++テンプレートは

Question

はちょうど今、私は、テンプレートクラステンプレートのメンバ関数は、構文エラーを与えていた理由を見つけるためにウェブサイトを通じて掘っていた落とし穴。あなたは常識であることを検討するものではありませんでしたその遭遇した奇妙な他の

f.template bar<T>(); 

何側面およびC++/C++テンプレートの落とし穴：CF Templates: template function not playing well with class's template member function、以下の奇妙な構文が必要とされていることを意図した何をすべきか？

Answer 1

この1つは私が当時動揺しました：

#include <vector> 
using std::vector; 

struct foo { 
    template<typename U> 
    void vector(); 
}; 

int main() { 
    foo f; 
    f.vector<int>(); // ambiguous! 
} 

をコンパイラがfoo内vectorを検索しますが、また、main内から始まる非修飾名としてだけでなくので、メインの最後の行は、あいまいです。したがって、std::vectorとfoo::vectorの両方が見つかります。

：これを修正するには、

f.foo::vector<int>(); 

GCCがその気に、かつ直感的なもの（メンバーを呼び出す）を行うことによって、上記のコードを受け入れていない、他のコンパイラがより良い行い、コモのような警告を記述する必要があります

"ComeauTest.c", line 13: warning: ambiguous class member reference -- function 
      template "foo::vector" (declared at line 8) used in preference to 
      class template "std::vector" (declared at line 163 of 
      "stl_vector.h") 
     f.vector<int>(); // ambiguous! 

Answer 2

私は、私は別のテンプレートクラスからテンプレートクラスを継承した最初の時間をつまずいてしまった：

template<typename T> 
class Base { 
    int a; 
}; 

template<typename T> 
class Derived : public Base<T> { 
    void func() { 
     a++; // error! 'a' has not been declared 
    } 
}; 

問題はBase<T>がGOIの場合、コンパイラが認識していないということですデフォルトのテンプレートまたは特殊なテンプレートにする。特殊バージョンは、メンバーとしてint aを持たないかもしれないので、コンパイラは利用可能であると想定しません。スコープのうち

void func { 
    T::a++; // OK! 
} 

Answer 3

：あなたはTのメンバーを使用していることが明示的なことを確認することができ、また

template<typename T> 
class Derived : public Base<T> { 
    using Base<T>::a; 
    void func() { 
     a++; // OK! 
    } 
}; 

：しかし、あなたはusingディレクティブと一緒にそこになるだろうコンパイラに伝えることができますクラスメンバ関数の定義：

Answer 4

ここにテンプレートに関する質問：欠落している型名！

template <typename T> 
class vector 
{ 
    public: 
    typedef T * iterator; 
    ... 
}; 

template <typename T> 
void func() 
{ 
    vector<T>::iterator it;   // this is not correct! 

    typename vector<T>::iterator it2; // this is correct. 
} 

ここでの問題は、vector<T>::iteratorが依存名であるということである：それはテンプレートパラメータに依存します。結果として、コンパイラはiteratorが型を指定することを知らない。我々は彼にtypenameキーワードで伝える必要があります。

テンプレートの内部クラスまたはテンプレートメンバー/静的関数についても同じことが言えます.Opt31に記載されているように、templateキーワードを使用して曖昧さを除去する必要があります。

template <typename T> 
void func() 
{ 
    T::staticTemplateFunc<int>();   // ambiguous 

    T::template staticTemplateFunc<int>(); // ok 

    T t; 

    t.memberTemplateFunc<int>();   // ambiguous 

    t.template memberTemplateFunc<int>(); // ok 
}