如何将递归C阶乘函数转换为预处理宏？

你已经掌握了简单函数转预处理宏的方法，比如：

原函数：

int plus(int x, int y) {
  return x + y;
}

转换为宏：

#define PLUS(x, y) ((x) + (y))

但递归阶乘函数的转换要复杂很多，先分析你写的宏的问题，再给出可行方案：

你的宏的问题 #

你写的宏：

#define FACTORIAL(n) (n == 0 ? : n * FACTORIAL(n - 1))

首先存在语法错误：C的三元运算符格式是条件 ? 真值表达式 : 假值表达式，你漏了n==0时的返回值1，正确的语法应该是(n == 0 ? 1 : n * FACTORIAL(n - 1))。

但即使修正语法，这个宏依然无法正常工作——核心问题是C预处理的宏是文本替换，不支持逻辑判断：预处理阶段只会机械地展开宏调用，不会执行n==0的条件判断，它会不断递归展开FACTORIAL(n-1)，直到编译器达到宏展开的最大深度，最终报编译错误。

可行的实现方案 #

方案1：依赖编译器扩展的递归宏 #

标准C不支持递归宏，但GCC、Clang等主流编译器提供了递归宏的扩展支持。修正语法和优先级问题后，可以写成：

#define FACTORIAL(n) ((n) == 0 ? 1 : (n) * FACTORIAL((n) - 1))

注意事项：

• 所有参数和表达式必须加括号，避免因运算符优先级导致的计算错误（比如传入2+3时，不加括号会破坏运算逻辑）。
• 仅支持非负整数输入，传入负数会导致无限展开，触发编译错误。
• 依赖编译器扩展，移植性差，不符合标准C规范。

方案2：更推荐的替代方案——静态内联函数 #

如果追求类型安全、逻辑正确性和可移植性，强烈推荐用static inline函数代替宏，它既能保留宏的效率（编译器会内联展开），又具备函数的所有优点：

static inline int factorial(int n) {
    return (n == 0) ? 1 : n * factorial(n - 1);
}

方案3：非递归的宏实现（固定范围） #

如果一定要用纯预处理宏实现，可以写一个针对固定数值范围的非递归宏，比如支持0到10的阶乘：

#define FACTORIAL(n) \
    ((n) == 0 ? 1 : \
     (n) == 1 ? 1 : \
     (n) == 2 ? 2 : \
     (n) == 3 ? 6 : \
     (n) == 4 ? 24 : \
     (n) == 5 ? 120 : \
     (n) == 6 ? 720 : \
     (n) == 7 ? 5040 : \
     (n) == 8 ? 40320 : \
     (n) == 9 ? 362880 : \
     (n) == 10 ? 3628800 : \
     0) // 超出范围返回0，可根据需求修改错误处理逻辑

这种写法没有递归问题，但灵活性差，仅适用于已知输入范围的场景。

内容的提问来源于stack exchange，提问作者Glory