C++ FAQ Lite[9]--内联函数(更新)

类别:VC语言 点击:0 评论:0 推荐:
[9] 内联函数
(Part of C++ FAQ Lite, Copyright © 1991-2001, Marshall Cline, [email protected])

简体中文版翻译:申旻,[email protected](东日制作室,东日文档)

FAQs in section [9]: [9.1] 内联函数是什么? [9.2] 内联函数是如何在安全和速度上取得折衷? [9.3] 为什么我应该用内联函数?而不是原来清晰的 #define 宏? [9.4] 如何告诉编译器使非成员函数成为内联函数? [9.5] 如何告诉编译器使一个成员函数成为内联函数? [9.6] 有其它方法告诉编译器使成员函数成为内联吗? [9.7] 内联函数保证执行性能更好吗?

[9.1] 内联函数是什么?

内联函数是代码被插入到调用者代码串处的函数。如同 #define 宏,内联函数通过避免被调用的开销来提高执行效率,尤其是它能够通过调用(“过程化集成”)被编译器优化。

[ Top | Bottom | Previous section | Next section ]

[9.2] 内联函数是如何在安全和速度上取得折衷?

在 C 中,你可以通过在结构中设置一个 void* 来得到“封装的结构”,在这种情况下,指向实际数据的 void* 指针对于结构的用户来说是未知的。因此结构的用户不知道如何解释void*指针所指内容,但是存取函数可以将 void* 转换成适当的隐含类型。这样给出了封装的一种形式。

不幸的是这样做丧失了类型安全,并且也将繁琐的对结构中的每个域的访问强加于函数调用。(如果你允许直接存取结构的域,那么对任何能直接存取的人来说,了解如何解释 void* 指针所指内容就是必要的了;这样将使改变底层数据结构变的困难)。

虽然函数调用开销是很小的,但它会被累积。C++类允许函数调用以内联展开。这样让你在得到封装的安全性时,同时得到直接存取的速度。此外,内联函数的参数类型由编译器检查,这是对 C 的 #define 宏的一个改进。

[ Top | Bottom | Previous section | Next section ]

[9.3] 为什么我应该用内联函数?而不是原来清晰的 #define 宏?

[Recently rewrote the sentence on #define being evil (on 7/00). Click here to go to the next FAQ in the "chain" of recent changes.]

因为#define宏是在四处是有害的:罪状#1, 罪状#2, 罪状#3, 和 罪状#4。

和 #define 宏不同的是,内联函数总是对参数只精确地进行一次求值,从而避免了声名狼藉的宏错误。换句话说,调用内联函数和调用正规函数是等价的,差别仅仅是更快:
 // 返回 i 的绝对值的宏
 #define unsafe(i)  \
         ( (i) >= 0 ? (i) : -(i) )
 
 // 返回 i 的绝对值的内联函数
 inline
 int safe(int i)
 {
   return i >= 0 ? i : -i;
 }
 
 int f();
 
 void userCode(int x)
 {
   int ans;
 
   ans = unsafe(x++);   // 错误!x 被增加两次
   ans = unsafe(f());   // 危险!f()被调用两次
 
   ans = safe(x++);     // 正确! x 被增加一次
   ans = safe(f());     // 正确! f() 被调用一次
 }

和宏不同的,还有内联函数的参数类型被检查,并且被正确地进行必要的转换。

宏是有害的;非万不得已不要用。

[ Top | Bottom | Previous section | Next section ]

[9.4] 如何告诉编译器使非成员函数成为内联函数?

声明内联函数看上去和普通函数非常相似:

 void f(int i, char c);

当你定义一个内联函数时,在函数定义前加上 inline 关键字,并且将定义放入头文件:

 inline
 void f(int i, char c)
 {
   // ...
 }

注意:将函数的定义({...}之间的部分)放在头文件中是强制的,除非该函数仅仅被单个 .cpp 文件使用。尤其是,如果你将内联函数的定义放在 .cpp 文件中并且在其他 .cpp文件中调用它,连接器将给出 “unresolved external” 错误。

[ Top | Bottom | Previous section | Next section ]

[9.5] 如何告诉编译器使一个成员函数成为内联函数?

声明内联成员函数看上去和普通函数非常类似:

 class Fred {
 public:
   void f(int i, char c);
 };

但是当你定义内联成员函数时,在成员函数定义前加上 inline 关键字,并且将定义放入头文件中:

 inline
 void Fred::f(int i, char c)
 {
   // ...
 }

通常将函数的定义({...}之间的部分)放在头文件中是强制的。如果你将内联函数的定义放在 .cpp 文件中并且在其他 .cpp 文件中调用它,连接器将给出“unresolved external”错误。

[ Top | Bottom | Previous section | Next section ]

[9.6] 有其它方法告诉编译器使成员函数成为内联吗?

有:在类体内定义成员函数:

 class Fred {
 public:
   void f(int i, char c)
     {
       // ...
     }
 };

尽管这对于写类的人来说很容易,但由于它将类是“什么”(what)和类“如何”(how)工作混在一起,给阅读的人带来了困难。我们通常更愿意在类体外使用 inline 关键字定义成员函数来避免这种混合。这种感觉所基于的认识是:在一个面向重用的世界中,使用你的类的人有很多,而建造它的人只有一个(你自己);因此你做任何事都应该照顾多数而不是少数。

[ Top | Bottom | Previous section | Next section ]

[9.7] 内联函数保证执行性能更好吗?

[Recently explained "code bloat" and also added lots of if's, and's and but's (on 4/01). Click here to go to the next FAQ in the "chain" of recent changes.]

不。

小心过度使用内联函数可能导致代码膨胀。在页面调度环境中,它可能会给执行性能带来负面影响。

代码膨胀术语只表示代码的尺寸会增大(膨胀)。在有关内联函数的上下文中,更关心的是内联函数会增加执行代码的尺寸,并导致操作系统不稳定。这意味着操作系统要花费大部分的时间从磁盘取出代码。

当然,内联函数也可能减小执行代码的尺寸。看上去反了,其实是真的。特别是,调用函数的代码总量有时会大于展开的内联函数的代码总量。这样的情况会发生于非常小的函数,当优化器能删除很多冗余代码时——也就是当优化器能使长的函数变短时,也可能会发生于长的函数。

因此结论就是:没有简单的定论。你必须因地制宜。不要使得答案象这样的单纯化,“不要用内联函数”或“总是使用内联函数”或“当且仅当函数代码少于 N 行时用内联函数”。这种一刀切的方法可能用起来非常简单,但是它们产生的并不是最佳结果。

[ Top | Bottom | Previous section | Next section ]

 E-mail the author
[ C++ FAQ Lite | Table of contents | Subject index | About the author | © | Download your own copy ]
Revised Apr 8, 2001

本文地址:http://com.8s8s.com/it/it3741.htm