テンプレート引数のデフォルトは、C++

Question

を一覧表示するには、私がその実施のためのリストを使用しているクラスがあります。

template<class T> 
class Ring { 
list<T> lst; 
.. 

私はテンプレート引数を使用してunderliyng実装（データ構造）が選ばれたことにしたい、それがなければならないデフォルトにlist。私は、それがそのように行われるべきであると思った：Tは、一般的なデータ構造の種類とYコンテナのタイプです

template<class T,class Y = list<T>> 
class Ring { 
    Y lst; 
.. 

。しかし、それはコンパイルされません、問題はどこですか？

編集：ここに完全なコードです。今私は問題がiteratorを使用して、テンプレートではないことを確認します。

#include <iostream> 
#include <list> 
#include <string> 
using namespace std; 
template<class T,class Y = list<T>> 
class Ring{ 
    Y lst; 
public: 
    // Declaration necessary so the following 
    // 'friend' statement sees this 'iterator' 
    // instead of std::iterator: 
    class iterator; 
    friend class iterator; 
    class iterator : public std::iterator< 
     std::bidirectional_iterator_tag, T, ptrdiff_t> { 
     Y::iterator it; 
     Y* r; 
    public: 
     // "typename" necessary to resolve nesting: 
     iterator(Y& lst, 
      const typename Y::iterator& i) 
      : r(&lst), it(i) {} 
     bool operator==(const iterator& x) const { 
      return it == x.it; 
     } 
     bool operator!=(const iterator& x) const { 
      return !(*this == x); 
     } 
     Y::reference operator*() const { 
      return *it; 
     } 
     iterator& operator++() { 
      ++it; 
      if (it == r->end()) 
       it = r->begin(); 
      return *this; 
     } 
     iterator operator++(int) { 
      iterator tmp = *this; 
      ++*this; 
      return tmp; 
     } 
     iterator& operator--() { 
      if (it == r->begin()) 
       it = r->end(); 
      --it; 
      return *this; 
     } 
     iterator operator--(int) { 
      iterator tmp = *this; 
      --*this; 
      return tmp; 
     } 
     iterator insert(const T& x) { 
      return iterator(*r, r->insert(it, x)); 
     } 
     iterator erase() { 
      return iterator(*r, r->erase(it)); 
     } 
    }; 
    void push_back(const T& x) { 
     lst.push_back(x); 
    } 
    iterator begin() { 
     return iterator(lst, lst.begin()); 
    } 
    int size() { return lst.size(); } 
}; 
int main() { 
    Ring<string> rs; 
    rs.push_back("one"); 
    rs.push_back("two"); 
    rs.push_back("three"); 
    rs.push_back("four"); 
    rs.push_back("five"); 

    Ring<string>::iterator it = rs.begin(); 
    it++; it++; 
    it.insert("six"); 
    it = rs.begin(); 
    // Twice around the ring: 
    for (int i = 0; i < rs.size() * 2; i++) 
     cout << *it++ << endl; 
} ///:~ 

エラー：

Severity Code Description Project File Line Suppression State 
Error C2061 syntax error: identifier 'iterator' STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 16 
Error C2238 unexpected token(s) preceding ';' STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 16 
Error C2061 syntax error: identifier 'reference' STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 29 
Error C2079 'it' uses undefined class 'Ring<std::string,std::list<T,std::allocator<_Ty>>>::iterator' STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 77 
Error C2334 unexpected token(s) preceding '{'; skipping apparent function body STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 29 
Error C2027 use of undefined type 'Ring<std::string,std::list<T,std::allocator<_Ty>>>::iterator' STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 77 
Error C2228 left of '.insert' must have class/struct/union STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 79 
Error C2027 use of undefined type 'Ring<std::string,std::list<T,std::allocator<_Ty>>>::iterator' STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 80 
Error C2100 illegal indirection STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 83 
Error C2088 '<<': illegal for class STLCont d:\c++ projects\volume 2\stlcont\stlcont\ring.cpp 83 

Answer 1

問題は、デフォルトのテンプレート引数とは何の関係もありません - そのビットは正しいです。このコードはコンパイルされません

理由はY::iteratorは、依存型のであるということです、それはテンプレートパラメータYに依存していることです。これは、あなたのiterator内部クラスのメンバーリストで

typename Y::iterator it; 

、そしてあなたのiterator::operator*()宣言で

typename Y::reference operator*() const { ... } 

を言う必要があることを意味します。

これがなぜ必要なのかの詳細については、this questionを参照してください。