宏和函数的区别，C语言宏和函数区别详解

在 C 语言中，对于一些常用或通用的功能或代码段的封装可以有两种方式：函数和宏定义。那么，对于这两种方式，我们该如何抉择呢？在解决这个问题之前，有必要先来了解一下它们之间的区别。

1) 从程序的执行来看

函数调用会带来额外的开销，它需要开辟一片栈空间，记录返回地址，将形参压栈，从函数返回还要释放栈。这种开销不仅会降低代码效率，而且代码量也会大大增加。而宏定义只在编译前进行，不分配内存，不占运行时间，只占编译时间，因此在代码规模和速度方面都比函数更胜一筹。

2) 从参数的类型来看

函数的参数必须声明为一种特定的数据类型，如果参数的类型不同，就需要使用不同的函数来解决，即使这些函数执行的任务是相同的。而宏定义则不存在着类型问题，因此它的参数也是无类型的。也就是说，在宏定义中，只要参数的操作是合法的，它可以用于任何参数类型。

3) 从参数的副作用来看

毋庸置疑，在宏定义中，在对宏参数传入自增（或者自减）之类的表达式时很容易引起副作用，尽管前面也给出了一些解决方案，但还是不能够完全杜绝这种情况的发生。与此同时，在进行宏替换时，如果不使用括号完备地保护各个宏参数，那么很可能还会产生意想不到的结果。除此之外，宏还缺少必要的类型检查。而函数却从根本上避免了这些情况的产生。

4) 从代码的长度来看

在每次使用宏时，一份宏定义代码的副本都会插入程序中。除非宏非常短，否则使用宏会大幅度地增加程序的长度。而函数代码则只会出现在一个地方，以后每次调用这个函数时，调用的都是那个地方的同一份代码。

不难发现，单从上面 4 点区别来看，函数和宏定义各有优缺点，这就要求我们根据具体情况具体分析，合理地对二者进行取舍。看下面两个封装示例：

/*宏定义的方式*/
#define  MAX(x,y) (((x)>(y)) ？ (x):(y))
#define  MIN(x,y) (((x)<(y)) ？ (x):(y))
/*函数的方式*/
int max(int x,int y)
{
    return  (x>y？x:y);
}
int min(int x,int y)
{
    return (x<y？x:y);
}

从表面上来看这两个示例，使用宏的封装方式明显优于函数的方式，原因很简单：如果这里要继续比较两个浮点类型数的大小时，就不得不再写两个专门针对浮点类型数的比较函数，对于其他类型数的比较以此类推；而宏定义因为不存在任何类型问题，因此可以用于整型、长整型、浮点型以及其他任何可以使用“>”与“<”操作符比较值大小的类型，正所谓一劳永逸。

但是，假如我们这里需要调用上面的MAX宏来寻找 i1、i2、i3、i4 与 i5 5 个数的最大者（甚至更多数），如下面的示例代码所示：

int i1=0;
int i2=1;
int i3=2;
int i4=3;
int i5=4;
int max=MAX(i1,(MAX(i2,(MAX(i3,MAX(i4，i5))))));

接下来，编译器对语句“MAX(i1,(MAX(i2,(MAX(i3,MAX(i4，i5))))))”进行展开如下：

(((i1)>(((((i2)>(((((i3)>((((i4)>(i5)) ? (i4) : (i5)))) ? (i3) : ((((i4)>(i5)) ? (i4) : (i5))))))) ? (i2) : (((((i3)>((((i4)>(i5)) ? (i4) : (i5)))) ? (i3) : ((((i4)>(i5)) ? (i4) : (i5)))))))))) ? (i1) : (((((i2)>(((((i3)>((((i4)>(i5)) ? (i4) : (i5)))) ? (i3) : ((((i4)>(i5)) ? (i4) : (i5))))))) ? (i2) : (((((i3)>((((i4)>(i5)) ? (i4) : (i5)))) ? (i3) : ((((i4)>(i5)) ? (i4) : (i5))))))))));

上面的展开代码看起来很郁闷，基本快花眼了。当然，这里还可以对宏调用语句进行优化，如下面的示例代码所示：

MAX(MAX(MAX(i1,i2),MAX(i3,i4)),i5);

现在看起来虽然精简许多，但还不是很乐观，展开代码如下所示：

(((((((((i1)>(i2)) ? (i1) : (i2)))>((((i3)>(i4)) ? (i3) : (i4)))) ? ((((i1)>(i2)) ? (i1) : (i2))) : ((((i3)>(i4)) ? (i3) : (i4)))))>(i5)) ? (((((((i1)>(i2)) ? (i1) : (i2)))>((((i3)>(i4)) ? (i3) : (i4)))) ? ((((i1)>(i2)) ? (i1) : (i2))) : ((((i3)>(i4)) ? (i3) : (i4))))) : (i5));

面对这种情况，有读者或许会认为函数比宏方便，代码也显得苗条与可爱多了。但不能够一概而论，应具体情况具体分析。

除此之外，一些特殊功能根本无法用函数实现时，可以选择使用宏定义来实现。例如，参数类型无法作为参数传递给函数，但是可以把参数类型传递给带参的宏，如下面的示例代码所示：

#define MALLOC(n,type) ((type *) malloc((n)* sizeof(type)))

现在，利用 MALLOC 宏，就可以为任何类型分配一段指定的空间大小，并返回指向这段空间的指针。如下面的示例代码所示：

p = MALLOC(8,int);

展开以后的结果为：

p = (int *) malloc((8) * sizeof(int));

由此可见，宏定义有时候还可以完成函数不能够完成的一些特殊功能。因此，如何取舍这二者，还需要根据具体情况具体分析，千万不能够武断地做出判断。一般来说，应该用宏去替换小的、可重复的代码段，这样可以使程序运行速度更快。当任务比较复杂，需要多行代码才能实现时，或者要求程序越小越好时，就应该使用函数。