Effective C++ T30：透彻了解inline 的里里外外

Effective C++学习笔记总链接

改善程序与设计的55个具体做法学习笔记-每日1条

---

条款30：透彻了解inline 的里里外外

【技巧】

1. 将大多数inline限制在小型、被频繁调用的函数身上。这可使日后的调试过程和二进制升级更容易，也可使潜在的代码膨胀问题最小化，使程序的速度提升机会最大化。

2. 不要只因为function template出现在头文件，就将它们声明为inline。

---

inline函数的优势：

• 可以调用，又不需蒙受函数调用所招致的额外开销。
• 编译器最优化机制通常被设计用来浓缩那些“不含函数调用”的代码，所以当你inline某个函数，或许编译器就因此有能力对它执行语境相关最优化。

inline函数背后的整体观念是：将“对此函数的每一个调用”都以函数本体替换之。这样会增加目标码大小。会增加程序体积大小，伴随这些而来的是效率损失。

相反，如果inline函数的本体很小，编译器针对“函数本体”所产出的码可能比针对”函数调用“所产生的码更小。

inline只是对编译器的一个申请，不是强制命令。既可以隐喻提出，也可以明确提出。

隐喻提出是将函数定义于class中

class Person
{
public:
	...
	int age() const // 一个隐喻的inline申请
	{
		return theAge;
	}
private:
	int theAge;
};

成员函数和friend函数 在class内定义都被隐喻声明为inline函数。

明确提出，使用关键字inline

template<typename T>
inline const T& std::max(const T& a, const T& b) // 明确申请inline
{
	return a < b ? b : a; 
}

明确声明inline函数：在其定义式前加上关键字inline。

template具体化与inline无关

inline在大多数C++程序中是编译期行为。

template通常被置于头文件内，因为它一旦被使用，编译器为了将它具现化，需要知道它长什么样子。

template具体化与inline无关，如果你写的template 没有理由要求它所具现的每一个函数都是inline，就应该避免将这个template声明为inline。inline是需要成本的。

所有的virtual函数的调用也会使inline落空

因为virtual意味着“等待，直到运行期才确定调用哪个函数”
而inline意味着“执行前，先将调用动作替换为被调用函数的本体”

编译器通常不对“通过函数指针而进行调用”实施inline

如果程序要取某个inline函数的地址，编译器通常必须为此函数生成一个outline函数本体，毕竟编译器哪有能力期初一个指针指向并不存在的函数呢？

inline void f() { ... } // 假设编译器有意愿inline“对f的调用”
void (*pf) () = f; // pf 指向 f
...
f(); // 这个调用将被inline，因为它是一个正常调用
pf(); // 这个调用或许不被inline，因为它是通过函数指针达成。

构造函数和析构函数往往是inline的糟糕候选人

class Derived:public base
{
public:
	Derived(){} //构造函数是空的，嘿嘿，是真的吗？
	...
private:
	std::string dm1,dm2,dm3;
};

上述代码的无参构造函数看起来像是inline的绝佳候选人（错误），但是你的眼睛欺骗了你。

但实际上Derived()构造函数至少会调用其成员变量和base class的两者的构造函数。

现在或许很清楚了，是否将Derived()构造函数inline化，并非是个轻松的决定。

inline函数无法随着程序库的升级而升级

程序设计者必须评估“将函数声明为inline”的冲击。

如果f是程序库内的一个inline函数，客户将“f函数本体”编进其程序中，一旦程序库设计者决定改变f，所有用到f的客户端程序都必须重新编译。

然而如果f是non-inline函数，一旦它有任何修改，客户端只需重新连接就好，远比重新编译的负担少很多。

80-20经验法则

一个程序往往将80%的执行时间花费在20%代码上头。作为一个软件开发者，你的目标是找出这可以有效增进程序整体效率的20%代码，然后将它inline或竭尽所能地将它瘦身。