C++、std :: copyとtemplates

Question

私はテンプレートとSTLを使って実験を行っています。これは...

template <typename Item> 
struct TList 
{ 
    typedef std::vector <Item> Type; 
}; 

template <typename Item> 
class Cont 
{ 
private: 
    typename TList <Item>::Type elements; 

public: 
    void push_back (const Item & p) {elements.push_back (p);} 

    typename TList <Item>::Type ::iterator 
     copy (typename TList <Item>::Type ::iterator first, 
       typename TList <Item>::Type ::iterator last, 
       typename TList <Item>::Type ::iterator result) 
     { 
      elements.resize(elements.size() + last - first); //Exception 
      return copy (first, last, result); 
     } 

     typename TList <Item>::Type ::iterator begin() { return elements.begin(); } 
}; 

しかし、コピー操作中に

int main() 
{ 
    Cont <double> cont; 
    cont.push_back(1); 
    cont.push_back(2); 

    TList <double>::Type v; 
    v.push_back(3); 
    v.push_back(4); 
    cont.copy(v.begin(), v.end(), cont.begin()); //Exception 
    cont.copy(v.begin(), v.end(), cont.end()); //Exception 

    return 0; 
} 

私のテストコードでプログラムが実行時例外が発生します。エラーを見つけるのを助けてくれますか？

Exception: Vector iterator + offset out of range... 

Answer 1

式：

elements.size() + last - first 

は以下のように評価される：第一の加算の結果は、（デバッグモードで）例外をトリガベクトルの境界を超えてイテレータ、あろう

(elements.size() + last) - first 

。あなたはこれを試みることができる：

elements.size() + (last - first) 

以上のSTLのようなアプローチ：

elements.size() + std::distance(first, last) 

Answer 2

問題は、あなたのcopy方法は、それによってあなたが無効にそれを渡されたイテレータを作り、ベクトルのサイズを変更することに起因します。