【问题标题】:Pull up/push down the negation in IDEA在 IDEA 中上拉/下推否定
【发布时间】:2025-12-30 16:15:06
【问题描述】:

Eclipse中,早就有“Pull negation up”/“Push negation down”的快速修复:

我怎样才能在 IDEA 中做同样的事情?似乎没有意图:

【问题讨论】:

    标签: java eclipse intellij-idea


    【解决方案1】:

    这并不明显,但您将得到与"Replace '&&' with '||' 完全相同的结果。

    IntelliJ 中,它被称为 De Morgan's Laws,其意图是反转给定的 boolean 表达式以从 && 切换到 || 并虎钳反之亦然。

    更多关于德摩根定律的详细信息here

    【讨论】:

    • 确实如此。在 IDEA 中,也可以将否定向下推,但乍一看似乎有点违反直觉。必须精确地选择括号内的表达式:p0 || p1。如果另外选择了括号(以及可选的前导否定):!(p0 || p1),则不会出现 DeMorgan Law 意图。