C++也支持面向过程的程序设计,不是一个纯正的面向对象的语言,它保持了C的简洁、高效和接近汇编语言等特点,引入了类的机制,最初的C++被称为“带类的C”,好了,那么就现在开始进行C++优化代码的讲解吧。
为了让编译器产生更好的C++优化代码(比如说产生3DNow! 或SSE指令的代码),必须确定浮点型变量和表达式是 float 型的。要特别注意的是,以 ";F"; 或 ";f"; 为后缀(比如:3.14f)的浮点常量才是 float 型,否则默认是 double 型。为了避免 float 型参数自动转化为 double,请在函数声明时使用 float。
使用32位的数据类型
编译器有很多种,但它们都包含的典型的32位类型是:int,signed,signed int,unsigned,unsigned int,long,signed long,long int,signed long int,unsigned long,unsigned long int。尽量使用32位的数据类型,因为它们比16位的数据甚至8位的数据更有效率。 #t#
明智使用有符号整型变量
在很多情况下,你需要考虑整型变量是有符号还是无符号类型的。比如,保存一个人的体重数据时不可能出现负数,所以不需要使用有符号类型。但是,如果是要保存温度数据,就必须使用到有符号的变量。
在许多地方,考虑是否使用有符号的变量是必要的。在一些情况下,有符号的运算比较快;但在一些情况下却相反。比如:整型到浮点转化时,使用大于16位的有符号整型比较快。因为x86构架中提供了从有符号整型转化到浮点型的指令,但没有提供从无符号整型转化到浮点的指令。看看编译器产生的汇编代码,不好的代码:
- double x; mov [foo + 4], 0
- unsigned int i; mov eax, i
- x = i; mov [foo], eax
- flid qword ptr [foo]
- fstp qword ptr [x]
上面的代码比较慢。不仅因为指令数目比较多,而且由于指令不能配对造成的FLID指令被延迟执行。最好用以下C++优化代码代替,推荐的C++优化代码:
- double x; mov [foo + 4], 0
- unsigned int i; mov eax, i
- x = i; mov [foo], eax
- flid qword ptr [foo]
- fstp qword ptr [x]
在整数运算中计算商和余数时,使用无符号类型比较快。以下这段典型的代码是编译器产生的32位整型数除以4的代码,不好的代码 推荐的代码:
- int i; mov eax, i
- ii = i / 4; cdq
- and edx, 3
- add eax, edx
- sar eax, 2
- mov i, eax
在编程中,我们常常需要用到无限循环,常用的两种方法是while (1) 和 for (;;)。这两种方法效果完全一样,但那一种更好呢?然我们看看它们编译后的C++优化代码:
- int i; mov eax, i
- ii = i / 4; cdq
- and edx, 3
- add eax, edx
- sar eax, 2
- mov i, eax