C++ Gotchas 条款60:没能区分单体内存分配与数组内存分配

原创 2003年04月10日 09:28:00

Gotcha #60: Failure to Distinguish Scalar and Array Allocation<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

Gotcha条款60:没能区分单体内存分配与数组内存分配

 

单一个Widget与一个Widget数组是等同的吗?当然不是。那为何这么多C++程序员在发现“数组(arrays)与单个量(scalars)采用不同的运算符进行空间的分配和释放”时会感到吃惊?

 

我们都知道如何对单一个Widget进行空间分配和释放。我们使用new operatordelete operator

 

Widget *w = new Widget( arg );

// . . .

delete w;

 

new operatorC++中大部分其它运算符不同的是,其行为无法经由重载而被改变。new operator总是调用一个名为operator new的函数来(可想而知的)获取一些存储空间,并可能对该空间进行初始化。对于上述代码中Widget的情形,使用new operator将首先导致一个对operator new函数的调用,该函数接收一个size_t型别作为参数,然后唤起Widget构造函数施行于由operator new函数返回的未初始化存储空间,从而产生一个Widget对象。

 

代码中的delete operator 针对Widget唤起一个析构函数,然后调用一个名为operator delete的函数来(可想而知的)去配“现在已经消失的Widget对象原来所占用的那片存储空间”。

 

内存分配与去配的行为变化,是经由重载、替换或者隐藏operator new函数与operator delete函数来实现的,而不是通过修改new operatordelete operator的行为使然。

 

我们同样也知道如何对Widgets数组进行空间分配与释放。但我们不使用new operatordelete operator

 

w = new Widget[n];

// . . .

delete [] w;

 

不同之处在于,这里我们使用了new [] operatordelete [] operator(发音分别为“array new”和“array delete”)。与newdelete相同,array new operatorarray delete operator的行为是不可改变的。Array new首先唤起一个名为operator new[]的函数以获取一些存储空间,然后(如果必要的话)从数组的第一个元素直至最后一个元素,对每一个已分配空间的数组元素施行缺省的初始化动作。Array delete首先按照与初始化动作相反的次序销毁数组中的每一个元素,然后唤起一个名为operator delete[]的函数以归还(reclaim)存储空间。

 

顺带一提:应该注意,使用标准程序库提供的vector而非array,通常是更好的设计决策。vector 的效能几乎与array一样,并且还更加安全、灵活。一般说来,vector可以被看作是“灵巧的”array,与array具有相近的语义。唯有不同的是,vector在被销毁时,其元素是从头到尾被销毁的;而在array中,元素是按照相反的次序被销毁的。

 

内存管理函数必须妥当的配对使用。如果使用了new来获取存储空间,那么就应该使用delete来释放。如果使用了malloc来获取存储空间,那么就应该使用free来释放。将newfree一起,或者将mallocdelete一起使用于某个特定平台上的某些型别,在有些时候是可以“工作”的,但不存在任何保证使得这样的代码会继续正常工作下去。

 

int *ip = new int(12);

// . . .

free( ip ); // 错的!

ip = static_cast<int *>(malloc( sizeof(int) ));

*ip = 12;

// . . .

delete ip; // 错的!

 

数组的分配和删除遵循同样的配对规则。有一个常见的错误就是,使用array new分配一个数组之后又用scalar delete(用于单个量的delete)来进行释放。这种代码正如newfree的错配使用一样,或许在某个特定的情形之下可以侥幸工作,但诚然是不正确的做法,将来很可能会导致错误发生。

 

double *dp = new double[1];

// . . .

delete dp; // 错的!

 

应该注意的是,对于使用scalar delete(用于单个量的delete)删除数组的错误做法,编译器不会给出警告,因为其无法区分“指向数组的指针”与“指向单个元素的指针”。一般来说,array new会在为数组分配的内存之邻接位置插入一些额外信息,用以标明存储区块(block)的大小以及所分配数组中包含的元素个数。Array delete正是通过检视这些信息并由此来删除数组的。

 

(经由array new得到的)这种信息之格式也许不同于经由scalar new得到的信息之格式。如果唤起scalar delete来释放array new分配的存储空间,那么相应的关于空间大小和元素个数的信息就可能被scalar delete错误的解析,从而导致未定义结果——而其本来应该是由array delete进行解析的。Scalar形式的分配与array形式的分配也有可能使用了不同的内存池(memory pools)。倘若如此,那么使用scalar deletescalar pool归还一片分配于array pool的存储空间,就会导致灾难性的结果。

 

delete [] dp; // 对了!

 

这种在array分配与scalar分配两个概念上的闪失大意,也经常出现在用于内存管理的成员函数之设计中:

 

class Widget {

public:

void *operator new( size_t );

void operator delete( void *, size_t );

// . . .

};

 

Widget class的作者决心自己定制Widgets内存管理,但是却没有考虑到:array operator new函数和array operator delete函数与其对应的scalar形式的函数(scalar operator newscalar operator delete),实际上具有不同的名称(译注:scalar形式分别为operator new()operator delete();而array形式分别为operator new[]()operator delete[](),详见下文所述)。

 

Widget *w = new Widget( arg ); // OK

// . . .

delete w; // OK

w = new Widget[n]; // oops!

// . . .

delete [] w; // oops!

 

由于Widget class没有声明operator new[]operator delete[]函数,因此Widgets数组的内存管理将使用这些函数的global版本。这样可能就造成不正确的行为,而Widget class的作者则应该提供operator new[]operator delete[]的成员函数版本。

 

如果事实恰恰相反,上述恰好是意欲之中的正确行为,那么该类别的作者就应该向以后的维护者清楚的说明这个情况;否则的话,维护者就很可能会提供那些“遗失”的函数,试图“修正”这个“问题”。将这种设计决策文档化的最佳方法不是加注释,而是直接通过代码体现:

 

class Widget {

public:

void *operator new( size_t );

void operator delete( void *, size_t );

void *operator new[]( size_t n )

{ return ::operator new[](n); }

void operator delete[]( void *p, size_t )

{ ::operator delete[](p); }

// . . .

};

 

Array newarray deleteinline member function版本在运行期不会导致任何额外消耗;同时,即便是最粗心大意的维护者也能不二的确信作者的意图乃是“为Widgets唤起array newarray delete函数的global版本”,而不至于反复猜疑。

C++ Gotchas 条款60:没能区分单体内存分配与数组内存分配

Gotcha #60: Failure to Distinguish Scalar and Array AllocationGotcha条款60:没能区分单体内存分配与数组内存分配 单一个Widg...
  • hejishan
  • hejishan
  • 2008年04月01日 16:36
  • 132

递归 内存分配 指针

http://blog.csdn.net/changbaolong/article/details/6928140 最近写了一些代码,但从编程的角度看,遇到问题最多的就是递归、内存的动态分配以及指针...
  • miao6664659
  • miao6664659
  • 2012年10月20日 22:41
  • 788

C#数组变量的内存分配

原则:1、简单的值类型的数组,每个数组成员是一个引用(指针),引用到栈上的空间(因为值类型变量的内存分配在栈上)2、引用类型,类类型的数组,每个数组成员仍是一个引用(指针),引用到堆上的空间(因为类的...
  • todototry
  • todototry
  • 2009年12月05日 17:44
  • 3356

c/c++中内存分配

在任何程序设计环境及语言中,内存管理都十分重要。在目前的计算机系统或嵌入式系统中,内存资源仍然是有限的。因此在程序设计中,有效地管理内存资源是程序员首先考虑的问题。 第1节主要介绍内存管理基本概念,...
  • msdnwolaile
  • msdnwolaile
  • 2016年02月21日 17:30
  • 904

数组内存分配。

加的群有人问数组的元素的地址关系。  我错了!! 在这里解答一下: int arr[4]; &arr[1] = arr[0] + sizeof(int) ; 静态分配, 即普通数组, 由于在栈中分...
  • a130737
  • a130737
  • 2015年03月11日 15:39
  • 463

c++ STL容器的内存分配

一.前言在使用STL各类容器的时候,有时会出现迭代器失效,引用(指针)失效等情况的而发生,即使看似你的操作都是合法的情况下。要了解问题的原因,我们就要了解C++中stl容器的内存分配策略。我们才知道在...
  • y1196645376
  • y1196645376
  • 2016年10月27日 23:59
  • 1727

《深入理解Java虚拟机》读书笔记——内存分配与回收策略

概述JVM采用分代的垃圾回收策略:不同对象的生命周期是不一样的。目前JVM分代主要是分三个年代: 新生代:所有新创建的对象都首先在新生代进行内存分配。新生代具体又分为3个区,一个Eden区、一个Fro...
  • zinss26914
  • zinss26914
  • 2015年08月17日 11:21
  • 1377

C++内存分配和管理

[导语] 内存管理是C++最令人切齿痛恨的问题,也是C++最有争议的问题,C++高手从中获得了更好的性能,更大的自由,C++菜鸟的收获则是一遍一遍的检查代码和对C++的痛恨,但内存管理在C++中...
  • Jeson_Mei
  • Jeson_Mei
  • 2016年08月16日 11:05
  • 2490

C++几种内存分配方法的效率测试与比较

这几天做的一个项目要频繁new许多对象,对于频繁调用new对效率的影响只停留在理论上,没有一个直观的认识,故做了一个小测试。本次测试只对比了三种内存分配方式: 1. 频繁调用new 2. 一次性ne...
  • yeosn
  • yeosn
  • 2013年12月24日 22:32
  • 1081

c++学习笔记(5)——关于三种内存分配方法

1、第一种:自动分配内存,常与局域变量联系在一起,一个局域变量值在程序执行到该变量定义的时候才会由系统自动分配内存给它,当包含该变量的定义的模块结束的时候,该变量占用的内存自动释放。需要注意的是:当一...
  • leonhe27
  • leonhe27
  • 2016年05月21日 09:49
  • 391
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:C++ Gotchas 条款60:没能区分单体内存分配与数组内存分配
举报原因:
原因补充:

(最多只允许输入30个字)