变量值，在三元运算符之后

Question

我有这些代码行：

int a = 10, b = 1;
a = --b ? b : (b = -99);
        cout << "a= " << a <<  "b= " <<b<< endl;

输出给我 b=-99 因为 a 不等于 0（这是有道理的）但它也将 a 的值更改为 a=-99 如何？

Answer 1

您的代码相当于：

int a = 10, b = 1;
b -= 1; // b == 0
int x;
if (b != 0) x = b;
else x = b = -99;
a = x;
// at this point a and b have the same value

Answer 2

三元运算符的工作原理如下：

if (--b != 0) { // b is not 0 means true
    a = b;
} else { // b is 0 means false
    a = (b = -99);
}

您将值分配给 a，因此 --b 为 0，这被视为 false。 然后你给 b 赋值 -99 之后，你把 b 赋给 a。 因此，这两个变量最终的值为 -99。 希望它能帮助你。

Answer 3

根据ternary operator ，第一个参数是比较参数（条件），第二个是真比较的结果，第三个是假比较的结果。 所以在你的情况下，条件not True ，所以 false 语句被执行。 所以现在b has -99. 在c,c++,java我们都见过，给变量赋值

a = b = -99

在此， a & b都获得相同的值。 像这样，三元运算符也从 false 语句中分配变量的值。

(a = (b = -99 ))

Answer 4

我认为这里让您感到困惑的是，在C中，一个表达式（例如b = -99 ）同时具有consequences和value 。 b = -99的结果是b被赋予-99的值； 但还要注意该表达式的值为-99 。

因此，在采用一般形式的三元表达式中：

lhs = test ? v_if_true : v_if_false;

首先对表达式test进行求值，然后为lhs分配v_if_true （如果test求值为非零）或v_if_false （如果test求值为零）。

在您的情况下， test是--b 。 该表达式的结果是b的值减一，表达式的值是b的结果（修改）值（在您的代码中将为零）。

因此，您的三元表达式将v_if_false表达式的值赋给a ，即b = -99 （您给出的括号使表达式更加清晰，但不更改其计算值）。 因此，如上所述，此表达式（以及修改b ）也有一个计算值-99 ，然后将其提供给a 。

如果你想在执行v_if_false表达式的情况下a不变，那么你可以使用逗号运算符来做到这一点，如下所示（尽管我不建议使用这样的代码）：

a = --b ? b : ((b = -99), a); // If --b == 0, this becomes a = a

这是有效的，因为包含逗号运算符的表达式的值是逗号之后（右侧）的子表达式的值。