46-函数与宏分析

注：博客中内容主要来自《狄泰软件学院》，博客仅当私人笔记使用。

测试环境：Ubuntu 10.10

GCC版本：4.4.5

 

一、函数与宏

                宏or函数？

#define RESET(p,len)    \
    while(len > 0)      \
        ((char*)p)[--len] = 0

void reset(void* p, int len)
{
    while( len > 0 )
       ((char*)p)[--len] = 0;
}

 

二、函数与宏

1) 宏是由预处理器直接替换展开的，编译器不知道宏的存在

2) 函数是由编译器直接编译的实体，调用行为由编译器决定

3) 多次使用宏会导致最终可执行程序的体积增大(尽量封装成一个函数，减少程序体积)

4) 函数是跳转执行的，内存中只有一份函数体存在(函数调用发生时会去定义函数的地方执行)

5) 宏的效率比函数要高，因为是直接展开，无调用开销

6) 函数调用时会创建活动记录，效率不如宏

 

编程实验
函数与宏
46-1.c
#include <stdio.h>

#define RESET(p, len)          \
    while( len > 0 )           \
        ((char*)p)[--len] = 0

void reset(void* p, int len)
{
    while( len > 0 ) 
        ((char*)p)[--len] = 0;
}

int main()
{
    int array[] = {1, 2, 3, 4, 5};
    int len = sizeof(array);
    int i = 0;
    
    RESET(array, len);
    
    for(i=0; i<5; i++)
    {
        printf("array[%d] = %d\n", i, array[i]);
    }
    
    return 0;
}

操作：

1) 使用RESET(array, len)：gcc 46-1.c -o 46-1.out编译正确，打印结果：

array[0] = 0
array[1] = 0
array[2] = 0
array[3] = 0
array[4] = 0

2) 使用RESET(6, len)

#include <stdio.h>

#define RESET(p, len)          \
    while( len > 0 )           \
        ((char*)p)[--len] = 0

void reset(void* p, int len)
{
    while( len > 0 ) 
        ((char*)p)[--len] = 0;
}

int main()
{
    int array[] = {1, 2, 3, 4, 5};
    int len = sizeof(array);
    int i = 0;
    
    RESET(6, len);
    
    for(i=0; i<5; i++)
    {
        printf("array[%d] = %d\n", i, array[i]);
    }
    
    return 0;
}

gcc 46-1.c -o 46-1.out编译正确，运行错误：

Segmentation fault (core dumped)

分析：

        宏定义不对语法进行检查。

 

3) 使用reset(6, len)

#include <stdio.h>

#define RESET(p, len)          \
    while( len > 0 )           \
        ((char*)p)[--len] = 0

void reset(void* p, int len)
{
    while( len > 0 ) 
        ((char*)p)[--len] = 0;
}

int main()
{
    int array[] = {1, 2, 3, 4, 5};
    int len = sizeof(array);
    int i = 0;
    
    reset(6, len);
    
    for(i=0; i<5; i++)
    {
        printf("array[%d] = %d\n", i, array[i]);
    }
    
    return 0;
}

gcc 46-1.c -o 46-1.out编译错误：

46-1.c: In function ‘main’:
46-1.c:19:2: warning: passing argument 1 of ‘reset’ makes pointer from integer without a cast [enabled by default]
  reset(6, len);
  ^
警告：编译函数reset的第一个参数时，应该是指针类型但却是整型  
46-1.c:7:6: note: expected ‘void *’ but argument is of type ‘int’
 void reset(void* p, int len)
      ^
提示：期望'void*'但是参数类型是'int'类型

 

7) 宏的效率比函数稍高，但是其副作用巨大

8) 宏是文本替换，参数无法进行类型检查

9) 可以用函数完成的功能绝对不用宏

10) 宏的定义中不能出现递归定义

实例分析
宏的副作用
46-2.c
#include <stdio.h>

#define _ADD_(a, b) a + b    //_开头？
#define _MUL_(a, b) a * b
#define _MIN_(a, b) ((a) < (b) ? (a) : (b))

int main()
{
    int i = 1;
    int j = 10;
    
    printf("%d\n", _MUL_(_ADD_(1, 2), _ADD_(3, 4)));    // ==>(1+2)*(3+4)
    printf("%d\n", _MIN_(i++, j));    // 1<10 ? 1 : 10
    
    return 0;
}

操作：

1) gcc 46-2.c -o 46-2.out编译正常，打印结果：

11
2    

2) 注释掉#include <stdio>，预编译：gcc -E 46-2.c -o 46-2.i，打开46-2.i文件：

# 1 "46-2.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 1 "<command-line>" 2
# 1 "46-2.c"






int main()
{
    int i = 1;
    int j = 10;

    printf("%d\n", 1 + 2 * 3 + 4);
    //这里连续++，不是我们期望效果
    printf("%d\n", ((i++) < (j) ? (i++) : (j)));    

    return 0;
}

分析：

        宏不对语法进行检查，隐患很大，解决办法：内联函数。

 

宏的妙用

1) 用于生成一些常规性的代码

2) 封装函数，加上类型信息

 

实例分析
宏的妙用
46-3.c
#include <stdio.h>
#include <malloc.h>

#define MALLOC(type, x)   (type*)malloc(sizeof(type)*x)
#define FREE(p)           (free(p), p=NULL)
//格式化输出，#是把宏转换成字符串
#define LOG_INT(i)        printf("%s = %d\n", #i, i)  
#define LOG_CHAR(c)       printf("%s = %c\n", #c, c)
#define LOG_FLOAT(f)      printf("%s = %f\n", #f, f)
#define LOG_POINTER(p)    printf("%s = %p\n", #p, p)
#define LOG_STRING(s)     printf("%s = %s\n", #s, s)

//为了简化写for循环
#define FOREACH(i, n)     while(1) { int i = 0, l = n; for(i=0; i < l; i++)
#define BEGIN             {
#define END               } break; } 

int main()
{
    int* pi = MALLOC(int, 5);
    char* str = "D.T.Software";
    
    LOG_STRING(str);
    
    LOG_POINTER(pi);
    ///*
    FOREACH(k, 5)    //k是循环变量
    BEGIN
        pi[k] = k + 1;
    END
    
    FOREACH(n, 5)
    BEGIN
        int value = pi[n];
        LOG_INT(value);
    END
    //*/
    FREE(pi);
    
    LOG_POINTER(pi);
    
    return 0;
}

操作：

1) gcc 46-3.c -o 46-3.out编译正确，打印结果：

str = D.T.Software
pi = 0x9405008
value = 1
value = 2
value = 3
value = 4
value = 5
pi = (nil)

2) 注释掉FOREACH：

#include <stdio.h>
#include <malloc.h>

#define MALLOC(type, x)   (type*)malloc(sizeof(type)*x)
#define FREE(p)           (free(p), p=NULL)
//格式化输出，#是把宏转换成字符串
#define LOG_INT(i)        printf("%s = %d\n", #i, i)  
#define LOG_CHAR(c)       printf("%s = %c\n", #c, c)
#define LOG_FLOAT(f)      printf("%s = %f\n", #f, f)
#define LOG_POINTER(p)    printf("%s = %p\n", #p, p)
#define LOG_STRING(s)     printf("%s = %s\n", #s, s)

//为了简化写for循环
#define FOREACH(i, n)     while(1) { int i = 0, l = n; for(i=0; i < l; i++)
#define BEGIN             {
#define END               } break; } 

int main()
{
    int* pi = MALLOC(int, 5);
    char* str = "D.T.Software";
    
    LOG_STRING(str);
    
    LOG_POINTER(pi);

    FREE(pi);
    
    LOG_POINTER(pi);
    
    return 0;
}

gcc 46-3.o 46-3.out编译正确，打印结果：

str = D.T.Software
pi = 0x895a008
pi = (nil)

 

小结：

1) 宏和函数并不是竞争对手

2) 宏能够接受任何类型的参数，效率高，易出错

3) 函数的参数必须是固定类型，效率稍低，不易出错

4) 宏可以实现函数不能实现的功能