动态分配内存——Ada应用实例之十二

动态分配内存——Ada应用实例之十二

　　C++中可以用操作符new在堆上动态创建一个对象，这实际上是获得了一块内存空间，并有一个指针指向这块内存。正常情况下，我们对这块内存的操作不能越界。然而，由于疏忽可能没有创建足够的空间，这时就可能出现操作越界。遗憾的是，C++编译器不会检测这类错误，运行出错时也不易找到原因。

　　一个帖子（http://topic.csdn.net/u/20110111/19/f546fdb1-e23d-4626-a57b-1033438ce071.html
）报告了调试中的奇怪现象，在VC6 下debug单步看变量x和y的值都正确，去掉断点后直接执行时变量y的值不正确，如果交换x与y的相关语句，则结果都正确。

　　这个问题可以用以下的简单程序来复现：
int *p = new int;
p[10] = 1234;
cout << "check p[10]" << endl;
cout << p[10] << endl;

　　第1行语句的正常写法是“int *p = new int[11];”，但由于漏了[11]，实际只获得了一个int的空间，随后的语句“p[10] = 1234”成了越界操作。debug单步执行到最后p[10]的值仍是1234，但连续执行时最后显示p[10]的值是512。由于在执行“cout << "check p[10]" << endl;”时用到了p[10]指向的单元，所以1234被改写为512。

　　Ada语言中也有操作符new，也是用于动态创建对象。但Ada不允许编写“p[10] ：= 1234;”这样的赋值语句。首先，Ada不允许定义一个指针来指向匿名数组。必须先定义一个数组类型，指明该数组的分量类型和下标范围。其次，Ada将对超出范围的下标提出警告。对于上面的例子，用Ada要如下编写：

procedure main is
type array_10 is array (1 .. 10) of Integer;
p : access array_10 := new array_10;
begin
p(10) := 10;
p(11) := 11; --编译警告这行在运行时将引发异常。
end main;