Delphi Alexandria RTL中ScanChar函数的字符比较逻辑疑问

一、小写字符判断逻辑的等价性 #

你说得没错——当Ch和C均为小写英文字符时，这段异或$0020的判断逻辑完全等价于直接判断C = Ch。

原因很直白：小写英文字符的ASCII码范围是$61（a）到$7A（z），异或$0020后会转为对应的大写字母（$41到$5A）。如果C和Ch是同一个小写字母，转大写后自然相等；如果二者原本就不相等，转大写后也必然不等。而进入这个else if分支的前提是前面已经判断过C <> Ch，所以这段逻辑的结果必然是False，完全是冗余代码。

二、这个函数的编写确实存在明显问题 #

从代码逻辑、健壮性和一致性来看，它有不少值得诟病的地方：

• 冗余逻辑无效：刚才提到的小写字母异或判断完全多余，既不会改变结果，还增加了不必要的分支判断。
• 逻辑覆盖混乱：第三个else if分支（Ch.IsLetter and C.IsLetter）已经包含了前一个分支的场景（小写字母属于字母范畴），却放在后面，导致逻辑层级混乱。
• 字符处理不统一：用xor $0020转大写仅适用于ASCII英文字母，无法处理Unicode中的非ASCII字母（比如带重音的é、ñ等），而第三个分支用ToUpper才是正确的通用处理方式，前后逻辑标准不统一。
• 空格匹配行为不一致：当Ch是空格时，调用ScanBlanks（推测是跳过连续多个空格），但匹配其他字符时只检查单个字符，这种行为差异如果没有明确的设计说明，会让调用者产生困惑。

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