[读书笔记] 深入探索C++对象模型-第四章-Function语义学（下续）

第四章的最后，补充几点关于内联（inline）函数的：

inline函数参数带有副作用，或者是以一个单一的表达式做多重调用，或是inline函数中有多个局部变量，都会产生临时对象，可能会产生大量的扩展码，是程序的大小膨胀，所以inline函数的使用必须要谨慎：

1. 对于单一表达式的多重调用：

对于如下incline函数：

inline Point operator+ (const Point& lhs, const Point& rhs)
{
    Point new_pt;
    new_pt.x(lhs.x() + rhs.x());//x()函数为成员变量_x的get，set函数
    return new_pt;
}
           

由于该函数只是一个表达式，在cfront中，则其第二或者后继的调用操作不会被扩展，会变成：

new_pt.x = lhs._x + x__5PointFV(&rhs);
           

没有带来效率上的提升，需要重写为：

new_pt.x(lhs._x + rhs._x);
           

2. inline函数对于形式（Formal）参数的处理。

有如下inline函数：

inline int min(int i, int j)
{
    return i < j ? i : j;
}
           

如下三个调用：

inline int bar()
{
    int minVal;
    int val1 = 1024;
    int val2 = 2048;

    minVal = min(val1, val2);//case 1
    minVal = min(1024, 2048);//case 2
    minVal = min(foo(), bar() + 1);//case 3
    
    return minVal;
}
           

对于case1，调用会直接展开：

minVal = val1 < val2 ? val1 : val2;
           

case2直接使用常量：

minVal = 1024;
           

对于case3，由于引发了参数的副作用，需要导入临时对象，以避免重复求值（注意下面逗号表达式的使用）：

int t1;
int t2;

minVal = (t1 = foo()), (t2 = bar() + 1), t1 < t2 ? t1: t2;
           

3. inline函数中引入了局部变量。

改写上述min函数，引入一个局部变量：

inline int min(int i, int j)
{
    int minVal = i < j ? i : j;
    return minVal;
}
           

对于如下调用：

int minVal;
int val1 = 1024;
int val2 = 2048;
minVal = min(val1, val2);
           

为了维护局部变量，会被扩展为：

int minVal;
int val1 = 1024;
int val2 = 2048;

int __min_lv_minVal;//将inline函数局部变量mangling
minVal = (__min_lv_minVal = val1 < val2 ? val1: val2), __min_lv_minVal;
           

再复杂一些的情况，例如局部变量加上有副作用的参数，会导致大量临时性对象的产生：

minVal = min(val1, val2) + min(foo(), bar() + 1);
           

会被扩展成为，注意逗号表达式，由左至右计算各个分式，以最右端的分式值作为最终值传回：

int __min_lv_minVal_00;
int __min_lv_minVal_01;

int t1;
int t2;

minVal = (__min_lv_minVal_00 = val1 < val2 ? val1 : val2, __min_lv_minVal_00) +
(__min_lv_minVal_01 = (t1 = foo(), t2 = bar() + 1, t1 < t2 ? t1 : t2), __min_lv_minVal_01);
           

会产生多个临时变量，所以inline函数的使用必须要谨慎。