C代码优化.docx

C代码优化.docx

《C代码优化.docx》由会员分享，可在线阅读，更多相关《C代码优化.docx（25页珍藏版）》请在冰豆网上搜索。

C代码优化

C代码优化方案

华中科技大学计算机学院

姓名：

王全明

QQ：

375288012

Email：

quanming1119@

目录

目录__2

C代码优化方案__4

1、选择合适的算法和数据结构__4

2、使用尽量小的数据类型__5

3、减少运算的强度__5

（1）、查表（游戏程序员必修课）_5

（2）、求余运算__6

（3）、平方运算__6

（4）、用移位实现乘除法运算__6

（5）、避免不必要的整数除法__8

（6）、使用增量和减量操作符__8

（7）、使用复合赋值表达式__8

（8）、提取公共的子表达式__9

4、结构体成员的布局__9

（1）按数据类型的长度排序__10

（2）把结构体填充成最长类型长度的整倍数__10

（3）按数据类型的长度排序本地变量__10

（4）把频繁使用的指针型参数拷贝到本地变量__11

5、循环优化__12

（1）、充分分解小的循环__12

（2）、提取公共部分__13

（3）、延时函数__13

（4）、while循环和do…while循环__14

（6）、循环展开__14

（6）、循环嵌套__15

（7）、Switch语句中根据发生频率来进行case排序__16

（8）、将大的switch语句转为嵌套switch语句__17

（9）、循环转置__18

（10）、公用代码块__19

（11）提升循环的性能__19

（12）、选择好的无限循环__20

6、提高CPU的并行性__21

（1）使用并行代码__21

（2）避免没有必要的读写依赖__22

7、循环不变计算__23

8、函数__24

（1）Inline函数__24

（2）不定义不使用的返回值__24

（3）减少函数调用参数__24

（4）所有函数都应该有原型定义__24

（5）尽可能使用常量（const）_25

（6）把本地函数声明为静态的（static）_25

9、采用递归__25

10、变量__25

（1）register变量__25

（2）、同时声明多个变量优于单独声明变量__26

（3）、短变量名优于长变量名，应尽量使变量名短一点__26

（4）、在循环开始前声明变量__26

11、使用嵌套的if结构__26

C代码优化方案

1、选择合适的算法和数据结构

选择一种合适的数据结构很重要，如果在一堆随机存放的数中使用了大量的插入和删除指令，那使用链表要快得多。

数组与指针语句具有十分密切的关系，一般来说，指针比较灵活简洁，而数组则比较直观，容易理解。

对于大部分的编译器，使用指针比使用数组生成的代码更短，执行效率更高。

在许多种情况下，可以用指针运算代替数组索引，这样做常常能产生又快又短的代码。

与数组索引相比，指针一般能使代码速度更快，占用空间更少。

使用多维数组时差异更明显。

下面的代码作用是相同的，但是效率不一样。

数组索引指针运算

For（;;）{p=array

A=array[t++];for（;;）{

a=*（p++）;

。

。

。

。

。

。

。

。

。

。

。

。

。

。

。

}}

指针方法的优点是，array的地址每次装入地址p后，在每次循环中只需对p增量操作。

在数组索引方法中，每次循环中都必须根据t值求数组下标的复杂运算。

2、使用尽量小的数据类型

能够使用字符型（char）定义的变量，就不要使用整型（int）变量来定义；能够使用整型变量定义的变量就不要用长整型（longint），能不使用浮点型（float）变量就不要使用浮点型变量。

当然，在定义变量后不要超过变量的作用范围，如果超过变量的范围赋值，C编译器并不报错，但程序运行结果却错了，而且这样的错误很难发现。

在ICCAVR中，可以在Options中设定使用printf参数，尽量使用基本型参数（%c、%d、%x、%X、%u和%s格式说明符），少用长整型参数（%ld、%lu、%lx和%lX格式说明符），至于浮点型的参数（%f）则尽量不要使用，其它C编译器也一样。

在其它条件不变的情况下，使用%f参数，会使生成的代码的数量增加很多，执行速度降低。

3、减少运算的强度

（1）、查表（游戏程序员必修课）

一个聪明的游戏大虾，基本上不会在自己的主循环里搞什么运算工作，绝对是先计算好了，再到循环里查表。

看下面的例子：

旧代码：

longfactorial（inti）

{

if（i==0）

return1;

else

returni*factorial（i-1）;

}

新代码：

staticlongfactorial_table[]=

{1，1，2，6，24，120，720/*etc*/};

longfactorial（inti）

{

returnfactorial_table[i];

}

如果表很大，不好写，就写一个init函数，在循环外临时生成表格。

（2）、求余运算

a=a%8;

可以改为：

a=a&7;

说明：

位操作只需一个指令周期即可完成，而大部分的C编译器的“%”运算均是调用子程序来完成，代码长、执行速度慢。

通常，只要求是求2n方的余数，均可使用位操作的方法来代替。

（3）、平方运算

a=pow（a,2.0）;

可以改为：

a=a*a;

说明：

在有内置硬件乘法器的单片机中（如51系列），乘法运算比求平方运算快得多，因为浮点数的求平方是通过调用子程序来实现的，在自带硬件乘法器的AVR单片机中，如ATMega163中，乘法运算只需2个时钟周期就可以完成。

既使是在没有内置硬件乘法器的AVR单片机中，乘法运算的子程序比平方运算的子程序代码短，执行速度快。

如果是求3次方，如：

a=pow（a，3。

0）;

更改为：

a=a*a*a；

则效率的改善更明显。

（4）、用移位实现乘除法运算

a=a*4;

b=b/4;

可以改为：

a=a<<2;

b=b>>2;

通常如果需要乘以或除以2n，都可以用移位的方法代替。

在ICCAVR中，如果乘以2n，都可以生成左移的代码，而乘以其它的整数或除以任何数，均调用乘除法子程序。

用移位的方法得到代码比调用乘除法子程序生成的代码效率高。

实际上，只要是乘以或除以一个整数，均可以用移位的方法得到结果，如：

a=a*9

可以改为：

a=（a<<3）+a

采用运算量更小的表达式替换原来的表达式，下面是一个经典例子:

旧代码:

x=w%8;

y=pow（x，2.0）;

z=y*33;

for（i=0;i

{

h=14*i;

printf（"%d"，h）;

}

新代码:

x=w&7;/*位操作比求余运算快*/

y=x*x;/*乘法比平方运算快*/

z=（y<<5）+y;/*位移乘法比乘法快*/

for（i=h=0;i

{

h+=14;/*加法比乘法快*/

printf（"%d"，h）;

}

（5）、避免不必要的整数除法

　　整数除法是整数运算中最慢的，所以应该尽可能避免。

一种可能减少整数除法的地方是连除，这里除法可以由乘法代替。

这个替换的副作用是有可能在算乘积时会溢出，所以只能在一定范围的除法中使用。

　　不好的代码：

inti，j，k，m；

m=i/j/k；

推荐的代码：

inti，j，k，m；

m=i/（j*k）；

（6）、使用增量和减量操作符

在使用到加一和减一操作时尽量使用增量和减量操作符，因为增量符语句比赋值语句更快，原因在于对大多数CPU来说，对内存字的增、减量操作不必明显地使用取内存和写内存的指令，比如下面这条语句：

x=x+1;

模仿大多数微机汇编语言为例，产生的代码类似于：

moveA，x;把x从内存取出存入累加器A

addA，1;累加器A加1

storex;把新值存回x

如果使用增量操作符，生成的代码如下：

incrx;x加1

显然，不用取指令和存指令，增、减量操作执行的速度加快，同时长度也缩短了。

（7）、使用复合赋值表达式

复合赋值表达式（如a-=1及a+=1等）都能够生成高质量的程序代码。

（8）、提取公共的子表达式

在某些情况下，C++编译器不能从浮点表达式中提出公共的子表达式，因为这意味着相当于对表达式重新排序。

需要特别指出的是，编译器在提取公共子表达式前不能按照代数的等价关系重新安排表达式。

这时，程序员要手动地提出公共的子表达式（在VC.NET里有一项“全局优化”选项可以完成此工作，但效果就不得而知了）。

不好的代码：

floata，b，c，d，e，f；

。

。

。

e=b*c/d；

f=b/d*a；

推荐的代码：

floata，b，c，d，e，f；

。

。

。

constfloatt（b/d）；

e=c*t；

f=a*t；

不好的代码：

floata，b，c，e，f；

。

。

。

e=a/c；

f=b/c；

推荐的代码：

floata，b，c，e，f；

。

。

。

constfloatt（1.0f/c）；

e=a*t；

f=b*t；

4、结构体成员的布局

　　很多编译器有“使结构体字，双字或四字对齐”的选项。

但是，还是需要改善结构体成员的对齐，有些编译器可能分配给结构体成员空间的顺序与他们声明的不同。

但是，有些编译器并不提供这些功能，或者效果不好。

所以，要在付出最少代价的情况下实现最好的结构体和结构体成员对齐，建议采取下列方法：

（1）按数据类型的长度排序

把结构体的成员按照它们的类型长度排序，声明成员时把长的类型放在短的前面。

编译器要求把长型数据类型存放在偶数地址边界。

在申明一个复杂的数据类型（既有多字节数据又有单字节数据）时，应该首先存放多字节数据，然后再存放单字节数据，这样可以避免内存的空洞。

编译器自动地把结构的实例对齐在内存的偶数边界。

（2）把结构体填充成最长类型长度的整倍数

把结构体填充成最长类型长度的整倍数。

照这样，如果结构体的第一个成员对齐了，所有整个结构体自然也就对齐了。

下面的例子演示了如何对结构体成员进行重新排序：

不好的代码，普通顺序：

struct

{

　　chara[5]；

　　longk；

　doublex；

}baz；

推荐的代码，新的顺序并手动填充了几个字节：

struct

{

　　doublex；

　　longk；

　　chara[5]；

charpad[7]；

}baz；

这个规则同样适用于类的成员的布局。

（3）按数据类型的长度排序本地变量

当编译器分配给本地变量空间时，它们的顺序和它们在源代码中声明的顺序一样，和上一条规则一样，应该把长的变量放在短的变量前面。

如果第一个变量对齐了，其它变量就会连续的存放，而且不用填充字节自然就会对齐。

有些编译器在分配变量时不会自动改变变量顺序，有些编译器不能产生4字节对齐的栈，所以4字节可能不对齐。

下面这个例子演示了本地变量声明的重新排序：

　　不好的代码，普通顺序

shortga，gu，gi；

longfoo，bar；

doublex，y，z[3]；

chara，b；

floatbaz；

推荐的代码，改进的顺序

doublez[3]；

doublex，y；

longfoo，bar；

floatbaz；

shortga，gu，gi；

（4）把频繁使用的指针型参数拷贝到本地变量

避免在函数中频繁使用指针型参数指向的值。

因为编译器不知道指针之间是否存在冲突，所以指针型参数往往不能被编译器优化。

这样数据不能被存放在寄存器中，而且明显地占用了内存带宽。

注意，很多编译器有“假设不冲突”优化开关（在VC里必须手动添加编译器命令行/Oa或/Ow），这允许编译器假设两个不同的指针总是有不同的内容，这样就不用把指针型参数保存到本地变量。

否则，请在函数一开始把指针指向的数据保存到本地变量。

如果需要的话，在函数结束前拷贝回去。

不好的代码：

//假设q!

=r

voidisqrt（unsignedlonga，unsignedlong*q，unsignedlong*r）

{

　　*q=a；

　　if（a>0）

　　{

　　　　while（*q>（*r=a/*q））

　　　　{

　　　　　　*q=（*q+*r）>>1；

　　　　}

　　}

　　*r=a-*q**q；

}

推荐的代码：

//假设q!

=r

voidisqrt（unsignedlonga，unsignedlong*q，unsignedlong*r）

{

　　unsignedlongqq，rr；

　　qq=a；

　　if（a>0）

　　{

　　　　while（qq>（rr=a/qq））

　　　　{

　　　　　　qq=（qq+rr）>>1；

　　　　}

　　}

　　rr=a-qq*qq；

　　*q=qq；

　　*r=rr；

}

5、循环优化

（1）、充分分解小的循环

　　要充分利用CPU的指令缓存，就要充分分解小的循环。

特别是当循环体本身很小的时候，分解循环可以提高性能。

注意:

很多编译器并不能自动分解循环。

不好的代码：

//3D转化：

把矢量V和4x4矩阵M相乘

for（i=0；i<4；i++）

{

　　r[i]=0；

　　for（j=0；j<4；j++）

　　{

　　　　r[i]+=M[j][i]*V[j]；

　　}

}

推荐的代码：

r[0]=M[0][0]*V[0]+M[1][0]*V[1]+M[2][0]*V[2]+M[3][0]*V[3]；

r[1]=M[0][1]*V[0]+M[1][1]*V[1]+M[2][1]*V[2]+M[3][1]*V[3]；

r[2]=M[0][2]*V[0]+M[1][2]*V[1]+M[2][2]*V[2]+M[3][2]*V[3]；

r[3]=M[0][3]*V[0]+M[1][3]*V[1]+M[2][3]*V[2]+M[3][3]*v[3]；

（2）、提取公共部分

对于一些不需要循环变量参加运算的任务可以把它们放到循环外面，这里的任务包括表达式、函数的调用、指针运算、数组访问等，应该将没有必要执行多次的操作全部集合在一起，放到一个init的初始化程序中进行。

（3）、延时函数

通常使用的延时函数均采用自加的形式：

voiddelay（void）

{

unsignedinti;

for（i=0;i<1000;i++）;

}

将其改为自减延时函数：

voiddelay（void）

{

unsignedinti;

for（i=1000;i>0;i--）;

}

两个函数的延时效果相似，但几乎所有的C编译对后一种函数生成的代码均比前一种代码少1~3个字节，因为几乎所有的MCU均有为0转移的指令，采用后一种方式能够生成这类指令。

在使用while循环时也一样，使用自减指令控制循环会比使用自加指令控制循环生成的代码更少1~3个字母。

但是在循环中有通过循环变量“i”读写数组的指令时，使用预减循环有可能使数组超界，要引起注意。

（4）、while循环和do…while循环

用while循环时有以下两种循环形式：

unsignedinti;

i=0;

while（i<1000）

{

i++;

//用户程序

}

或：

unsignedinti;

i=1000;

do

{

i--;

//用户程序

}

while（i>0）;

在这两种循环中，使用do…while循环编译后生成的代码的长度短于while循环。

（6）、循环展开

这是经典的速度优化，但许多编译程序（如gcc-funroll-loops）能自动完成这个事，所以现在你自己来优化这个显得效果不明显。

旧代码:

for（i=0;i<100;i++）

{

do_stuff（i）;

}

新代码:

for（i=0;i<100;）

{

do_stuff（i）;i++;

do_stuff（i）;i++;

do_stuff（i）;i++;

do_stuff（i）;i++;

do_stuff（i）;i++;

do_stuff（i）;i++;

do_stuff（i）;i++;

do_stuff（i）;i++;

do_stuff（i）;i++;

do_stuff（i）;i++;

}

可以看出，新代码里比较指令由100次降低为10次，循环时间节约了90%。

不过注意:

对于中间变量或结果被更改的循环，编译程序往往拒绝展开，（怕担责任呗），这时候就需要你自己来做展开工作了。

还有一点请注意，在有内部指令cache的CPU上（如MMX芯片），因为循环展开的代码很大，往往cache溢出，这时展开的代码会频繁地在CPU的cache和内存之间调来调去，又因为cache速度很高，所以此时循环展开反而会变慢。

还有就是循环展开会影响矢量运算优化。

（6）、循环嵌套

把相关循环放到一个循环里，也会加快速度。

旧代码:

for（i=0;i

for（j=0;j

a[i][j]=0.0;

for（i=0;i

a[i][i]=1.0;

新代码:

for（i=0;i

{

for（j=0;j

a[i][j]=0.0;

a[i][i]=1.0;/*put1'salongthediagonal*/

}

（7）、Switch语句中根据发生频率来进行case排序

Switch可能转化成多种不同算法的代码。

其中最常见的是跳转表和比较链/树。

当switch用比较链的方式转化时，编译器会产生if-else-if的嵌套代码，并按照顺序进行比较，匹配时就跳转到满足条件的语句执行。

所以可以对case的值依照发生的可能性进行排序，把最有可能的放在第一位，这样可以提高性能。

此外，在case中推荐使用小的连续的整数，因为在这种情况下，所有的编译器都可以把switch转化成跳转表。

不好的代码：

intdays_in_month，short_months，normal_months，long_months；

。

。

。

。

。

。

switch（days_in_month）

{

　　case28:

　　case29:

　　　　short_months++；

　　　　break；

　　case30:

　　　　normal_months++；

　　　　break；

　　case31:

　　　　long_months++；

　　　　break；

　　default:

　　　　cout<<"monthhasfewerthan28ormorethan31days"<

　　　　break；

}

推荐的代码：

intdays_in_month，short_months，normal_months，long_months；

。

。

。

。

。

。

switch（days_in_month）

{

　　case31:

　　　　long_months++；

　　　　break；

　　case30:

　　　　normal_months++；

　　　　break；

　　case28:

　　case29:

　　　　short_months++；

　　　　break；

　　default:

　　　　cout<<"monthhasfewerthan28ormorethan31days"<

　　　　break；

}

（8）、将大的switch语句转为嵌套switch语句

当switch语句中的case标号很多时，为了减少比较的次数，明智的做法是把大switch语句转为嵌套switch语句。

把发生频率高的case标号放在一个switch语句中，并且是嵌套switch语句的最外层，发生相对频率相对低的case标号放在另一个switch语句中。

比如，下面的程序段把相对发生频率低的情况放在缺省的case标号内。

pMsg=ReceiveMessage（）;

switch（pMsg->type）

{

caseFREQUENT_MSG1:

handleFrequentMsg（）;

break;

caseFREQUENT_MSG2:

handleFrequentMsg2（）;

break;

。

。

。

。

。

。

caseFREQUENT_MSGn:

handleFrequentMsgn（）;

break;

default:

//嵌套部分用来处理不经常发生的消息

switch（pMsg->type）

{

caseINFREQUENT_MSG1:

handleInfrequentMsg1（）;

break;

caseINFREQUENT_MSG2:

handleInfrequentMsg2（）;

break;

。

。

。

。

。

。

caseINFREQUENT_MSGm:

handleInfrequentMsgm（）;

break;

}

}

如果switch中每一种情况下都有很多的工作要做，那么把整个switch语句用一个指向函数指针的表来替换会更加有效，比如下面的switch语句，有三种情况：

enumMsgType{Msg1，Msg2，Msg3}

switch（ReceiveMessage（）

{

caseMsg1;

。

。

。

。

。

。

caseMsg2;

。

。

。

。

。

caseMsg3;

。

。

。

。

。

}

为了提高执行速度，用下面这段代码来替换这个上面的switch语句。

/*准备工作*/

inthand