为什么编译器推迟std :: list deallocation？

Question

我有以下代码使用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

Answer 1

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

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