具有永久改变x值的副作用

上面例子中的赋值操作符具有永久改变x值的副作用。即使语句完成执行后,x的值也将为5。++运算符具有增加X X的输出具有修改控制台的副作用副作用。


然而,副作用也会导致意想不到的结果:

int add(int x, int y)
{
    return x + y;
}
 
int main()
{
    int x = 5;
    int value = add(x, ++x); // is this 5 + 6, or 6 + 6?  It depends on what order your compiler evaluates the function arguments in
 
    std::cout << value; // value could be 11 or 12, depending on how the above line evaluates!
    return 0;
}

C++没有定义在函数的参数进行评估。如果先对左参数进行求值,则这将成为一个添加(5, 6)的调用,等于11。如果首先对正确的参数进行求值,则这将成为添加(6, 6)的调用,等于12!请注意,这只是一个问题,因为一个参数的函数()有副作用。


下面是另一个流行的例子:

int main()
{
    int x = 1;
    x = x++;
    std::cout << x;
 
    return 0;
}

这个程序打印什么值?答案是:它是未定义的。


如果+ +是在分配应用于X,答案是1(后缀运算符++递增x从1到2,但其值为1,使表达变得x = 1)。


如果+ +是赋值后应用于X,答案会是2(这个值为x = x,然后后缀运算符++应用,增加x从1到2)。


还有其他的情况下,C++并不指定某些东西的计算顺序不同,所以编译器会做出不同的假设。甚至当C++不清楚事情应该怎样评价,一些编译器实现涉及的变量具有副作用的不当行为。这些问题通常可以通过确保任何应用于副作用的变量在给定语句中使用不止一次来避免。


规则:不要在给定语句中使用多于一次应用于其的副作用的变量。如果这样做,结果可能是未定义的。

你可能感兴趣的:(具有永久改变x值的副作用)