刚刚在写一小程序，发现了一个问题，弄了半天，才发现自已错在哪
共享一下。
下面是问题的简化

int main(int argc, char **argv)
{
    char *p = new char[sizeof("hello,world")];
    strcpy(p,"hello,world");
    delete[] p;

    return 0;
}
运行后，会出现错误，不能执行下去。
跟踪了后现在delete 这里出问题了。
开始不思其解
如果去掉strcpy(p,"hello,world");这一句问题就没了
跟踪delete发现确实是里面错了。
后来改了一下
char *p = new char[sizeof("hello,world") + 1];
问题解决了。

思考：
开始一直以为delete这个语句执行时会查new 申请的情况，然后再来delete
但是却发现没有，如 delete字符串只是 delete 到字符串的0x0处。
这样的内存管理应该是存在问题的，可能会造成内在泄露，或都出现我上面的问题。
如果用查表技术，每次new时把其申请的内存地址及申请空间大小存入一个表中
下次delete时只要查一下表就可以不会造成上面的问题了。

当然这样效率可能会低一点。估计是C++将这个问题丢给用户自已去解决了。

刚刚接触C++，以前都是用C的。
看来C++的博大不是一会就能体会得到了。


[ 此贴被zhoubaozhou在2007-08-23 21:36重新编辑 ]

但是如果是这样写
int *k = new int[10];
那么delete如何判别要释放多少内存？

望GG们挂教
不想跟踪delete下去
汇编太烦了

Quote:

引用第3楼kangtalc于2007-08-23 21:11发表的  :
这其实根本就不是DELETE的问题啊
其实问题出在strcpy
你申请的内存空间只有11字节
strcpy中的源字符串常量"hello,world"是12个字节（外加一个)
你用12个字节的字符串常量复制到只有11个字节的空间中当然会出错
.......

不是strcpy错
是new 申请内存里会多申请一个字节来保存一个额外的信息用来delete。
delete通过这个额外的信息就可以判断new申請的內在大小了
像int *k = new int[10];
它會申請11個int
最後一个k[10]就是保存一个码给delete识别的
刚刚试了一下验证了这个想法
将k[10]改成其它值就会出错
改回来这没事了

Quote:

引用第4楼chenyukang于2007-08-23 21:16发表的  :

strcpy会自动增加一个 ？

它会复制完0x0才停止，

Quote:

引用第6楼kangtalc于2007-08-23 21:18发表的  :


不是换行啊，是要占一个字节的啊，因为要复制的'hello,world"是个字符串常量，加上个就是12字节啊
但是new的那个sizeof只算了11个字节啊，没有算上，所以要sizeof之后+1为留一个字节就不会出错了嘛

cout<<sizeof("hello,world")<<endl;
是12没错
sizeof会算到0x0

Quote:

引用第11楼kangtalc于2007-08-23 21:22发表的  :


不会吧。。。。

没错，在VC++6.0里是这样的
其它编译器应该一样啊
我估计问题就是
new delete的实现这里了。
delete只能通过在字符串后面再加一个标识符来判断其长度。
strcpy复制过去时，刚好破坏了这个标识符
所以new申请时，要比想要的空间多申请一个单位的内存

Quote:

引用第13楼chenyukang于2007-08-23 21:26发表的  :

是12。。。。

用g++确实没发现错误啊。。。
都没警告。。
.......

那就应该是delete不同编译器的实现不同了
楼上的GG用的是GCC吧，呵呵，微软的东西～～～
有时间分析一下new 还有 delete的实现

怪了，有时有问题，有时又没有～～～～

int main(int argc, char **argv)
{
    char *p = new char[sizeof("hello,world")];
    p[sizeof("hello,world")] = 0x0;//改动了这里，delete就会出问题，估计是破坏了识别信息了

    strcpy(p,"hello,world");
    delete[] p;

    return 0;
}

Quote:

引用第17楼chenyukang于2007-08-23 21:34发表的  :
new 申请的肯定不是以0x0开始的啊...

不是，诡异的C++
还是去研究一下它的实现算了。
我估计是new会在申请的结尾标上一个标识符，
delete会去找到这个标识符，再去释放
只是我的想法，不知道对不对

Quote:

引用第20楼lxlcn于2007-08-24 16:23发表的  :
发现在我的VC6.0上没有问题．
p[sizeof("hello,world")] = 0x0;这句是错的吧

没有，我就是要破坏字符串0x0后那一个字节，这样delete就会出错了
编译是没问题的
运行会出错

Quote:

引用第22楼lxlcn于2007-08-24 19:16发表的  :

我记得那个标志是在前边的吧？
你看一下内存就知道了，你强改了之后，那个标志没有变的，
感觉后边delete就是因为标志没有变长而出错．

非常感谢，你的说法很有道理，有可能就是这样实现的。
什么时候把C++实现的源码下下来，看一下具体的实现
应该它是用最简单的方法来实现的，为了效率
再次谢谢lxlcn

但是有一个问题，用这样来实现标记，那内存管理不是很麻烦？
如果是我，我会这样实现
[标记]XXXXXX
指针指向第一个X处，delete时，只要查一下X前面的标记就可以知道要delete多少个字节了
一点陋见

还是看一下源码

跟踪了一下，标记是在申请内存的后面
如申请
XXXXXXXXXX
这些空间，申请后会在其后面加
FD FD FD FD这样的标识
delete后
变成EE FE EE FE