共计 1727 个字符，预计需要花费 5 分钟才能阅读完成。

宏函数 vs 普通函数：本质区别

C++ 中的宏函数通过预处理器在编译前进行文本替换，而普通函数则在运行时进行调用。这个根本差异导致它们在性能、调试和维护上有显著不同。

1. 预处理阶段替换：宏函数在编译前就被展开，没有运行时开销
2. 运行时调用：普通函数需要压栈、跳转等操作，有调用开销
3. 类型安全：宏函数没有类型检查，普通函数有严格的类型检查

宏展开过程解析

通过 gcc 的 - E 选项可以查看宏展开后的代码：

#define SQUARE(x) ((x)*(x))

int main() {
    int a = 5;
    int b = SQUARE(a);
    return 0;
}

预处理后会变成：

int main() {
    int a = 5;
    int b = ((a)*(a));
    return 0;
}

性能对比测试

基准测试

我们使用 chrono 库对比宏函数和 inline 函数的性能：

#include <chrono>
#include <iostream>

#define MACRO_SQ(x) ((x)*(x))

inline int inline_sq(int x) {return x * x;}

int main() {
    const int iterations = 100000000;
    volatile int result;

    auto start = std::chrono::high_resolution_clock::now();
    for (int i = 0; i < iterations; ++i) {result = MACRO_SQ(i);
    }
    auto end = std::chrono::high_resolution_clock::now();
    std::cout << "Macro:" << std::chrono::duration_cast<std::chrono::milliseconds>(end - start).count() << "ms\n";

    start = std::chrono::high_resolution_clock::now();
    for (int i = 0; i < iterations; ++i) {result = inline_sq(i);
    }
    end = std::chrono::high_resolution_clock::now();
    std::cout << "Inline:" << std::chrono::duration_cast<std::chrono::milliseconds>(end - start).count() << "ms\n";

    return 0;
}

调试差异

1. 宏函数：在调试时看不到调用栈，因为已经被展开
2. 普通函数：在调试时有完整的调用栈信息

常见陷阱与警示

参数多次求值

#define MAX(a, b) ((a) > (b) ? (a) : (b))

int x = 5, y = 10;
int z = MAX(x++, y++);  // 展开后变成 ((x++) > (y++) ? (x++) : (y++))

作用域污染

#define PI 3.14159

void calculate() {
    double PI = 3.14;  // 重定义警告
    // ...
}

最佳实践

适用场景

1. 日志调试：

   #define LOG(msg) std::cout << __FILE__ << ":" << __LINE__ << " " << msg << std::endl

2. 平台适配：

   #ifdef _WIN32
   #define PLATFORM_API __declspec(dllexport)
   #else
   #define PLATFORM_API
   #endif

3. 防御性编程：

   #define SAFE_FREE(p) do {if(p) {free(p); p = NULL; } } while(0)

现代 C ++ 替代方案

1. constexpr 函数：

   constexpr int square(int x) {return x * x;}

2. 模板：

   template <typename T>
   T max(T a, T b) {return a > b ? a : b;}

思考题

随着 C ++20 引入 consteval（立即函数），宏函数在以下场景仍具有不可替代性：
1. 字符串拼接（#和 ## 运算符）
2. 编译期条件编译（#ifdef等）
3. 获取源码位置信息（__FILE__、__LINE__）

现代 C ++ 虽然提供了很多替代方案，但宏函数在某些特定场景下仍然有其独特的价值。关键在于理解它们的特性和适用场景，做出合理的选择。