一、内联函数
(1)、为什么会有内联函数
当程序执行函数调用时,系统要建立栈空间,保护现场,传递参数以及控制程序执行的转移等等,这些工作需要系统时间和空间的开销。有些情况下,函数本身功能简单,代码很短,但使用频率却很高,程序频繁调用该函数所花费的时间却很多,从而使得程序执行效率降低。
为了提高效率,一个解决办法就是不使用函数,直接将函数的代码嵌入到程序中。但这个办法也有缺点,一是相同代码重复书写,二是程序可读性往往没有使用函数的好。
为了协调好效率和可读性之间的矛盾,C++提供了另一种方法,即定义内联函数,方法是在定义函数时用修饰词inline。
与const变量相比,const是变量的替换,内联函数就相当于代码的直接替换。
(2)、内联函数的声明
内联函数声明时inline关键字必须和函数定义结合在一起,否则否则编译器会直接忽略内联请求。但是如果类的成员函数在类体内定义,那么该函数默认为内联的。
inline max(int a, int b)//内联函数的声明和定义
{
return a < b ? b : a;
}
(3)、内联函数和带参数宏的区别
- 内联函数调用时,要求实参和形参的类型一致,另外内联函数会先对实参表达式进行求值,然后传递给形参;而宏调用时只用实参简单地替换形参。
- 内联函数是在编译的时候、在调用的地方将代码展开的,而宏则是在预处理时进行替换的
- 在C++中建议采用inline函数来替换带参数的宏。因为内联函数带参数检查使程序更健壮
内联函数由编译器处理,编译器直接将编译后的函数体插入调用的地方。注意:内联函数是对编译器的一种请求,至于这个函数是否按内联处理,则取决于编译器。
现代C++编译器能够进行编译优化,因此一些函数即使没有inline声明,也可能被编译器内联编译
另外,一些现代C++编译器提供了扩展语法,能够对函数进行强制内联如:g++中的__attribute__((always_inline))属性
(5)、内联函数的限制
- 不能存在任何形式的循环语句
- 不能存在过多的条件判断语句
- 函数体不能过于庞大
- 不能对函数进行取址操作
前三条是因为增加了函数的复杂性,而复杂的函数内联会增大系统调用开销,所以内联是没有意义的,第四条是因为函数执行的是函数体调用替换,所以不存在确定的地址。
二、新的类型转换运算符
(1)、C中的类型转换符
C语言中的类型转换符也成为强制类型转换。如:(T)expr或者T(expr)
(2)、const_cast<T>(expr)
const_cast<T>(expr)的作用是用来移除对象的常量性(castaway the constness),一般用于指针或者引用,使用const_cast去除const限定的目的不是为了修改它的内容,通常是为了函数能够接受这个实际参数
(3)、static_cast
<T>(expr)
编译器默认是可以执行隐式转换的,这些工作也都可以由static_cast完成。当一个较大的算术类型赋值给较小的类型时,隐式转换就不行了,这时可以用static_cast进行强制转换。它具有以下功能:
- 可以将void*指针转换为某一类型的指针
- 可以将基类指针指向派生类指针
(4)、reinterpret_cast<T>(expr)
通常为操作数的位模式提供较低层的重新解释”也就是说将数据以二进制存在形式的重新解释。如下:
int i;
char *p = "abc.";
i = reinterpret_cast<int>(p);
//此时结果,i与p的值是完全相同的。但是不能以操作p的方式操作i,比如strlen(i)就是错误的
(5)dynamic_cast<T>(expr)
执行“安全向下”转型操作,也就是说支持运行时识别指针或所指向的对象,比如把基类对象转换成派生类对象,这是唯一个无法用旧式语来进行的转型操作。