&&运算符的可交换属性问题

作者: Let us fly
发布时间: 2024-06-11 06:57:00 (29天前)
转自：

3 条回复

0#
回复此人
银环蛇 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> <code> && </code> 不是可交换的。它首先计算左操作数，然后在左操作数计算到时停止 <code> 0 </code> 。 </p> <P> 您的原始代码失败，因为它在某些时候会进行评估 <code> chars[-1] </code> （什么导致 <a href="https://stackoverflow.com/a/4105123/1505939"> 未定义的行为 </A> 如果 <code> chars </code> 是一个数组）。替代版本没有这个问题，因为它执行 <code> >= 0 </code> 使用前测试 <code> inputLength </code> 作为数组索引。 </p> </DIV>

编辑
1#
回复此人
=_= | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> <code> && </code> 在某种意义上是可交换的 <code> a && b </code> 与结果相同 <code> b && a </code> 。但是内置的运营商 <code> && </code> 有个 <a href="https://en.cppreference.com/w/cpp/language/operator_logical" rel="nofollow noreferrer"> 短路行为 </A> 。这意味着，如果结果 <code> a && b </code> 可以通过单独评估第一个操作数来决定，第二个操作数不被评估。 </p> <P> 所以当第一个操作数是 <code> chars[inputLength] == defaultChar </code> 和 <code> inputLength </code> 是 <code> -1 </code> ，您进入未定义行为的领域，这意味着程序的行为是不可预测的。但是通过变通办法，你的<strong> 避免 </强> 未定义的行为因为 <code> inputLength >= 0 </code> 和 <code> inputLength < 0 </code> 检查，因此代码按预期工作。 </p> <P> 正如@PeteBecker所说： <code> a() && b() </code> 如果是的话，也不是可交换的 <code> a() </code> 要么 <code> b() </code> 有副作用。 </p> </DIV>

编辑

登录后才能参与评论