奇妙なテンプレートの仕様は

Question

私は、この関数シグニチャ

template<typename T> 
template<typename FI> 
void vector<T>::_M_assign_aux (FI first, FI last,std::forward_iterator_tag) 
{} 

に実行したことは、これに等しいですか？

template<typename T, typename FI> 
void vector<T>::_M_assign_aux (FI first, FI last,std::forward_iterator_tag) 
{} 

個別に書き込む理由はありますか？

Answer 1

_M_assign_auxがvector<T>の方法のように見えるので、これは、このようなコードを開始している必要があります。

template<typename T> 
class vector 
{ 
    // ... 

    template<typename FI> 
    void _M_assign_aux(FI first, FI last,std::forward_iterator_tag); 

    // ... 
}; 

は、クラス宣言を見ると、説明がより「見える」です：あなたは、クラスに1つのテンプレート宣言を持っています、およびその方法のための1つ。

template<typename T> // template declaration for vector 
template<typename FI> // template declaration for _M_assign_aux 
void vector<T>::_M_assign_aux(FI first, FI last,std::forward_iterator_tag) 
{ 
} 

Answer 2

実際には、これはクラステンプレートのメソッドテンプレートです。したがって、最初のtemplate <typename T>はvector<T>（クラステンプレート）に適用されます。次にtemplate <typename FI>がメソッド_M_assign_aux()に適用されます。

あなたはそれが次のようになりますユニークな場所に全部を収集したい場合：ええ、それは実際にvector.tccからである

template <typename T> 
class vector { 
    // Some stuff 
    template <typename FI> 
    void _M_assign_aux(FI first, FI last, std::forward_iterator_tag) { 
     // Some impl 
    } 
};