条款30：透彻了解 inlining 的里里外外
- 内联函数背后的思想是用它的代码体替换对该函数的每次调用，大多数是编译时的行为。这可能会增加目标代码的大小（如果函数特别小还可能减少目标代码的大小）。它看上去，用起来都是函数，还避免了函数调用的开销。
- 内联是对编译器的请求，而不是命令。请求可以隐式给出，也可以显式给出：
class Person {
public:...int age() const { return theAge; } //隐式内联请求: age在类定义中定义 ...
private:int theAge;
};template<typename T>
inline const T& std::max(const T& a, const T& b) // 显示请求内联
{return a < b ? b : a;
}
- 如果函数过于复杂，编译器会拒绝内联请求(例如，那些包含循环或递归的函数)；由于编译时无法确定，所有的虚函数都不允许内联。
- 如果程序需要内联函数的地址，编译器通常必须为其生成函数体：
inline void f() { ... } // 假定编译器愿意内联函数f的调用
void (*pf)() = f; // pf 指向f
...
f(); // 这个调用会被内联，因为它是一个“普通的”pf(); // 这个调用可能不会，因为它是通过函数指针
- 构造函数和析构函数通常不适合内联。
class Base {
public:...
private:std::string bm1, bm2;
};
//构造基类部分、构造成员、如果在构造对象的过程中抛出异常，对象中任何已经完全构造好的部分都会自动被销毁。
class Derived : public Base {
public:Derived() {} // Derived的构造函数是空的？真的是空的吗?...
private:std::string dm1, dm2, dm3;
};
我们可以想象一下，编译器可能为上面的声明为空的派生类构造函数生成了如下代码:
Derived::Derived() // “空”派生类构造函数概念的实现
{ Base::Base(); // 初始化基类部分try { dm1.std::string::string(); } // 尝试构建dm1catch (...) { // 如果它抛出异常,Base::~Base(); // 销毁基类部分，throw; // 并且传播该异常}try { dm2.std::string::string(); } // 尝试构建dm2catch (...) { // 如果它抛出异常,dm1.std::string::~string(); // 销毁 dm1,Base::~Base(); // 销毁基类部分，throw; // 并且传播该异常}try { dm3.std::string::string(); } // 尝试构建dm3catch (...) { // 如果它抛出异常,dm2.std::string::~string(); // 销毁 dm2,dm1.std::string::~string(); // 销毁 dm1,Base::~Base(); // 销毁基类部分，throw; // 并且传播该异常}
}
总结：
- 将大多数内联操作限制为小型的、频繁调用的函数。这有助于调试和二进制程序的升级，最大限度地减少潜在的代码膨胀，并最大限度地提高程序速度。
- 不要仅仅因为函数模板出现在头文件中，就将它们声明为内联模板。
