相关疑难解决方法(0)

访问其边界之外的数组有多危险(在C中)？有时候我会从数组外部读取(我现在理解我然后访问我的程序的某些其他部分使用的内存,甚至超过它)或者我试图将值设置为数组之外的索引.该程序有时会崩溃,但有时只是运行,只会产生意想不到的结果.

现在我想知道的是,这真的有多危险？如果它损坏我的程序,那就不是那么糟糕了.另一方面,如果它打破了我的程序之外的东西,因为我以某种方式设法访问一些完全不相关的内存,那么它是非常糟糕的,我想.我读了很多"任何可能发生的事情","分割可能是最不好的问题","你的硬盘可能会变成粉红色,独角兽可能会在你的窗下唱歌",这很好,但真正的危险是什么？

我的问题:

1. 从阵列外部读取值会损坏我的程序之外的任何东西吗？我想象只是看事情不会改变任何东西,或者它会改变我碰巧触及的文件的'last time opened'属性？
2. 除了我的程序之外,在数组外部设置值可以破坏任何东西吗？从这个 Stack Overflow问题我收集到可以访问任何内存位置,没有安全保证.
3. 我现在从XCode中运行我的小程序.这是否为我的程序提供了一些额外的保护,它无法到达自己的内存之外？它会伤害XCode吗？
4. 有关如何安全地运行我的固有错误代码的任何建议？

我使用OSX 10.7,Xcode 4.6.

我正在阅读着名的Undefined Behavior会导致时间旅行发布并注意到这一部分:

首先,您可能会注意到循环控件中的逐个错误.结果是函数在放弃之前读取一个超过表数组末尾的函数.经典的编译器不会特别在意.它只会生成读取越界数组元素的代码(尽管事实上这样做违反了语言规则),如果超过数组末尾的内存碰巧匹配,它将返回true .

另一方面,后经典编译器可能会执行以下分析:

通过循环的前四次,函数可能返回true.

当我是4时,代码执行未定义的行为.由于未定义的行为让我可以做任何我想做的事情,我可以完全忽略这种情况并继续假设我从来没有4.(如果假设被违反,那么会发生一些不可预测的事情,但这没关系,因为未定义的行为授予我许可无法预测.)

根据这篇文章,(较新的)编译器已经可以在编译时对未定义的行为起作用,这意味着它在某些情况下完全能够发现未定义的行为.通过消除UB代码或仅仅改变它来让恶魔飞出你的鼻子或产生龙,而不是让它为什么不允许编译器发出警告,这可能不是故意的？