6.4内联函数和constexpr函数

内联函数和constexpr函数

我们先看一个函数，这个函数的功能是比较两个string形参的长度并返回较小的string的引用。

string &shorterString(const string &s1, const string &s2) {
    return s1.size() > s2.size() ? s2 : s1;
}

这种规模比较小的操作定义成函数有很多好处，包括：

• 阅读shorterString函数比阅读等价表达式容易得多
• 增加通用性，每次相关操作都能使用
• 如果修改计算过程，修改函数比找到所有等价表达式出现的地方容易得多

但是。使用shorterString函数存在一个潜在的缺点：调用函数比求等价表达式的值更慢。一次函数调用的过程包括：调用前先保存寄存器，并在返回时恢复；可能要拷贝形参；函数返回时会生成一个临时量也会进行拷贝；程序转向新的位置继续执行。

1.内联函数

内联函数可以避免函数调用的开销。在函数的返回类型前面添加关键字inline，就可以将它声明成内联函数了：

将一个函数指定为内联函数，将会在编译阶段在调用点将函数展开成等价的表达式。

如：将上述函数定义成内联函数

inline const string &shorterString(const string &s1, const string &s2) {
    return s1.size() > s2.size() : s1 : s2; 
}
cout << shorterString(s1, s2) << endl;
//等价于
cout << (s1.size() < s2.size() : s1 : s2);

内联函数用于优化规模较小、流程直接、频繁使用的函数。内联说明只是向编译器发出一个请求，编译器可以忽略这个请求。

2.constex和prconstexpr函数

①常量表达式

常量表达式是指不会改变并且在编译过程就能得到结果的表达式。显然，字面值常量属于常量表达式，用常量表达式初始化的const对象也是常量表达式。如：

const int max_files = 20; //max_files是常量表达式
const int limit = max_files + 1; //limit是常量表达式
int staff_size = 27; //staff_size不是常量表达式
const int sz = get_size(); //sz不是常量表达式，因为sz虽然是常量，但在程序运行而不是编译阶段得到结果

②constexpr常量

在一个复杂系统中，我们很难分辨一个初始值到底是不是常量表达式。我们可以将变量声明为constexpr类型，让编译器来验证变量的值是否是一个常量表达式，如果初始值不是constexpr表达式，则会报错。 因此，通过编译的constexpr变量的值一定是一个常量表达式。

int size() {
    return 10;
}
int main() {
     //size()不是常量表达式，不能通过编译，只有size()是常量表达式才能编译通过
    constexpr int sz = size();
    return 0;
}

③constexpr函数

constexpr函数是指能用于常量表达式的函数。

定义constexpr函数只需在返回类型前加上constexpr。 不过，定义constexpr需要遵循几项约定：

• 函数的返回类型及所有形参都是字面值类型(包括算数类型、引用类型和指针类型)
• 函数体中有且只有一条return语句

如：

constexpr int new_sz() {
    return 42;
}
constexpr int foo = new_sz(); //正确：foo是一个常量表达式

把new_sz定义成无参的constexpr函数。因为编译器能在程序编译时验证new sz函数返回的是常量表达式，所以可以用new_sz函数初始化constexpr类型变量foo。