字符串逆序输出，编译器优化，循环代码外提，无效代码删除

crazybobo1207

已于 2023-10-10 21:33:35 修改

阅读量152

点赞数

文章标签： c语言编辑器

于 2023-10-10 18:08:03 首次发布

本文链接：https://blog.csdn.net/crazybobo1207/article/details/133752090

版权

程序很简单

//将一个字符数组逆序输出

#include <stdio.h>
#include <string.h>

int main()
{
	char a[10] = "abcdefg";

	for (int i = strlen(a) - 1; i >= 0; i--)
	{
		printf("%c", a[i]);
	}
		
	return 0;
}

有人觉得需要将"循环代码外提”，避免重复执行strlen(a) - 1，从而提高程序运行效率，像下面这样。没错，CSAPP和编译原理都是这么说的。

#include <stdio.h>
#include <string.h>

int main()
{
	char a[10] = "abcdefg";

	int i = strlen(a) - 1;

	for (; i >= 0; i--)
	{
		printf("%c", a[i]);
	}
		
	return 0;
}

为了验证程序执行速度是不是真的提高了，重复执行一亿次。

#include <stdio.h>
#include <string.h>
#include <iostream>
using namespace std;

int main()
{
	clock_t t1 = clock();

	char s[10] = "abcdefg";
	int x = 0;

	for (int n = 0; n < 100000000; n++)
	{
		for (int i = strlen(s) - 1; i >= 0; i--)
		{
			//printf("%c", s[i]);
			x = x + i;
		}
	}

	clock_t t2 = clock();
	cout << t2 - t1 << "毫秒" << endl;

	return 0;
}

为什么将printf语句注释掉了呢？输出是比较耗费时间的，为了测量程序真正的运行时间，IO语句要注释掉，加一条别的语句 x = x + i。运行结果如下：

C语言不愧是宇宙最快的语言之一，为了表示谦虚，加上“之一”二字。居然0毫秒就执行完了-_- 感觉不对啊，1亿好歹也是10的8次方呢？怎么0毫秒就完事了？要不把1亿次改成100亿试试？不出意外的话，还是0毫秒。

看看汇编代码：

根本不见1亿的踪影？编译器的优化确实厉害，直接删除无效的代码，如果程序中的某些语句对输出没有影响，那么这些语句被视为无效代码，不执行。下面的代码加上一条输出x的语句，那么上述循环体的无效代码将变为有效代码。

#include <stdio.h>
#include <string.h>
#include <iostream>
using namespace std;

int main()
{
	clock_t t1 = clock();

	char s[10] = "abcdefg";
	int x = 0;

	for (int n = 0; n < 100000000; n++)
	{
		for (int i = strlen(s) - 1; i >= 0; i--)
		{
			//printf("%c", s[i]);
			x = x + i;
		}
	}

	printf("%d\n", x);    //增加一条输出语句

	clock_t t2 = clock();
	cout << t2 - t1 << "毫秒" << endl;

	return 0;
}

运行结果如下：