由C++ assign()函数引出的一个问题

今天学习了下C++的assign（）函数。从字面上来说，assign（）函数是给容器进行分配新的空间，把新的值拷贝到容器内。恰好发现一篇学习博客（http://blog.csdn.net/airfer/article/details/7708276）。

该博客上代码如下：

//关于assign的函数的好处，应该很好理解就是在不能使用赋值符“=”的情况下，可以将一个容器中的部分元素通过迭代器传递赋值到另一个容器中，但是在assign的使用过///程中，有一点需要特别注意，就是调用assign（）函数的容器必须有足够的空间来容纳复制过来的元素，下面通过例子来说明这一点：
//Exercise
//9.28:
//编写程序将一个 list 容器的所有元素赋值给一个vector 容器，其中 list 容器中存储的是指向 C 风格字符串的 char* 指针，而 vector 容器的元素则是 string类型。  


代码如下：
#include <iostream>
#include <vector>
#include <list>
#include <string>

using namespace std;

int main()
{
char *ca[]={"i","really","love ","you"};
  list<char*> clist(ca,ca+4);
  list<char*> ::iterator list_ter=clist.begin();
  vector<string> svec;  //这个地方需要特别注意！！！
  vector<string> ::iterator ster=svec.begin();
  svec.assign(clist.begin(),clist.end());
 /* while(ster!=svec.end())
  {
     cout<<*ster++<<" ";
  }
  cout<<endl;*/

  if(!svec.empty())
{
  for( ;ster!=svec.end();ster++)
  cout<<*ster<<" ";
  cout<<endl;
}
else
  cout<<"svec is empty!"<<endl;
  while(list_ter!=clist.end())
  cout<<*list_ter++<<" ";
  cout<<endl;
}

我运行了下该该代码，发现该代码在运行到

for( ;ster != svec.end(); ster++)
    cout<<*ster<<" ";

时出错。

作者给的解释时需要给vector重新分配空间，但据我所知，所有的STL容器都有自己的内存分配器，需重新分配空间一说太牵强。

随后，我改下代码，在

for( ;ster!=svec.end();ster++)
    cout<<*ster<<" ";

前面加上代码

for( vector<string> ::iterator sterTmp = svec.begin();;sterTmp != svec.end(); sterTmp++)
    cout<<*sterTmp<<" ";

代码成了

#include <iostream>
#include <vector>
#include <list>
#include <string>

using namespace std;

int main()
{
char *ca[]={"i","really","love ","you"};
   list<char*> clist(ca,ca+4);
   list<char*> ::iterator list_ter=clist.begin();
   vector<string> svec;  //这个地方需要特别注意！！！
   vector<string> ::iterator ster=svec.begin();
   svec.assign(clist.begin(),clist.end());
 /* while(ster!=svec.end())
   {
      cout<<*ster++<<" ";
   }
   cout<<endl;*/

  if(!svec.empty())
{

for( vector<string> ::iterator sterTmp = svec.begin();;sterTmp != svec.end(); sterTmp++)
    cout<<*sterTmp<<" ";

   for( ;ster!=svec.end();ster++)
    cout<<*ster<<" ";
   cout<<endl;
}
else
  cout<<"svec is empty!"<<endl;
  while(list_ter!=clist.end())
   cout<<*list_ter++<<" ";
  cout<<endl;
}

发现代码在for( vector<string> ::iterator sterTmp = svec.begin();;sterTmp != svec.end(); sterTmp++)
    cout<<*sterTmp<<" ";

运行正常。

我怀疑是迭代器本身的问题，于是，又加了一行代码，代码如下：

#include <iostream>
#include <vector>
#include <list>
#include <string>

using namespace std;

int main()
{
char *ca[]={"i","really","love ","you"};
   list<char*> clist(ca,ca+4);
   list<char*> ::iterator list_ter=clist.begin();
   vector<string> svec;  //这个地方需要特别注意！！！
   vector<string> ::iterator ster=svec.begin();
   svec.assign(clist.begin(),clist.end());
 /* while(ster!=svec.end())
   {
      cout<<*ster++<<" ";
   }
   cout<<endl;*/

  if(!svec.empty())
{

for( vector<string> ::iterator sterTmp = svec.begin();;sterTmp != svec.end(); sterTmp++)
    cout<<*sterTmp<<" ";

ster = svec.begin();
for( ;ster != svec.end();  ster++)
cout<<*ster<<" ";
cout<<endl;
}
else
  cout<<"svec is empty!"<<endl;
  while(list_ter!=clist.end())
   cout<<*list_ter++<<" ";
  cout<<endl;
}

发现程序运行正常。

仔细分析内存，发现迭代器本身有个指针，指向容器的空间。指针在vector<string> ::iterator ster=svec.begin(); 处值为空，在第二次赋值时，该指针获得了相应值。

继续分析：原来，vector在进行内存分配的时候，会把begin（）和end（）发生变化。原来的迭代器内指针指向为空，现在，容器发生了内存的变化，再用原来的迭代器自然会发生内存越界。

~