循环中数组的行为

Behavior of Arrays in a Loop

本文关键字：数组 循环      更新时间：2023-10-16

我是这个论坛的新手，我想问为什么这个数组的行为与我预期的不同？

int main() {
int array[8]={3,5,5,6,6,5,3,5};
for(int i=-1;i<=8;i+=2) {
std::cout<<array[i+1];
}
return 0;
}

其输出为：35637

我不知道为什么结果是这样的，尤其是索引 8 的最后一部分，即值为 7......

数组有 8 个条目，位置如下：

array[8] = {3, 5, 5, 6, 6, 5, 3, 5}
^  ^  ^  ^  ^  ^  ^  ^
(position) 0  1  2  3  4  5  6  7

你的循环从i = -1开始，一直持续到i <= 8，每次i增加 2，所以i取值 -1、1、3、5 和 7。由于您正在访问元素array[i+1]，因此您要求位置 0、2、4、6 和 8 处的元素。但是没有位置 8，所以这是一个错误，程序的行为通过包含它变得未定义，这意味着实际上任何事情都可能发生，即使在与非法调用本身不同的地方(这显然非常糟糕，必须始终避免(。

在您的情况下，您的程序似乎正在读取数组结束后内存中的任何内容。你偶然得到了一个 7 - 那里可能有任何东西，事实上你的程序甚至可能不被允许访问该内存，在这种情况下，它会因分段错误而崩溃。

你的索引i + 1将具有0, 2, 4, 6, 8的值，但是由于索引以0开头，大小为8的数组的最后一个索引是7。因此，您访问数组超出其边界，这会导致未定义的行为。您可以通过更改循环来解决此问题：

for(int i = -1; i < 7 ;i += 2) {
// as before...
}

在调试此类错误时，使用-fsanitize=address编译或使用valgrind运行可执行文件会有很大帮助。

索引 8(在您包含 7 的情况下(超出了数组范围(0 到 7(，因此程序会显示内存中的内容(这是undefined behavior的情况，可能会导致运行时错误(。

相关文章：