反向for循环在Xcode中崩溃，i>=0条件存在问题求解答

这个问题的核心在于**size_t是无符号整数类型**，这一点很容易被忽略，直接导致了内存越界访问和Xcode崩溃。

让我们一步步拆解问题：

1. 为什么i>=0会导致崩溃？ #

size_t是一个无符号整数类型（通常对应64位系统的unsigned long），它的取值范围是从0到SIZE_MAX（一个极大的正数）。当你的循环执行到i=0时：

• 满足i>=0的条件，进入循环体打印str[0]
• 随后执行i--，由于size_t不能表示负数，这里会发生无符号整数溢出，i的值会直接绕回成SIZE_MAX（取值范围的最大值）
• 下一次循环时，i>=0依然成立，但str[i]访问的是完全超出字符串内存范围的位置，这属于未定义行为，直接触发了内存访问错误，导致Xcode崩溃

2. 为什么i>0能运行但少打第一个字符？ #

当循环条件是i>0时，循环会在i=1时执行最后一次：

• 打印str[1]后，i--变成0
• 此时i>0不成立，循环终止
• 自然就漏掉了索引为0的第一个字符

3. 正确的实现方式 #

这里提供几种靠谱的写法：

方法一：用有符号整数作为循环变量 #

把i的类型改成int（只要字符串长度不超过int的取值范围就可以），这样就能正常处理负数：

void strrev(const std::string& str) {
    for(int i = str.length() - 1; i >= 0; i--) {
        std::cout << str[i];
    }
}

方法二：保持size_t，调整循环范围 #

从str.length()-1开始，循环到i等于0时手动终止：

void strrev(const std::string& str) {
    if (str.empty()) return;
    for(size_t i = str.length() - 1;; i--) {
        std::cout << str[i];
        if (i == 0) break;
    }
}

方法三：使用C++反向迭代器（最优雅） #

直接利用标准库的反向迭代器，完全避免手动处理索引的麻烦：

void strrev(const std::string& str) {
    for(auto it = str.rbegin(); it != str.rend(); ++it) {
        std::cout << *it;
    }
}

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