PHP if条件判定异常：日志显示条件不满足却进入if分支

• 金额比较使用严格不等运算符!==，值相同但类型不一致。!==会同时校验值和变量类型，比如$amount为字符串"1397"，$payment->price为整型1397，严格比较会判定为不相等，但日志输出时会统一转为字符串展示，所以肉眼看不出差异。
• 币种字符串包含不可见字符。比如其中一个eur前后存在空格、换行符、零宽空格等Unicode控制字符，日志输出时无法肉眼识别，但字符串对比时会判定为不相等。
• 判断与打日志的间隙值被修改。$payment如果是ORM模型或者有自定义__get魔术方法、数组访问逻辑，可能在if判断执行完成后、打日志前，属性值被其他逻辑修改，导致判断时的取值和日志打印的取值不一致。

• 验证变量类型是否匹配，在现有日志中新增两行类型打印：

Log::info(gettype($amount));
Log::info(gettype($payment->price));

如果输出类型不同，即可确认是严格比较导致的问题，可以改成非严格比较!=，或者先将两个值统一转为整型/字符串后再做比较。

• 排查币种的不可见字符，打印两个币种字符串的长度和URL编码结果：

Log::info(strlen($currency));
Log::info(strlen($payment['currency']));
Log::info(urlencode(strtolower($currency)));
Log::info(urlencode(strtolower($payment['currency'])));

如果长度不同或者URL编码结果不一致，说明存在不可见字符，可以通过trim()或者正则过滤掉非字母字符后再做比较。

• 提前单独打印两个判断条件的结果，直接定位触发分支的原因：

$amountNotMatch = $amount !== $payment->price;
$currencyNotMatch = strtolower($currency) !== strtolower($payment['currency']);
Log::info('金额条件是否触发：' . var_export($amountNotMatch, true));
Log::info('币种条件是否触发：' . var_export($currencyNotMatch, true));

• 排查$payment的取值逻辑，检查price属性是否有自定义的getter方法、currency字段数组访问和对象属性访问的返回逻辑是否一致，是否存在动态修改值的逻辑。

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