一个编译器的小陷阱

一个编译器的小陷阱

有时候在一个平台运行正确的程序，在另一个平台就会出问题。在平台移植中，最常见的问题可能就是字节序和对齐这类问题了。本文记录的是我以前碰到过的一个小陷阱。看看这段代码的输出应该是什么？

#include "stdio.h"

char do_something(int *p)
{
	*p = 5;
	return 'x';
}

void test1(void)
{
	char s[] = "abcdef";
	int index = 0;
	s[index] = do_something(&index);
	printf("%s\n", s);
}

int main(void)
{
	test1();
	return 0;
}

如果我们使用VC编译器或ARM编译器，它的输出是abcdex。如果我们使用gcc，它的输出是xbcdef。关键在于这句：

	s[index] = do_something(&index);

等号左侧的index在等号右侧被改变了。VC和ARM编译器使用改变后的index（值为5），gcc编译器使用改变前的index（值为0）。我实际碰到的代码当然要复杂的多，在上万行代码中找到这行代码可不是一件让人愉快的事情。其实，解决此类编译器陷阱的最好方法就是：不要写可能产生歧义的语句。从本例我们应该记住：

• 在赋值语句中，等号左侧使用的数组索引或指针偏移在等号右侧不应被改变。

你碰到过类似的陷阱吗？