宏预处理器递归实现阶乘编译错误求助

问题背景 #

尝试通过宏预处理器递归计算阶乘，但编译时出现错误，同时不确定代码逻辑是否正确，以下是代码及编译错误信息：

原代码 #

#include <stdio.h>

#define FACTORIAL(n) \
    FACTORIAL_##n()

#define FACTORIAL_0() 0

#define FACTORIAL_1() 1

#define FACTORIAl_N(n) \
    FACTORIAL(n - 1) + FACTORIAL(n - 2)

#define FACTORIAL_RESULT(n) \
    FACTORIAL(n)

int main() {
    int f2 = FACTORIAL_RESULT(2);
    printf("%d\n", f2);
    return 0;
}

编译错误信息（翻译后） #

* 正在执行任务: C:\MinGW\bin\gcc.exe c.c -o d:\C\output\c.exe -Wall -Wextra -g3 

* 终端将被任务复用，按任意键关闭。

* 正在执行任务: C:\MinGW\bin\gcc.exe c.c -o d:\C\output\c.exe -Wall -Wextra -g3 

c.c: 在函数'main'中:
c.c:4:5: 警告：隐式声明函数'FACTORIAL_2'；你是不是想写'FACTORIAL_0'？ [-Wimplicit-function-declaration]
    4 |     FACTORIAL_##n()
      |     ^~~~~~~~~~
c.c:14:5: 注意：在宏'FACTORIAL'的展开中
   14 |     FACTORIAL(n)
      |     ^~~~~~~~~
c.c:17:14: 注意：在宏'FACTORIAL_RESULT'的展开中
   17 |     int f2 = FACTORIAL_RESULT(2);
      |              ^~~~~~~~~~~~~~~~
c:/mingw/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../x86_64-w64-mingw32/bin/ld.exe: C:\Users\user1\AppData\Local\Temp\ccuGFhBc.o: 在函数`main'中:
D:\C/c.c:17: 对'FACTORIAL_2'未定义的引用
collect2.exe: error: ld 返回1退出状态

* 终端进程"C:\MinGW\bin\gcc.exe 'c.c', '-o', 'd:\C\output\c.exe', '-Wall', '-Wextra', '-g3'"已终止，退出代码: 1。
* 终端将被任务复用，按任意键关闭。

错误原因分析 #

1. 宏拼写错误：FACTORIAl_N中的字母l是小写，正确应为FACTORIAL_N（大写L），导致该宏完全未被触发，无法处理n>=2的情况。
2. 逻辑公式错误：阶乘的正确公式是n! = n * (n-1)!，而代码里写的是FACTORIAL(n-1) + FACTORIAL(n-2)，这是斐波那契数列的公式，完全不符合阶乘逻辑。
3. 宏拼接的递归失效：FACTORIAL(n)使用##拼接成FACTORIAL_n()，预处理器不会对拼接后的宏进行递归展开，且对于n>=2的情况，没有定义对应的FACTORIAL_n宏，导致被识别为未声明的函数，出现链接错误。
4. 基准值错误：数学上0! = 1，代码中定义FACTORIAL_0() 0是错误的。

修正后的代码 #

方式一：显式扩展固定数值的阶乘 #

利用预处理器拼接特性，为需要计算的数值定义对应宏：

#include <stdio.h>

#define FACTORIAL(n) \
    _FACTORIAL(n)

#define _FACTORIAL(n) \
    _FACTORIAL_##n()

// 基准值修正
#define _FACTORIAL_0() 1
#define _FACTORIAL_1() 1
// 按阶乘公式递归扩展
#define _FACTORIAL_2() (2 * _FACTORIAL(1))
#define _FACTORIAL_3() (3 * _FACTORIAL(2))
#define _FACTORIAL_4() (4 * _FACTORIAL(3))
// 可根据需求继续扩展更大的n值

int main() {
    int f2 = FACTORIAL(2);
    int f3 = FACTORIAL(3);
    int f4 = FACTORIAL(4);
    printf("2! = %d\n3! = %d\n4! = %d\n", f2, f3, f4);
    return 0;
}

方式二：灵活递归宏（依赖编译器支持） #

使用条件判断实现递归展开，需编译器支持C99及以上标准：

#include <stdio.h>

// 利用三元运算符实现递归展开，n<=1时返回1，否则n*(n-1)!
#define FACTORIAL(n) \
    (n <= 1 ? 1 : n * FACTORIAL(n - 1))

int main() {
    int f2 = FACTORIAL(2);
    int f5 = FACTORIAL(5);
    printf("2! = %d\n5! = %d\n", f2, f5);
    return 0;
}

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