C语言中可以在函数return语句中使用后置自增运算符吗？

1. 语法合法性说明 #

你给出的写法完全符合C语言标准，是合法的用法。

2. 代码语义的标准定义 #

后置自增运算符的行为是C标准明确规定的：

• 首先取head的当前值作为下标，取出metaData对应位置的值作为整个return语句的返回值
• 对head执行加1的副作用，会在返回值完全确定之后、函数退出前完成，不会影响本次返回的下标取值
  单看这段代码本身的行为是确定的，不存在二义性。

3. 跨平台运行结果不一致的排查方向 #

你遇到的差异不是这段return语句本身导致的，建议从以下几个方向排查代码其他部分的问题：

• 全局变量head的符号定义冲突：如果多个编译单元都定义了同名的head全局变量，Windows和Mac平台的链接器对多重全局符号定义的处理规则存在差异，可能导致实际操作的不是同一个变量
• 并发访问竞态：如果有多个线程同时读写head变量没有加同步锁，不同操作系统的线程调度策略差异会导致运行结果不一致
• 数组越界访问：如果head的取值超出了metaData数组的合法下标范围，属于未定义行为，不同平台的内存布局、编译器处理逻辑都会导致结果差异
• 编译优化差异：不同平台、不同编译优化等级下，编译器对存在未定义行为的代码的优化逻辑不同，也会引发结果不一致

内容的提问来源于stack exchange，提问作者Mahbub Rashid Tonoy