为何我的条件判断无法互换？Arduino循环逻辑问题

先看你能正常运行的代码逻辑：

int letterIndex = 0;
int rows = sizeof letterArr / sizeof letterArr[0];

while(letterIndex < rows) {
  if(letter == letterArr[letterIndex][0]) {
    break;
  } else {
    letterIndex++;
  }
}

这段代码的核心是先保证索引不越界，再检查目标字符：每次循环先确认letterIndex在数组合法范围（0到rows-1）内，再访问数组元素判断是否匹配，匹配就跳出循环，不匹配则自增索引。全程不会访问数组外的内存，逻辑安全清晰。

第二种写法的死循环原因 #

int letterIndex = 0;
int rows = sizeof letterArr / sizeof letterArr[0];

while( (letter != letterArr[letterIndex][0]) && (letterIndex < rows) ) {
  letterIndex++;
}

这里的致命问题是逻辑判断顺序错误：C++中&&是从左到右求值的，会先执行letter != letterArr[letterIndex][0]，再判断letterIndex < rows。

当letterIndex增长到等于rows时，数组的合法索引仅到rows-1，此时访问letterArr[letterIndex][0]属于数组越界访问，这是C++的未定义行为——可能读取到随机垃圾值，甚至破坏栈上的变量（比如rows的值被意外修改）。如果越界后读取的垃圾值始终不等于letter，同时rows被改大导致letterIndex < rows一直成立，就会陷入死循环。

修正写法需要把索引越界检查放在前面，利用&&的短路特性避免越界访问：

while( (letterIndex < rows) && (letter != letterArr[letterIndex][0]) ) {
  letterIndex++;
}

这样只要letterIndex >= rows，后面的数组访问就不会执行，既保证逻辑正确，又避免了未定义行为。

第三种写法的逻辑错误 #

int letterIndex = 0;
int rows = sizeof letterArr / sizeof letterArr[0];

while(letter != letterArr[letterIndex][0]) {
  if(letterIndex < rows) {
    break;
  } else {
    letterIndex++;
  }
}

这里的条件完全写反了：

• 你原本想表达“索引超出数组范围时跳出循环”，但实际写的是if(letterIndex < rows)就break——也就是只要索引还在合法范围内，直接跳出循环，根本不会自增索引。
• 如果letter不等于letterArr[0][0]，循环条件一直成立，循环体的错误逻辑又会卡住索引，最终导致死循环。

正确逻辑应该是：

while(letter != letterArr[letterIndex][0]) {
  letterIndex++;
  if(letterIndex >= rows) { // 索引超出范围，找不到目标，跳出循环
    break;
  }
}

总结 #

在C++中处理数组循环时，永远优先检查索引是否越界，再去访问数组元素，避免未定义行为。逻辑判断的顺序直接影响代码的安全性和正确性，涉及数组操作时，一定要利用好逻辑运算符的短路求值特性。

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