C++ delete []p 数组指针,如何知道该数组大小的

本来只是一时兴起,想动手整整大学学的很渣的C++,可是一段小小的代码缺牵扯出一堆问题来,好有趣。

来看一段代码:

void main()    
{
    char p[6];
    char *buf = new char[4];
    strcpy(buf,"012356789");//这里越界不会报错
    strcpy(p,"Hello"); //若此处越界立即报错
    
    cout<<p<<endl;
    cout<<buf<<endl;
    
    delete []buf;  //buf拷贝越界,这里释放数组报错
}

第一个问题:为什么数组指针buf在拷贝越界的时候(所指向的数组大小只有4,而拷贝进去的大小却是11),为何打印的时候也没有报错呢?

  这个问题百度还是很好找,cout<<标准输出,字符串数组指针,碰到‘\0‘才会认为字符串结束(这也是为什么我们<<buf就可以直接将整个字符串打印出来,buf不是指数组首地址吗?),越界拷贝虽然违规了,但是运行还是没有问题,

因为我们只是可以读取越界后的字符而已。

第二个问题:为什么我们delete []buf会报错?

  我们可以看到到指针buf指向的数组大小只有4个字节,但是如果只delete 这四个以分配好的字节空间应该也不会有问题啊,肯定有什么地方给扰乱了。

第三个问题:那编译器是怎么知道这个数组大小的?

  这个问题承接第二个问题,因为通过指针我们是没法知道它所指向的对象的大小的。

  根据Inside The C++ Object Model上所言,现在的编译器大多使用两种方法, 一种是cookie, 一个记录分配空间大小的内存小块绑定在分配内存的地址头部。二是使用表来对分配了的指针进行管理,每一个分配了空间的指针都在表中对应着分配空间的大小。

  在VC 上,是通过第一种方式记录的,即:VC对于数组的大小信息存放在:"数组首地址 - 4 * sizeof(int)"之中,我们可以添加以下代码:

cout<<"begin print size = "<< *reinterpret_cast<int*>(reinterpret_cast<char*>(buf) - 4 * sizeof(int))<<endl;

在这里你可以更改前面代码*buf指针所指向数组初始化时的大小,会发现这里都会与之相同,而不管strcpy拷贝的时候往数组地址边界后塞了多少东西。

那这样来看,编译器如果只根据cookie记录的数组大小去释放理应是不会报错的.

至于原因,我目前还不清楚,欢迎各位看官指点迷津.....

C++ delete []p 数组指针,如何知道该数组大小的,古老的榕树,5-wow.com

郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。