内联函数背后的思想是用它的代码体替换对该函数的每次调用,大多数是编译时的行为。这可能会增加目标代码的大小(如果函数特表小还可能减少目标代码的大小)。它看上去,用起来都是函数,还避免了起函数调用的开销。
内联是对编译器的请求,而不是命令。请求可以隐式给出,也可以显式给出:
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(); } // 尝试构建dm1
catch (...) { // 如果它抛出异常,
Base::~Base(); // 销毁基类部分,
throw; // 并且传播该异常
}
try { dm2.std::string::string(); } // 尝试构建dm2
catch (...) { // 如果它抛出异常,
dm1.std::string::~string(); // 销毁 dm1,
Base::~Base(); // 销毁基类部分,
throw; // 并且传播该异常
}
try { dm3.std::string::string(); } // 尝试构建dm3
catch (...) { // 如果它抛出异常,
dm2.std::string::~string(); // 销毁 dm2,
dm1.std::string::~string(); // 销毁 dm1,
Base::~Base(); // 销毁基类部分,
throw; // 并且传播该异常
}
}
- 将大多数内联操作限制为小型的、频繁调用的函数。这有助于调试和二进制程序的升级,最大限度地减少潜在的代码膨胀,并最大限度地提高程序速度。
- 不要仅仅因为函数模板出现在头文件中,就将它们声明为内联模板。