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

来看一段代码：

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<<标准输出，字符串数组指针，碰到''才会认为字符串结束（这也是为什么我们<<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记录的数组大小去释放理应是不会报错的.

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