Macro(宏)来源于希腊语,意思就是大,远.在计算机科学中指的是规则,这个规则指定了
输入和输出之间的关系(是不是优点类似于函数?).所有的宏都是一个概念,那就是输入
与输出之间的映射关系,这个和函数本质上是相同的.但是宏和函数处理方式基本上是不同
的,比如在C语言中,宏是在preprocess阶段被替换掉,而函数(讨论一般意义上的函数,不
讨论inline函数)在运行时调入栈中运行.而且不同的语言对宏的处理也是不同的,比如C
语言中,宏是无法区分作用域的(编译单元内的作用域),但是在metapost中,恰恰是可以
在宏体里定义局部变量的.参看wikipedia macros
下面讨论C语言中的宏.
谈到宏,不得不提到preprocess directives(预处理指令).预处理指令是预处理器在
预处理阶段所要执行的操作.具体在宏中就是执行宏替换功能.基本的一个就是#define.
好,现在先谈谈宏的定义.
宏就是处理输入和输出的规则.所以更直观的一点就是带个输入参数.
#define ADD(foo) foo+10
这样就定义了一个宏add,它的输入是foo,输出是foo+10,规则就是输入加上10.那么在
预处理阶段是如何处理的呢?比如,
bar.c
#define ADD(foo) foo+10
int main()
{
ADD(3);
return 0;
}
这个程序在预处理阶段会被替换成
int main()
{
3+10;
return 0;
}
可以查阅相关的编译器手册,指定相应的选项(options),来察看这个结果.在GCC中,使用
-E选项(其中会输出一些额外的信息,现在不必理会).这个宏,可以带参数,形式上和函数
很像,所以有的人会称它为宏函数,这是个非正式称呼.
更常见的定义宏的方式就是没有输入(即没有参数),比如,
#define PI 3.14
定义了宏PI, 没有输入,输出为3.14,规则就是得到3.14.处理方式同上.形式上,和常量很
相像,所以又有了宏常量的称呼.
#define FREEBSD
定义了宏FREEBSD,这个宏没有输入,没有输出,没有规则,仅仅是定义了这个宏.
但是请记住,宏和函数,在功能上是一样的,都是处理输入得到输出的过程.只不过语言或者
编译器对他们的处理方式不一样.
C语言中,一些内置的宏:
这些内置的宏,不需要自己再define了,直接拿来用就可以.
__LINE__ 表示当前行号.
__FILE__ 表示编译单元的文件名
__DATE__ 表示编译时的日期字符串
__TIME__ 表示编译时的时间字符串
__STDC__ 是否是符合标准,如果是结果为1,否则为0,这个主要是针对编译器编译时的选项.
更多的宏参考在线文档gnu gcc macros
注意,很多人在调试的时候使用__FUNCTION__(gcc扩展)或者__func__(C99标准),这两个都
不是宏,应为在预处理阶段根本无法确认函数.
宏定义需要注意的问题
1.宏是预处理阶段的替换(expansion),不进行计算,所以要时刻把()加上.
拿上面定义的一个例子来看:
bar.c #define ADD(foo) foo+10 int i = 2 * ADD(3);
语句会被替换成:
int i = 2 * foo+10;
这样就错误了.本意是要3+10,然后再乘以2,结果为26,现在变成了30了.
#define ADD(foo) (foo+10)
最好把参数全部加上(),对于这个例子,没有必要,但是对其他的例子就很有必要了:
#define MUL(foo, egg) foo*egg MUL(2+3,4+5);
期望的结果是(2+3)*(4+5)=45,结果却成了2+3*4+5=19.
合理的定义方式是:
#define MUL(foo, egg) ((foo) * (egg))
2.宏是否可以用来定义注释.
#define HEAD_COMMENT /* #define END_COMMENT */
答案是否定的.注释的处理在预处理指令处理之前,也就是说在define指令被处理之前注释
已经不存在,如果在预处理指定处理过后又出来了定义的话,编译器一定会不认识.
Preprocessor(预处理器),在计算机科学中指的是一个处理代码输入并且把输出做为另外
一个程序输入的程序,它也是一个程序.参看:wikipedia preprocessor
GNU的预处理器可以处理C/C++/Objective-c,因为都和C沾边(或者就是从开始遗留下来的
习惯)所以就叫C PreProcessor(cpp 不是c plus plus:-) )
CPP处理预处理指令,有#include,#define(undef),#if(ifdef,ifndef,else if,elif,endif),#error
,#line, #pragma,#,##,当然预处理也处理注释(comment),而且优先于预处理指令.
1.文件包含(file inclusion)
#include指令
#include <stdio.h> 从标准路径搜索stdio.h #include "nids.h" 从当前目录开始搜索nids.h如果找不到再到命令行参数指定的目录寻找 最后是标准目录下寻找.
2.宏定义(macros defination)
前述.
3.条件编译(conditinal compilation)
#if __STDC__ == 1 #if defined FREEBSD #if !defined FREEBSD #endif #ifdef FREEBSD #else if #define LINUX #endif
4.错误产生(error generation)
#error this line shouldnt be reached
5.行号控制(line control)
#line 299 "ip.c" 下一行是ip.c的299行 #line 299 下一行是本文件的299行
6 #,##
#和##常常用于宏定义里,这两个是预处理运算符,不是指令,因为预处理指令不能用于宏定义.就像C99添加的_Pragma操作符.
#define tempfile(dir) #dir "/%s" tempfile(/usr/tmp)被扩展成 "/usr/tmp" "/%s",也就是 "/usr/tmp/%s"
#把宏参数字符串化(C语言表示的字符串),而且这个的"优先级"比较高.
看一个来自cpp手册的例子:
#define xstr(s) str(s) #define str(s) #s #define foo 4 str (foo) 由于有#,表示参数首先被字符串化,所以不再有任何扩展. → "foo" xstr (foo) 没有#,所以参数被扩展. → xstr (4) → str (4) → "4"
解释:
s is stringified when it is used in str, so it is not macro-expanded first. But
s is
an ordinary argument to xstr, so it is completely macro-expanded before xstr
itself is
expanded . Therefore, by the time str gets to its argument, it has already been macro-expanded.
#define cat(x,y) x##y cat(2,3) 扩展为23 cat(wolf,python) 扩展为wlfpython
##把tokens连接起来(tokens concatenation)
通常##两边的tokens可以是标识符,数字或者运算符,不可以是C语言表示的字符串.
比如cat("2","3")是错误的.
7.#pragma
#pragma用于向编译器提供信息.(由于是指令,所以无法用于宏定义,C99定义了
_Pragma运算符)
#pragma once 可以用于防止头文件被重复包含(另外一种方式是使用条件编译)
8.空指令 #
#后面仅跟着一个换行符,就是一个空指令,什么也不做,在预处理阶段没有动它.