cout与指针结合的运算符优先级问题：两段代码输出为何不同？

嘿，这个问题踩中了C++里一个经典的未定义行为坑——核心原因是表达式求值顺序，咱们一步步拆解清楚：

第一段代码：结果符合预期的原因 #

第一段代码里，你把每个指针运算的结果都先存在单独的变量里，再传给cout：

int first = *(p++);
int second = *++p;
int third = ++*p;
int fourth = *p++;

这里的每一行都是独立的赋值语句，而C++里的赋值语句是序列点（sequence point）——也就是说，执行完当前语句后，所有的副作用（比如指针p的自增、数组元素值的修改）都会完全生效，不会和后续语句的操作混在一起。

所以每一步的顺序是完全确定的：

• *(p++)：先取p指向的s[0]的值1，再把p移到s[1]；
• *++p：先把p移到s[2]，再取s[2]的值3；
• ++*p：先把s[2]的值3改成4，再返回这个新值4；
• *p++：先取s[2]的当前值4，再把p移到s[3]；
  最终输出自然符合你的预期。

第二段代码：结果混乱的原因 #

第二段代码直接把所有指针运算塞进了cout的链式调用里：

cout << "*p++ is " << *p++ << endl << "*++p is " << *++p << endl << "++*p is " << ++*p << endl << "*p++ is " << *p++ << endl;

看起来是按顺序输出，但这里有个关键知识点：

在C++17标准之前，同一个表达式中多个子表达式的求值顺序是未定义的——编译器可以按照它自己觉得高效的顺序来计算这些*p++、*++p、++*p，完全不需要和你写的代码顺序一致。

你看到的奇怪输出，大概率是编译器从右往左求值了所有子表达式：

1. 先算最右边的*p++：此时p指向s[0]，取值1，p移到s[1]；
2. 接着算++*p：p指向s[1]，把值2改成3，返回3；
3. 然后算*++p：p移到s[2]，取值3；
4. 最后算最左边的*p++：p指向s[2]，取值3，p移到s[3]；
   然后编译器把这些提前算好的值按代码里的顺序输出，就得到了你看到的混乱结果。

哪怕是C++17之后，标准虽然规定了<<运算符的左边操作数会先于右边求值，但也绝对不建议在同一个表达式里多次修改同一个变量（比如多次移动p或者修改p指向的值）——这种写法依然是危险的，容易出问题。

总结建议 #

• 永远不要在同一个表达式中使用多个会修改同一个变量的操作（比如多次自增指针、修改指针指向的值），这会导致未定义行为，结果完全依赖编译器；
• 如果需要保证操作顺序，把每个有副作用的操作拆成单独的语句，用变量暂存结果，就像第一段代码那样。

内容的提问来源于stack exchange，提问作者Elfen Dew