消除 if 语句中的否定形式

偷偷努力，悄无声息地变强，然后惊艳所有人！哈哈，小伙伴们又来学习啦~今天我将给大家介绍《消除 if 语句中的否定形式》，这篇文章主要会讲到等等知识点，不知道大家对其都有多少了解，下面我们就一起来看一吧！当然，非常希望大家能多多评论，给出合理的建议，我们一起学习，一起进步！

遵循此处推荐的 do..while 模式：

for {
    work()
    if !condition {
        break
    }
}

下面的代码使用 for 循环实现 do..while(condition)：

var r *s
var err error
counter := 0

for { // do..while(specificerror && < MAX && trigger_not_initiated)

    r, err = f()
    counter = counter + 1
    if !(err != nil &&
        strings.Contains(err.Error(), "specificerror") &&
        counter < MAX &&
        !IsTriggerInitiated()) {
        break
    }
}

但是审核团队建议通过删除 if 语句中的否定（条件）中的否定来使 if 条件更具可读性

如何删除 if 语句的否定（条件）中的否定？

正确答案

您需要的转换称为 De Morgan's Laws:

所以如果你有这样的声明：

if !(a && b && c) {}

相当于

if !a || !b || !c {}

在您的示例中：

if !(err != nil &&
    strings.contains(err.error(), "specificerror") &&
    counter < max &&
    !istriggerinitiated()) {
    break
}

翻译版本：

if err == nil ||
    !strings.Contains(err.Error(), "specificerror") ||
    counter >= MAX ||
    IsTriggerInitiated() {
    break
}

需要检查的一件事：短路评估。在一系列 && 中，如果一个表达式被计算为 false，则其余的将不会被计算（我们知道结果是 false）。

幸运的是，这在翻译版本中将保持不变：短路评估将是相同的，因为在一系列 || 中，如果一个表达式被评估为 true，则其余的将不会被评估（我们知道结果是 true)。因此，当原始形式的 a 为 false 时，与转换后的 !a 为 true 的情况完全相同。

理论要掌握，实操不能落！以上关于《消除 if 语句中的否定形式》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！