C语言中的for和while是否可以真的无条件等价

通常情况下for循环和while循环是无条件等价的。
例如：

for(int a=1;a<=4;a++){
	printf("a=%d\t",a);
}
与
int a=1;
while(a<=4){
	printf("a=%d\t",a);
	a++;
}
这两种写法等价。  
运行结果均为：
a=1		a=2		a=3		a=4 

但当循环体内有continue时，二者不等价。

将代码修改为：
for(int a=1;a<=4;a++){
	if(a==3){
		continue;
	}
	printf("a=%d\t",a);
}
运行结果为：
a=1		a=2		a=4

int a=1;
while(a<=4){
	if(a==3){
		continue;
	}
	printf("a=%d\t",a);
	a++;
}
运行结果为：
a=1		a=2

这是因为当a的值为3时，在for循环中遇到continue，跳出本次循环（即不执行下面的输出语句），进行下一次循环时，for机制会先执行a++,然后判断是否a<=4,然后继续执行，直到程序结束。
而在while循环中遇到continue，下面的输出语句与a++语句均不执行，这时a的值是3，不会输出，而且a也无法加到4,。但此时程序并没有执行完（因为a仍符合循环条件，所以如果在if判断前面加一句输出语句的话，执行发现无限输出a=3）。