free 实现不同?

chenzhanyiczy

1. gcc 的时候，怎样查看链接的是哪个C库，比如:glibc 或者 libc等等

2. p1=p2=malloc(..); ...; free(p1); free(p2);

在aix 中运行时没有报错， 在linux中报错。 在aix中是用xlC 实现编译，linux用gcc编译

这个是应该与编译时链接的C库有不同？ 也就是C库的实现不一样？

OwnWaterloo

2. p1=p2=malloc(..); ...; free(p1); free(p2);
对同一地址释放2次， 本来就是未定义行为。

在aix 中运行时没有报错， 是运气好 ……

chenzhanyiczy

原帖由 OwnWaterloo 于 2009-4-21 22:57 发表
2. p1=p2=malloc(..); ...; free(p1); free(p2);
对同一地址释放2次， 本来就是未定义行为。

在aix 中运行时没有报错， 是运气好 ……

这个跟C库的实现有没有关系？

OwnWaterloo

有关系。

有的C库， 会检查对地址的重复释放。 可能会报告出这个错误， 也可能保持沉默。
另外一些C库， 就不允许对同一地址重复释放。


如果你只使用上面一类C库， 就可以这么写：
p1=p2=malloc(..); ...; free(p1); free(p2);

如果你打算移植到其他C库， 就要修改源代码， 禁止上面的对同一地址重复释放。
因为其他C库（以及C标准）， 都没有对”同一地址重复释放“， 的行为作出任何保证。
它们作任何行为——比如挂掉程序—— 都是合理的。

chenzhanyiczy

原帖由 OwnWaterloo 于 2009-4-21 23:30 发表
有关系。

有的C库， 会检查对地址的重复释放。 可能会报告出这个错误， 也可能保持沉默。
另外一些C库， 就不允许对同一地址重复释放。


如果你只使用上面一类C库， 就可以这么写：
p1=p2=malloc(..); ...

恩，对于gcc来说，默认链接的C库 是 libc.a 还是glibc.a ??

OwnWaterloo

这个我就不了解了 ……  我平时不怎么用gcc的……

可以试试 gcc -v
看看配置里面有没有说默认是链接到哪个库？

如果不行， 就只能等待其他用gcc的人来回答了~~~

xinglp

原帖由 chenzhanyiczy 于 2009-4-21 22:26 发表
1. gcc 的时候，怎样查看链接的是哪个C库，比如:glibc 或者 libc等等

2. p1=p2=malloc(..); ...; free(p1); free(p2);

在aix 中运行时没有报错， 在linux中报错。 在aix中是用xlC 实现编译，linux用gcc编 ...

aix中只是暂时没有出错,等出错的时候都不知道去哪里找, 一般都是你下次malloc(),free()的时候出错,到时候你会抱怨malloc(),free()有bug

Blueskin

...
...
free(curr_node);
curr_node->prev->next = curr_node->next;
...

有些编译器是可以这样的，但是这样实际是不对的。
不要钻编译器的空子，不要耍它，不然它不一定什么时候会耍人。

chenzhanyiczy

原帖由 Blueskin 于 2009-4-22 01:42 发表
...
...
free(curr_node);
curr_node->prev->next = curr_node->next;
...

有些编译器是可以这样的，但是这样实际是不对的。
不要钻编译器的空子，不要耍它，不然它不一定什么时候会耍人。

这个应该不关编译器的事，是与C库有关系,只是aix上和linux上的C库不同

prolj

free 实现不同