为什么在 C 语言里面动态分配的空间被填满之后再加一个字符不算越界？

[dddd]

代码如下：

int i;
char *result = (char*)malloc(3*sizeof(char));
memset(result, 0, 3*sizeof(char));
for (i = 0; i < 3; i++) {
    result[i] = 'a';
}
result[index] = '#';

为什么不报错？

[mintist]

给你自由，自己把握

[way2exluren]

加句free(result )；应该会崩溃

[yaoc]

@way2exluren
应该不会，因为result指向的还是一开始分配给它的内存

[way2exluren]

@yaoc 你去试试。。。。

[way2exluren]

@yaoc 分配好的内存前后都有几个自己是用来管理内存的。覆盖了以后，free再重新整理内存快的时候会出错。。

[yaoc]

@way2exluren 我试了，没有什么问题

[alphonsez]

试试看多越界一点，估计就出问题了。这种问题会藏的很深，到时候真崩溃了很难找。一个字节的这种，搞不好还能来个heartbleed.

[Heartwork]

1 因为malloc在分配的内存是16字节补齐的。所以就算你访问了后面的几个字节，也还是在有效内存范围内。

2 即使你访问了多于16字节的非法空间，还是需要根据brk或sbrk查看数据段末端的地址，如果超过这个值，就会有内存访问异常了。