c – 为什么编译器推迟std :: list deallocation?

我有以下代码使用std :: list容器测试内存释放:
#include <iostream>
#include <list>
#include <string>

#include <boost/bind.hpp>

/* count of element to put into container
 */
static const unsigned long SIZE = 50000000;

/* element use for test
 */
class Element
{
public:
    Element()
    : mId(0)
    {}
    Element( long id )
    : mId(id)
    {}
    virtual ~Element()
    {
    }
    inline long getId() const
    {
        return this->mId;
    }

    inline bool operator<( const Element & rightOperand ) const
    {
        return this->mId < rightOperand.mId;
    }

    inline bool isEven() const
    {
        return 0 == ( this->mId & 1 );
    }

private:
    long mId;
};

typedef std::list< Element > Elements;

int main( int argc,char * argv[] )
{
    std::string dummy;
    {
        Elements elements;

        std::cout << "Inserting "<< SIZE << " elements in container" << std::endl;
        std::cout << "Please wait..." << std::endl;

        /* inserting elements
         */
        for( long i=0; i<SIZE; ++i )
        {
            elements.push_back( i );
        }

        std::cout << "Size is " << elements.size() << std::endl;
        std::getline( std::cin,dummy); // waiting user press enter

        /* remove even elements
         */
        elements.remove_if( boost::bind( & Element::isEven,_1 ) );

        std::cout << "Size is " << elements.size() << std::endl;
        std::getline( std::cin,dummy);
    }

    std::getline( std::cin,dummy);

    return 0;
}

运行此代码为我提供了以下内存配置文件:

看起来gcc正在推迟释放,在我的测试程序中,最终它没有选择并在返回命令行之前释放内存.

为什么解除分配发生得这么晚?

我已经尝试使用矢量来测试另一个容器,并且缩小到适合的技巧可以工作,并在我期望时释放释放的内存.

gcc 4.5.0,linux 2.6.34

解决方法

大多数操作系统(包括Linux)只允许进程分配相当大的内存块,而不是非常小的内存;即使有可能,制作许多小型分配比大型分配更为昂贵.通常,C库将从操作系统中获取大块,并使用它自己的堆管理器将它们的一小部分分配给程序.一旦被分割出来,大块通常不会返回到操作系统;它们将继续分配给流程,并将重新用于将来的分配.

list以小块(每个节点一个)分配内存,因此通常在程序退出之前不会释放分配的内存. vector可以直接从操作系统获取其内存作为单个大型分配,在这种情况下,它将在取消分配时释放.

相关文章

本程序的编译和运行环境如下(如果有运行方面的问题欢迎在评...
水了一学期的院选修,万万没想到期末考试还有比较硬核的编程...
补充一下,先前文章末尾给出的下载链接的完整代码含有部分C&...
思路如标题所说采用模N取余法,难点是这个除法过程如何实现。...
本篇博客有更新!!!更新后效果图如下: 文章末尾的完整代码...
刚开始学习模块化程序设计时,估计大家都被形参和实参搞迷糊...