C++编码优化

C++代码优化谈到优化，很多人都会直接想到汇编。难道优化只能在汇编层次吗？当然不是，C++层次一样可以作代码优化，其中有些常常是意想不到的。在C++层次进行优化，比在汇编层次优化具有更好的移植性，应该是优化中的首选做法。确定浮点型变量和表达式是float型为了让编译器产生更好的代码(比如说产生3DNow!或SSE指令的代码)，必须确定浮点型变量和表达式是float型的。要特别注意的是，以；F；或；f；为后缀（比如：3.14f）的浮点常量才是float型，否则默认是double型。为了避免float型参数自动转化为double，请在函数声明时使用float。使用32位的数据类型编译器有很多种，但它们都包含的典型的32位类型是：int，signed，signedint，unsigned，unsignedint，long，signedlong，longint，signedlongint，unsignedlong，unsignedlongint。尽量使用32位的数据类型，因为它们比16位的数据甚至8位的数据更有效率。明智使用有符号整型变量在很多情况下，你需要考虑整型变量是有符号还是无符号类型的。比如，保存一个人的体重数据时不可能出现负数，所以不需要使用有符号类型。但是，如果是要保存温度数据，就必须使用到有符号的变量。在许多地方，考虑是否使用有符号的变量是必要的。在一些情况下，有符号的运算比较快；但在一些情况下却相反。比如：整型到浮点转化时，使用大于16位的有符号整型比较快。因为x86构架中提供了从有符号整型转化到浮点型的指令，但没有提供从无符号整型转化到浮点的指令。看看编译器产生的汇编代码：不好的代码：编译前编译后doublex；mov[foo+4],0unsignedinti；moveax,ix=i；mov[foo],eaxflidqwordptr[foo]fstpqwordptr[x]上面的代码比较慢。不仅因为指令数目比较多，而且由于指令不能配对造成的FLID指令被延迟执行。最好用以下代码代替：推荐的代码：编译前编译后doublex；filddwordptr[i]inti；fstpqwordptr[x]x=i；在整数运算中计算商和余数时，使用无符号类型比较快。以下这段典型的代码是编译器产生的32位整型数除以4的代码：不好的代码编译前编译后inti；moveax,ii=i/4；cdqandedx,3addeax,edxsareax,2movi,eax推荐的代码编译前编译后unsignedinti；shri,2i=i/4；总结：无符号类型用于：除法和余数循环计数数组下标有符号类型用于：整型到浮点的转化whileVS.for在编程中，我们常常需要用到无限循环，常用的两种方法是while(1)和for(；；)。这两种方法效果完全一样，但那一种更好呢？然我们看看它们编译后的代码：编译前编译后while(1)；moveax,1testeax,eaxjefoo+23hjmpfoo+18h编译前编译后for(；；)；jmpfoo+23h一目了然，for(；；)指令少，不占用寄存器，而且没有判断跳转，比while(1)好。使用数组型代替指针型使用指针会使编译器很难优化它。因为缺乏有效的指针代码优化的方法，编译器总是假设指针可以访问内存的任意地方，包括分配给其他变量的储存空间。所以为了编译器产生优化得更好的代码，要避免在不必要的地方使用指针。一个典型的例子是访问存放在数组中的数据。C++允许使用操作符[]或指针来访问数组，使用数组型代码会让优化器减少产生不安全代码的可能性。比如，x[0]和x[2]不可能是同一个内存地址，但*p和*q可能。强烈建议使用数组型，因为这样可能会有意料之外的性能提升。不好的代码typedefstruct{floatx,y,z,w；}VERTEX；typedefstruct{floatm[4][4]；}MATRIX；voidXForm(float*res,constfloat*v,constfloat*m,intnNumVerts){floatdp；inti；constVERTEX*vv=(VERTEX*)v；for(i=0；i；nNumVerts；i++){dp=vv-；x**m++；dp+=vv-；y**m++；dp+=vv-；z**m++；dp+=vv-；w**m++；*res++=dp；//写入转换了的xdp=vv-；x**m++；dp+=vv-；y**m++；dp+=vv-；z**m++；dp+=vv-；w**m++；*res++=dp；//写入转换了的ydp=vv-；x**m++；dp+=vv-；y**m++；dp+=vv-；z**m++；dp+=vv-；w**m++；*res++=dp；//写入转换了的zdp=vv-；x**m++；dp+=vv-；y**m++；dp+=vv-；z**m++；dp+=vv-；w**m++；*res++=dp；//写入转换了的wvv++；//下一个矢量m-=16；}}推荐的代码typedefstruct{floatx,y,z,w；}VERTEX；typedefstruct{floatm[4][4]；}MATRIX；voidXForm(float*res,constfloat*v,constfloat*m,intnNumVerts){inti；constVERTEX*vv=(VERTEX*)v；constMATRIX*mm=(MATRIX*)m；VERTEX*rr=(VERTEX*)res；for(i=0；i；nNumVerts；i++){rr-；x=vv-；x*mm-；m[0][0]+vv-；y*mm-；m[0][1]+vv-；z*mm-；m[0][2]+vv-；w*mm-；m[0][3]；rr-；y=vv-；x*mm-；m[1][0]+vv-；y*mm-；m[1][1]+vv-；z*mm-；m[1][2]+vv-；w*mm-；m[1][3]；rr-；z=vv-；x*mm-；m[2][0]+vv-；y*mm-；m[2][1]+vv-；z*mm-；m[2][2]+vv-；w*mm-；m[2][3]；rr-；w=vv-；x*mm-；m[3][0]+vv-；y*mm-；m[3][1]+vv-；z*mm-；m[3][2]+vv-；w*mm-；m[3][3]；}}注意:源代码的转化是与编译器的代码发生器相结合的。从源代码层次很难控制产生的机器码。依靠编译器和特殊的源代码，有可能指针型代码编译成的机器码比同等条件下的数组型代码运行速度更快。明智的做法是在源代码转化后检查性能是否真正提高了，再选择使用指针型还是数组型。充分分解小的循环要充分利用CPU的指令缓存，就要充分分解小的循环。特别是当循环体本身很小的时候，分解循环可以提高性能。BTW:很多编译器并不能自动分解循环。不好的代码//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]；避免没有必要的读写依赖当数据保存到内存时存在读写依赖，即数据必须在正确写入后才能再次读取。虽然AMDAthlon等CPU有加速读写依赖延迟的硬件，允许在要保存的数据被写入内存前读取出来，但是，如果避免了读写依赖并把数据保存在内部寄存器中，速度会更快。在一段很长的又互相依赖的代码链中，避免读写依赖显得尤其重要。如果读写依赖发生在操作数组时，许多编译器不能自动优化代码以避免读写依赖。所以推荐程序员手动去消除读写依赖，举例来说，引进一个可以保存在寄存器中的临时变量。这样可以有很大的性能提升。下面一段代码是一个例子：不好的代码floatx[VECLEN],y[VECLEN],z[VECLEN]；......for(unsignedintk=1；k；VECLEN；k++){x[k]=x[k-1]+y[k]；}for(k=1；k；VECLEN；k++){x[k]=z[k]*(y[k]-x[k-1])；}推荐的代码floatx[VECLEN],y[VECLEN],z[VECLEN]；......floatt(x[0])；for(unsignedintk=1；k；VECLEN；k++){t=t+y[k]；x[k]=t；}t=x[0]；for(k=1；k；VECLEN；k++){t=z[k]*(y[k]-t)；x[k]=t；}Switch的用法Switch可能转化成多种不同算法的代码。其中最常见的是跳转表和比较链/树。推荐对case的值依照发生的可能性进行排序，把最有可能的放在第一个，当switch用比较链的方式转化时，这样可以提高性能。此外，在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；；；endl；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；；；endl；break；}所有函数都应该有原型定义一般来说，所有函数都应该有原型定义。原型定义可以传达给编译器更多的可能用于优化的信息。尽可能使用常量(const)尽可能使用常量(const)。C++标准规定，如果一个const声明的对象的地址不被获取，允许编译器不对它分配储存空间。这样可以使代码更有效率，而且可以生成更好的代码。提升循环的性能要提升循环的性能，减少多余的常量计算非常有用（比如，不随循环变化的计算）。不好的代码(在for()中包含不变的if())推荐的代码for(i...){if(CONSTANT0){DoWork0(i)；//假设这里不改变CONSTANT0的值}else{DoWork1(i)；//假设这里不改变CONSTANT0的值}}if(CONSTANT0){for(i...){DoWork0(i)；}}else{for(i...){DoWork1(i)；}}如果已经知道if()的值，这样可以避免重复计算。虽然不好的代码中的分支可以简单地预测，但是由于推荐的代码在进入循环前分支已经确定，就可以减少对分支预测的依赖。把本地函数声明为静态的(static)如果一个函数在实现它的文件外未被使用的话，把它声明为静态的(static)以强制使用内部连接。否则，默认的情况下会把函数定义