STL——常见的一些问题

Q：以下两种定义方式，在进行map.clear（）的时候，内存释放上有啥不同？
     typedef map<CString,CFileAttribute> MAPStr2FileAttr;
     typedef map<CString,CFileAttribute *> MAPStr2FileAttr; 
A：
   clear()相当于earse(m.begin(),   m.end());
   若定义的map的存储对象是一个类对象：
   拷贝是整个STL（Standard Template Library，标准模板库）工作的方式，所以容器中保存的是副本，而不是要添加的对象本身。对象原件在副本拷贝存放结束后便可以结束生命，而在使用clear（）的时候，对象副本会去走到析构函数，进行对象内部的内存释放。clear()后，对象拷贝被析构，剩下的只是raw   memory，即没有被初始化的内存，它们将被归还到stl的内存分配器alloc里的（记得吗，vector/list等所有容器都有一个alloc参数的，就是这东西），容器本身已经不再拥有这块内存了。内存归还了，只不过不是归还入系统堆而已。（除了vector不能（自动）释放内存，其它STL容器都会在每一个erase动作后释放一块内存。）
   若定义的map存储对象是一个类对象的指针：
   这时一般不能采用clear()函数，因为clear()不会自动释放原来对象所占用的内存。这时可以使用erase()辅助delete语句进行元素删除和内存释放。
  上面这句话我是这样理解的，因为存入的是指针，这个指针指向一块区域（new出来的，eg：class A， A *a = new A（）），但是毕竟map里面的value值是个指针，就是一个地址而已，因此在clear的时候只是把指针清除掉了，而指针指向的内容依旧存在。因此一般要在clear之前先释放掉这些个指针指向的空间。
   另外使用的是类对象指针时，还需要维护这个指针不受到破坏。
 
小结：
   如果用容器存副本，则容器销毁的时候，副本也会自动被删除。
   如果用容器存指针，则容器销毁的时候，不会删除这些指针所指向的对象，因此必须先手工删除完毕之后，再销毁容器。
 
 
Q:  对由key得到的value对象，没有办法改变其中的数值吗？？
    例如下代码：
    //srcfileAttribute.nIndex初始为0
    CFileAttribute srcfileAttribute = m_mapKeyVsFile[“abc”];
    srcfileAttribute.nIndex++；
    但是再次
    CFileAttribute srcfileAttribute = m_mapKeyVsFile[“abc”];
    发现这个srcfileAttribute.nIndex还是0；并没有变成1，
    这是为什么呢？？
    难道说我不能这样直接改map里面的value值吗？必须删除重新insert一个？？
 
A:
    srcfileAttribute = m_mapKeyVsFile[“abc”];此时srcfileAttrbute是通过map中值的拷贝构造函数构造的一个新的对象，这个副本的改变不影响map中的值，要改变map中的值可以直接m_mapKeyVsFile[“abc”].nIndex++;
    如果用容器存副本，其存入、取出的过程是通过拷贝构造函数 和 赋值操作符来进行的。。。
 
 
 
Q:   我采用map<CString,CFileAttribute> 这种方式，既map的value值为CFileAttribute对象，
     但是在进行insert的时候程序却报错...
     例如以下代码：
     typedef map<CString,CFileAttribute> MAPStr2FileAttr;
     MAPStr2FileAttr m_mapKeyVsFile;


     szFilePath = "abc";
     CFileAttribute FileAttr;
     FileAttr.m_str = "nidfjasdkljfsdk";


     m_mapKeyVsFile.insert(pair <CString,CFileAttribute> (szFilePath, FileAttr));


     在执行insert的时候提示 _BLOCK_TYPE_IS_VALID 的错误，从网上查了下发现把CFileAttribute 的析构函数弄掉就OK了...
     这是为什么呢？？不是存入map的是原对象的副本吗，怎么还会涉及到析构函数？？
 
A：
   如果用容器存副本，其存入、取出的过程是通过拷贝构造函数和赋值操作符（详解查看operator操作符重载）来进行的。
  如果你没有显式地提供这两者，则使用缺省的拷贝构造函数和赋值操作符，其实现方式为：内存复制。例如：假若你没有提供CFileAttribute::operator=（重载赋值操作符），那么语句fileAttribute1 = fileAttribute2就相当于：memcpy(&fileAttribute1, &fileAttribute2, sizeof(CFileAttribute))。如果你的CFileAttribute仅包含简单变量，例如：
class CFileAttribute
{
  int i;
  double d;
};
那么memcpy没什么不妥。但假若你的CFileAttribute中包含（或者嵌套包含）指针，那么就可能有问题了，因为指针的复制并不等于内存块的复制，因此你必须显示地提供一个CFileAttribute::operator=，并且在其中把指针所对应的内存块也复制一遍，这才是真正的副本（此时这两个副本内的指针反而是不相等的，因为分别指向不同的内存块），其中任何一个副本的销毁（一般会在析构函数中把其指针所指向的内存块同时销毁）都不会影响到另一个副本的独立存在，既采用的是深拷贝（详解参看 深拷贝与浅拷贝）。
你的CFileAttribute::m_str显然是CString类型，而CString内部当然是一个指针，因此缺省的、memcpy方式的拷贝构造函数以及赋值操作符一定会出问题。你必须显式提供自己的拷贝构造函数以及赋值操作符。
 
 
 
PS：我在使用map模板类时碰到的一个问题：
使用map时vc6居然跳出了上百个warning C4786，上网查找才知道这个是vc的bug，由于stl里用的字符串过长，vc搞不定，呵呵，虽然可以不去管，但是如果程序出错误，要在上百条的warning找到错误信息还是很困难的。有人说用#pragma warning(disable: 4786)可以去掉，但是实验了一下居然不行，后来发现一个老外说要把这句话放到所有stl头的include之前，于是照办，果然可以，^_^老外就是敬业~~


 
 
**************************************************************************************
 
 
pair
pair同 map、set、mulitmap、multiset一样是关联容器
1 pair的应用
pair是将2个数据组合成一个数据，当需要这样的需求时就可以使用pair，如stl中的map就是将key和value放在一起来保存。另一个应用是，当一个函数需要返回2个数据的时候，可以选择pair。 pair的实现是一个结构体，主要的两个成员变量是first second 因为是使用struct不是class，所以可以直接使用pair的成员变量。
std::pair模型
template   <class T1,  class T2>  
  struct   pair  
  {  
      T1   first;  
      T2   second;  
  };   
  
2 make_pair函数
template pair make_pair(T1 a, T2 b) { return pair(a, b); }
很明显，我们可以使用pair的构造函数也可以使用make_pair来生成我们需要的pair。一般make_pair都使用在需要pair做参数的位置，可以直接调用make_pair生成pair对象很方便，代码也很清晰。另一个使用的方面就是pair可以接受隐式的类型转换，这样可以获得更高的灵活度。灵活度也带来了一些问题如：
std::pair<int, float>(1, 1.1);
std::make_pair(1, 1.1);
是不同的，第一个就是float，而第2个会自己匹配成double。