最早是在微博上看到这样一个swap函数。
void swap(int& a,int& b)
{
a = b + 0*(b = a);
}
那么我也来讨论讨论这样的表达式有什么行为。当然这里是我认为的答案，也不敢保证完全正确，因为C++实在是太复杂了，完全不敢说知道的面面俱到。
下面来看这两个C++表达式，a和b都是int类型。
a = b + 0 * (b=a); // exp 1 a = 1 + 0 * (b=a); // exp 2
exp 1就是原来swap函数的实现方法，这个比较明显了。因为C++里面规定了子表达式的计算顺序和side effect的发生顺序是不确定的。
另外: "Furthermore, the prior value shall be accessed only to determine the value to be stored." 也就是说 c = c + 1;是没有问题的，因为读取c的值是为了计算最后写入c的值。
但 a = b + 0 * (b=a); 就有问题了。因为第一个读取b的操作，不是为了计算写b时用的值。所以这是一个undefined behavior。
参考这里获得C++03标准的原文(http://www.cnblogs.com/aoaoblogs/archive/2010/05/31/1748103.html)
那么exp 2呢?
a = 1 + 0 * (b=a);
一样，在C++03里面是undefined behavior。读取a的值不仅仅是为了计算写a的值。比如说可以有两种执行顺序
第一种:
1. 计算(b=a)这个表达式的值。
2. store b的值
3. 计算整个表达式的值，并store a
或者第二种：
1. 计算(b=a)这个表达式的值。
2. 计算整个表达式的值，并且store a
3. store b的值。因为这个时候a的值已经改变了，那么实际b的值就不确定了。
但是，要知道C++是一种恐怖的语言，到了C++12的时候，标准里面对于assignment加了一句话。
In all cases, the assignment is sequenced after the value computation of the right and left operands, and before the value computation of the assignment expression.
这句话不能保证exp 1的行为，因为计算+号的两个子表达式的顺序依然不确定。但是对于exp 2来说，就是well defined behavior。其执行顺序只能是这样:
1. 计算b的左值和a的右值。
2. 完成store b;
3. 完成计算(b=a)的值。
4. 计算a的左值和 1+0*(b=a) 的右值。
5. store a
6. 计算 a = 1 + 0 * (b=a) 的值。
参考这里获得更多信息(http://www.cnblogs.com/aoaoblogs/archive/2011/06/30/2094347.html)
OK,我的结论就是这样子的了。