做“条件”时“不做”

浏览ForkJoinPool的Java 8版本的代码（它与Java 7相比有一些有趣的变化），我遇到了这个结构（在这里）：

do {} while (!blocker.isReleasable() &&
             !blocker.block());

我在为您为什么要像这样写而苦苦挣扎

while (!blocker.isReleasable() &&
       !blocker.block());

因为您可以将第一个构造读取为，这仅仅是语义/可读性选择do "nothing" while "conditions"吗？还是我还缺少其他好处？

如果您在类声明下面的文件顶部阅读注释，则有一节解释了此构造的用法：

Style notes

===========

[...]

There are several occurrences of the unusual "do {} while
(!cas...)"  which is the simplest way to force an update of a
CAS'ed variable. There are also other coding oddities (including
several unnecessary-looking hoisted null checks) that help
some methods perform reasonably even when interpreted (not
compiled).

ForkJoinPool正如其他答案所提到的，此注释在标题“样式注释”下对此进行了解释，从而充分利用了罐头中compareAndSwap...from的sun.misc.Unsafe大部分出现的情况：do {} while (...)ForkJoinPool

* There are several occurrences of the unusual "do {} while
* (!cas...)"  which is the simplest way to force an update of a
* CAS'ed variable. 

使用写while带有空主体的-loop的选择do {} while (condition)似乎是一种风格上的选择。在中HashMap，这可能更清楚了，它恰巧在Java 8中进行了更新。

在Java 7中，HashMap您可以找到以下代码：

while (index < t.length && (next = t[index++]) == null)
    ;

尽管围绕它的许多代码也已更改，但很明显，Java 8中的替换是：

do {} while (index < t.length && (next = t[index++]) == null);

第一个版本的缺点是，如果唯一的分号碰巧被删除，则它会根据下一行来更改程序的含义。

如下所示，while (...) {}和生成的字节码do {} while (...);略有不同，但在运行时不会以任何方式影响任何内容。

Java代码：

class WhileTest {
    boolean condition;

    void waitWhile() {
        while(!condition);
    }

    void waitDoWhile() {
        do {} while(!condition);
    }
}

生成的代码：

class WhileTest {
  boolean condition;

  WhileTest();
    Code:
       0: aload_0       
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return        

  void waitWhile();
    Code:
       0: aload_0       
       1: getfield      #2                  // Field condition:Z
       4: ifne          10
       7: goto          0
      10: return        

  void waitDoWhile();
    Code:
       0: aload_0       
       1: getfield      #2                  // Field condition:Z
       4: ifeq          0
       7: return        
}

除了潜在的性能优势外，还有明显的可读性优势。

随着while (X) ;尾随分号是不是第一眼总是很明显，你可能会误以为下面的语句或语句是在循环中。例如：

while (x==process(y));
if (z=x) {
    // do stuff.
}

将上述内容误认为是在循环中包含if语句是很容易的，即使您正确地阅读了它，也很容易认为这是一个编程错误，而if应该在循环中。

随着do {} while(X);虽然它立即一目了然，没有身体的循环。

如果您将阅读代码上方的注释，则会提到...

如果调用方不是ForkJoinTask，则此方法在行为上等效于

while (!blocker.isReleasable())
   if (blocker.block())
      return;
}

因此，这只是实现上述代码的另一种形式……！

在“样式注释”中提到，

多次出现不寻常的“ do {} while（！cas ...）”，这是强制更新CAS变量的最简单方法。

并且，如果您将看到ManagedLocker＃isReleasable的实现，它将更新锁，true如果不需要阻塞，则返回。

释义：

空白循环将用于提供中断，直到某些条件重置为true / false。

在这里，do { } while(!...)是一个拦截器/中断，直到blocker.block()将true时blocker.isReleasable()为false。循环将在blocker不可释放（!blocker.isReleasable()）blocker且未被阻止的情况下继续执行！执行将尽快退出循环blocker.block()设置为true。

请注意，do{ } while(...)它不会更新CAS变量，但可以保证程序将等待直到变量被更新（强制等待直到变量被更新）。

您可以使用以下方法轻松进行如下操作：

if(true){
 //Do nothing ...
}