Java do-while循环中逻辑或(||)运算符报错的原因及正确写法

核心问题说明 #

你遇到的异常并非语法层面的编译报错，本质是逻辑或所在的判断条件存在两个明确问题：

• 逻辑永真bug：当前的判断条件无论用户输入什么内容，永远为真，程序会陷入无限死循环，导致Scanner持续等待输入、无法按流程推进，容易被误判为代码报错。哪怕用户按要求输入了R或者C，循环也不会终止。
• 运算符适用场景错误：你需要实现“输入不合法时重复提示”的校验逻辑时，误用了逻辑或连接两个取反判断，违背了布尔代数的运算规则。

问题原理验算 #

我们可以逐场景拆解当前错误条件的计算结果：

错误的条件表达式：!shapeName.equals("R") || !shapeName.equals("C")

当用户输入"R"时：

• !shapeName.equals("R") 计算结果为false
• !shapeName.equals("C") 计算结果为true
• 逻辑或连接后整体结果为 true，循环不会退出

当用户输入"C"时：

• !shapeName.equals("R") 计算结果为true
• !shapeName.equals("C") 计算结果为false
• 逻辑或连接后整体结果为 true，循环同样不会退出

当用户输入其他任意值时，两个判断项全部为真，逻辑或连接后结果依然为真。也就是说这个条件永远不可能为false，程序永远走不出循环。

正确写法说明 #

根据德摩根定律，要实现“输入既不是R、也不是C时才继续循环”的逻辑，有两种等价的正确写法：

1. 把逻辑或替换为逻辑与：!shapeName.equals("R") && !shapeName.equals("C")
   这种写法的判断逻辑为：只有当输入同时满足“不是R”、“不是C”两个条件时，才继续重复循环，一旦输入为R或C，条件立即变为false，正常退出循环。
2. 用整体取反的形式简化逻辑：!(shapeName.equals("R") || shapeName.equals("C"))
   这种写法可读性更强，对应自然语言的描述：只要输入落在R、C的合法值范围内，就不满足循环条件，直接退出循环。

额外健壮性优化 #

为了避免后续代码修改引入空指针异常，可以把字面常量放在equals方法的调用前面，也就是写成：
!"R".equals(shapeName) && !"C".equals(shapeName)
这种写法哪怕出现shapeName为null的情况，也不会抛出空指针错误。

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