请教 warning: operation on ‘i’ may be undefined

[ArayChou]

aray@aray:~/C$ cat test.c

# include<stdio.h>

char * strcpy(char * dest, const char * src)
{
	int i=0; 
	while( src[i] !=0) {
		dest[i++]=src[i]	;  // LINE 7
	}
	return dest;
}

int main()
{
	char * src = "hello\n";
	char dest[10];
	printf(strcpy(dest,src));
	return 0;
}

aray@aray:~/C$ gcc -Wall test.c
test.c: In function ‘strcpy’:
test.c:7: warning: operation on ‘i’ may be undefined

这里为什么会有一个警告

[手机写程序]

有意思,改成
dest[i]=src[i];i++;
警告没有了.
dest[i++]=0;//src[i] ; // LINE 7
警告也没有了.
改成
*(dest + i++) = *(src + i);
还是有警告.
看来写代码要规矩点.对编译器来说,这样写还是有歧义的.

[justkk]

是有歧义
dest[i++]=src[i]
运行结果取决于先左右操作数的计算顺序

[手机写程序]

[Quote=引用 2 楼 justkk 的回复:]
是有歧义
dest[i++]=src[i]
运行结果取决于先左右操作数的计算顺序
[/Quote]
同意.
dest[++i]=src[i] ; // LINE 7
同样有警告.

[memoleak]

[Quote=引用 2 楼 justkk 的回复:]
是有歧义
dest[i++]=src[i]
运行结果取决于先左右操作数的计算顺序
[/Quote]
我觉得这个意图很明显的：
1.计算src[i]和dest[i]
2.赋值
3.i++
事实上，=和++同时出现就会warning，如果比较就没有问题，比如改成
if(dest[i++]>src[i])...就没有问题。
总之我觉得一个报warning一个不报很无厘头，要么都报，要么都不报

[freetstar]

学习了，印象中对c语言的编译器的标准比较乱

[jihen]

受教了

[bourbaki]

这是sequence point警告。比如FUN0()+FUN1()这个表达式，两个函数的执行顺序是未定义的，FUN0(),FUN1()的执行顺序是定义了的。比如i=i++也是这样，递增可能在赋值前或后或同时发生。

[手机写程序]

[Quote=引用 4 楼 memoleak 的回复:]
引用 2 楼 justkk 的回复:
是有歧义
dest[i++]=src[i]
运行结果取决于先左右操作数的计算顺序

我觉得这个意图很明显的：
1.计算src[i]和dest[i]
2.赋值
3.i++
事实上，=和++同时出现就会warning，如果比较就没有问题，比如改成
if(dest[i++]>src[i])...就没有问题。
总之我觉得一个报warning一个不……
[/Quote]

if(dest[i++]>src[i])...就没有问题。

可能>和=不在一个优先级,但=和++在一个优先级?

[bourbaki]

可以参看这个http://en.wikipedia.org/wiki/Sequence_point

[bourbaki]

C语言参考手册ch7.12《序列点》有说，看了就明白了

[ArayChou]

谢谢楼上各位，学到了一个知识点，sequence point