将空函数优化掉是一项很有意义的工作。比如，在程序中，常常要定义一个打印函数。如果在 release时，把这个函数使用条件编译定义为空函数。
且此空函数被优化掉，那就可以极大地提高程序的性能。
测试表明： 在gcc中，使用 -O可以优化掉内联的空函数。默认情况下，空函数不会被优化掉。即使使用 -O，也不会优化掉非内联的空函数。
内联的空函数会被优化掉是很容易理解的。函数被内联后，没有了参数入栈出栈操作，自然也就无代码可生成了。
但没有优化选项是，内联函数不会被优化，我却想不通。既然 声明为 inlinne，为什么函数没有被优化掉。那还要 inline何用？
下面分别是c源文件， 未优化的汇编代码，优化后的汇编代码。
// source code empty.c
inline void dbg( const char* s )
{
};
int main()
{
for( int i = 0; i < 10 ; i ++ )
{
dbg( "hello!" );
}
return 0;
}
/* assembler code generated by gcc 3.2.3 on redhat platform
env: GCC: (GNU) 3.2.3 20030502 (Red Hat Linux 3.2.3-47.3)
cmd: $ gcc -S -masm=intel -O emptyfun.c -o noopt.asm
*/
main:
push %ebp
mov %ebp, %esp
sub %esp, 8
and %esp, -16
mov %eax, 0
sub %esp, %eax
mov DWORD PTR [%ebp-4], 0 ;
.L3: ; for( ; ; ; )
cmp DWORD PTR [%ebp-4], 9 ; if ( i > 9 )
jle .L6 ; {
jmp .L4 ; break;
.L6: }
sub %esp, 12 ; //为 dbg()分配栈空间
push OFFSET FLAT:.LC0 ; //参数 "hello!" 压栈
call dbg ; dbg( "hello!" );
add %esp, 16 ; // 平栈
lea %eax, [%ebp-4]
inc DWORD PTR [%eax] ; i++;
jmp .L3
.L4:
mov %eax, 0
leave
ret
/*assembler code generated by gcc 3.2.3 with -O opition on redhat platform
env: GCC: (GNU) 3.2.3 20030502 (Red Hat Linux 3.2.3-47.3)
cmd: $ gcc -S -masm=intel -O emptyfun.c -o opt.asm */
main:
push %ebp
mov %ebp, %esp
sub %esp, 8
and %esp, -16
mov %eax, 0 ; i = 0;
.L7: ; for( ; ; ; )
inc %eax ; { i++;
cmp %eax, 9 ; ( if i <=9 )
jle .L7 ; continue;
mov %eax, 0 ; }
leave
ret
以下代码完成了 打印错误消息的功能：
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <limits.h>
#include <errno.h>
#include <stdarg.h>
#define MAXLINE 2048
#define DEBUG
/*
err_doit 将用户指定的字串和系统错误信息打印到指定的文件
fileno 文件号
error 用户定义字串
*/
static void
err_doit(int fileno, int error, const char *fmt, va_list ap)
{
char buf[MAXLINE];
int msglen;
vsnprintf(buf, MAXLINE, fmt, ap);
snprintf(buf+strlen(buf), MAXLINE-strlen(buf), ": %s\n", strerror(error));
msglen = strlen( buf );
fdopen( fileno, "ab" );
fwrite( buf, msglen, 1, fdopen( fileno, "ab" ) );
}
inline void dbg_err(const char * fmt,)
{
#ifdef DEBUG
va_list ap;
va_start(ap, fmt);
err_doit( fileno( stderr ), 0, fmt, ap);
va_end(ap);
#endif
}
int main()
{
dbg_err( "my god!" );
return 0;
}