C++反向打印数组时出现Segmentation fault的原因排查

哈哈，这个坑我当初刚学C++的时候也踩过！问题的根源全在size_t这个无符号整数类型上，咱们一步步拆解来看：

核心原因：无符号整数的溢出回绕 #

size_t是一个无符号整数类型，它的取值范围是从0到系统定义的SIZE_MAX（一个非常大的正整数），永远不可能是负数。

看你的反向循环逻辑：

for (size_t i = (size - 1); i >= 0; --i) os << data[i];

当循环执行到i = 0的时候，下一次执行--i，因为无符号数不能变成负数，会触发溢出回绕——i会直接变成SIZE_MAX（比如64位系统上就是18446744073709551615）。这时候i >= 0的判断永远为真（无符号数怎么可能小于0？），循环根本停不下来！

接下来访问data[i]时，i已经远远超出了数组的有效下标范围，直接触发内存访问越界，也就是你看到的Segmentation fault。

几种靠谱的解决办法 #

1. 调整循环条件，避开溢出

这是最直接的修复方式，不用换类型：

// 写法一：while循环
size_t i = size;
while (i > 0) {
    --i;
    os << data[i];
}

// 写法二：更紧凑的for循环
for (size_t i = size; i-- > 0; ) {
    os << data[i];
}

这里i-- > 0是先做比较再自减，当i为1时，比较成立后减到0，执行循环；当i为0时，比较不成立，循环直接结束，完美避开了溢出问题。

2. 改用有符号整数（谨慎使用）

如果你确定数组的大小不会超过int的取值范围，可以把下标换成int：

for (int i = static_cast<int>(size) - 1; i >= 0; --i) {
    os << data[i];
}

但要注意，如果size大于INT_MAX（比如在32位系统上超过2147483647），static_cast<int>(size)会触发未定义行为，所以这种方式只适合小数组。

3. 用反向迭代器（推荐）

C++11及以后的标准提供了反向迭代器，既安全又简洁，完全不用手动管理下标：

#include <iterator> // 需要包含这个头文件

for (auto it = std::rbegin(data); it != std::rend(data); ++it) {
    os << *it;
}

编译器会帮你处理所有边界问题，再也不用担心下标越界了。

内容的提问来源于stack exchange，提问作者Sarah Hyland