Java三元运算符：是否可以在ART上进行类似于条件移动（组装）的行为？

Question

我想清除一些关于Java中三元运算符的疑问。

在Java中，它看起来像： x =（c？a：b） 。 从我的阅读和经验来看，if / else似乎将其执行为一个分支，这意味着仅对一个语句进行评估（a或b，但不会同时执行）。 我想知道这是否总是对的。

在C语言中，可能会将其编译为条件移动，该移动将同时评估表达式a和b。

准确地说，我想知道Android代码也是如此。 在将Java字节码实际安装到具有最新OS的设备上后，就知道将其转换为本机指令（请参阅Android Runtime（ART） ）。 ART后是否有条件移动的风险？

让我们举个例子。 一个基本类，其中包含：

//class content

int victoriesA = 0;
int nonVictoriesA = 0;
int totalCalls = 0;

//...class content

public int getIncrementedCounter(int goalsA,int goalsB){
    totalCalls++;
    return (goalsA > goalsB ? ++victoriesA : ++nonVictoriesA);
}

public boolean testOpertor(){
    return (totalCalls == victoriesA + nonVictoriesA);
}

如果getIncrementedCounter是一个程序的执行过程中多次调用，将功能testOperator始终返回true？ （假设代码在单个线程上运行）

我知道我应该只使用if / else分支来确保摆脱麻烦，但是我仍然想知道...。

Answer 1

根据Java语言规范的第15.25章

在运行时，首先对条件表达式的第一个操作数表达式求值。 如有必要，对结果执行拆箱转换。

然后将得到的布尔值被用来选择第二或第三操作数的表达式：

如果第一个操作数的值为true，则选择第二个操作数表达式。

如果第一个操作数的值为false，则选择第三个操作数表达式。

符合语言规范将意味着仅评估1个表达式。