Java If-else 编程逻辑

Question

基本上我已经修复了一个错误。修复已经奏效，但现在我想知道我的逻辑是否有缺陷。我在下面粘贴了我的代码。基本上我想知道标有<-- 的两行是否有问题。我已经写了if data.length >=0，那么它等于真，还有else-if data.length && _routing，那么它也等于真。我的逻辑有问题吗？我的 else-if 条件是否会得到满足，还是会导致问题？我在可视化它时遇到了一些麻烦，可以使用一些帮助。如果它有缺陷，我该怎么做？谢谢你

if(data.length > 0) {
  if(data.length >= 0) { //<--
    if (_outStr == null){
      _receivedFileContent = true;
      fileCreate();
    }
    _outStr.write(data);
  } else if (data.length == 0 && _routing) { //<--
    _receivedBytearrayZero = true;
  }
} //added during edit for completeness

Answer 1

我想到的一个缺陷：

if(data.length > 0) {
  if(data.length >= 0) {
   ...
  } else if (data.length == 0 && _routing) {
   ...
  }
}

else-if 分支永远不会被采用，因为当到达该语句时，data.length 已被确认为 > 0。

相反，您可能会摆脱 data.length >= 0 条件，因为这看起来是多余的：

if(data.length > 0) {
  ... //e.g. write to stream
} else if (data.length == 0 && _routing) {
  ... //got no data but _routing is true so do whatever is appropriate
}

我也会重构这部分：

if (_outStr == null){
  _receivedFileContent = true;
  fileCreate();
}
_outStr.write(data);

这里的问题是首先检查_outStr 是否为空，然后在这种情况下进行一些初始化。我假设fileCreate() 将初始化_outStr，因此您不会在最后一行得到 NPE，但这很难阅读并且需要假设或不得不查看其他地方，这会使代码更加脆弱.

不知道fileCreate(); 在做什么，我更喜欢_outStr = fileCreate(); 这样的东西。这样，您至少可以看到如果之前为 null 的流正在被初始化。可能您可能还想将整个块放入一个单独的方法中，例如 writeToStream(data) 并处理里面的检查：

if(data.length >= 0) {
  writeToStream(data); //takes care of initializing the stream if necessary 
}

Answer 2

考虑不变量是一个很好的工具。

if (data.length >= 0) {
     ...block-1...
} else 
// invariant at this point: data.length < 0
if (data.length == 0 && _routing) {
     ...block-2...
}

显然else if 分支无法进入。

但这只是分析内部 if 块；如果：

if (data.length > 0) {
   //invariant at this point: data.length > 0
   if (data.length >= 0) { // implied by the invariant, collapses to true
      ...block-1...
   } else if (data.length == 0 && ...) { // false by invariant, unreachable
      ...block-2...
 }

通过消除冗余检查和无法访问的代码进行简化为我们提供了以下功能：

if (data.length > 0) {
  ...block-1...
}

此代码将与您发布的代码具有相同的行为。

Answer 3

if(data.length>0)   ---------(1)
 {
      if(data.length>=0)      ---------(2)
      {
            ...
      }else (data.length==0)&&(routing))    -----(3)
      {
      }
}

不会遇到内部 if 语句（标记为 3 的语句）的 else 部分，因为外部 if（标记为 1 的语句）本身确保 data.length 始终大于 0。这意味着，不需要对于检查条件 data.length=0 的内部 else 条件。如果 else 条件是 OR 运算符；有机会被执行。但是，由于它是一个 AND 运算符，并且一个始终为 FALSE；这意味着，它永远不会被执行。