内联函数并不总是内联

Inline function是在C++中引入的一种机制，它可以拓展函数代码，避免调用函数的额外开销。在Linux环境下，gcc编译选项必须加上优化选项才能使inline有效。如

inline int fun(int i, int j)

{

printf("%d/n", i+j);

return i+j;

}

void main()
{
fun(3,4);
}
不带优化编译选项：g++ -S inline.cc
产生的汇编代码片断如下：

andl $-16, %esp ；栈指针对齐
subl $16, %esp ； 栈指针下移，为函数调用参数预留足够空间

movl $4, 4(%esp) ；参数入栈，后声明先入
movl $3, (%esp) ；参数入栈，先声明后入
call _Z3funii ；函数调用，经过name-mangling处理
即使是inline函数，如果不带优化编译选项，inline关键字也不会对fun产生任何影响
那现在加上优化选项：g++ -S -O inline.cc

产生的汇编代码片断如下：
andl $-16, %esp
subl $16, %esp
movl $7, 4(%esp)
movl $.LC0, (%esp)
call printf
这里已经没有了函数调用的过程，fun函数已经被拓展了。

那现在有一个问题，是不是只要加上inline定义的函数，加上优化选项，就能一定被拓展呢？答案是否定的，因为，加上inline关键字，只是告诉编译器，函数想要被inline，但决定权在编译器手里，由它来决定函数是否inline。这是因为有的函数复杂度很高，这样的话，如果拓展就得不偿失，这样编译器就会忽略inline关键字，不会对函数调用做任何额外的处理，例如定义一个递归函数。还有一种情况是virtual函数，它既可以是内联函数，也可以不是内联函数。

inline int fun(int i, int j)

{

if(i-->0)

fun(i, j);

printf("%d/n", i+j);

return i+j;

}

那现在我们再来看看编译器是否会使函数inline：g++ -S -O inline.cc
产生的汇编代码片断如下：

main:
.LFB12:
.cfi_startproc
pushl %ebp
.cfi_def_cfa_offset 8
.cfi_offset 5, -8
movl %esp, %ebp
.cfi_def_cfa_register 5
andl $-16, %esp
subl $16, %esp
movl $4, 4(%esp)
movl $2, (%esp)
call _Z3funii
movl $6, 4(%esp)
movl $.LC0, (%esp)
call printf
movl $0, %eax
答案很清晰了。
对于virtual函数来说，如果没有触发它的virtual机制，那么，virtual函数是当作正常函数来调用的，这种情况下就可以使用内联机制，如果调用时触发了virtual机制（也就是通过指针或引用来调用），那么这个时候inline的虚函数是没法内联的。也就是说，只有当编译器在编译期能够确定的情况下，inline才能起作用，而触发了virtual机制的地方，调用的函数地址的可变的，没法把它用确定的函数代码替换，只能通过函数调用的方式来使用，所以没法使用inline。如：

class Base
{
public:
virtual void vfun(int i) { printf("%p/n", i); }
};
int main()
{
Base b;
b.vfun(3);
Base *bp = &b;
bp->vfun(4);

return 0;
}
主要汇编代码如下：
andl $-16, %esp

subl $32, %esp
//b.vfun(3); 使用内联
movl $_ZTV4Base+8, 28(%esp)
movl $3, 4(%esp)
movl $.LC0, (%esp)
call printf
//bp->vfun(4); 正常函数调用
movl $4, 4(%esp)
leal 28(%esp), %eax
movl %eax, (%esp)
call _ZN4Base4vfunEi