函数宏与函数调用开销

在阅读K&R中macro substitution一节中提到
[quote]One practical example comes from <stdio.h>, in which getchar and putchar are often defined as macros to avoid the run-time overhead of a
function call per character processed.[/quote]
在standard input and output一节时，也提到
[quote]As we mentioned earlier,"functions" like getchar and putchar in <stdio.h> and tolower in <ctype.h> are often macros, thus avoiding the
overhead of a function call per character.[/quote]
也就是说使用函数宏可以避免对每个字符都进行函数调用的开销。文中提到的#define也只是起到了文本替换的作用，但没有告知减少开销的原因。想了半天没想明白，后来发现想复杂了，原来这么简单的道理……
用书上的一个例子

#define max(A, B) ((A)>(B)?(A):(B))
x = max(p+q, r+s);

就想#define本身的作用那样，经过preprocessor处理过之后，就成了

x = ((p+q)>(r+s)?(p+q):(r+s));

1、书中也说过，宏定义经过preprocessor做文本上的替换，之后再经过编译器处理，所以函数宏的参数没有类型，因此要自己注意传递参数的类型。
2、真函数调用和函数宏调用编译之后生成的指令也不同。这个很容易理解，至少经过预处理之后的文本含义也不一样。如果max是个真函数，那么在编译之后的代码中调用函数的地方会编译生成传参指令和call指令。如果max是个函数宏，并不会生成传参和call指令，但是每次调用函数宏的地方生成的指令都相当于一个函数体。目标文件相应的也会大许多。
3、宏定义时的书写一定要注意。例如上面例子中的括号是不能省的，这关系到替换之后运算的优先级问题。同样，最外层的括号也不能省，因为赋值运算符的优先级要高一些。省略了最外面的括号，可能在替换之后所表达的意思就截然不一样了。
4、最后一点也是在macro substitution一节中提到的，要注意传递给函数宏的参数是否在执行过程中有多余的运算。上面的例子，max(++a,++b)，原意是a、b各自加一次，但是使用函数宏之后的结果是a、b都自加了两次。