16、宏与泛型编程：_Generic 关键字（C11）

说到泛型编程，很多C语言老手第一反应是「C语言哪来的泛型？」。嗯，在C11标准之前确实没有。但C11引入的 _Generic 关键字，给了我们一种轻量级的泛型能力。说白了，就是让同一个宏能根据参数类型自动选择不同的实现。

我个人第一次接触 _Generic 是在一个嵌入式项目里。当时要写一个通用的数学函数，处理 int、float、double 三种类型。如果用传统方式，得写三个不同名字的函数，调用时还得手动转换类型。那叫一个痛苦。后来翻C11标准发现了这个宝贝，问题迎刃而解。

16.1 _Generic 关键字的基本用法

_Generic 的语法其实很简单，它像是一个编译期的 switch-case 语句。根据表达式的类型，选择对应的结果。

#include <stdio.h>

#define TYPE_NAME(x) _Generic((x), \
    int: "int", \
    float: "float", \
    double: "double", \
    default: "unknown" \
)

int main() {
    int a = 10;
    float b = 3.14f;
    double c = 2.718;
    
    printf("a 的类型: %s\n", TYPE_NAME(a));
    printf("b 的类型: %s\n", TYPE_NAME(b));
    printf("c 的类型: %s\n", TYPE_NAME(c));
    
    return 0;
}

你看，一个宏就搞定了类型识别。编译时 _Generic 会根据 x 的实际类型，选择对应的字符串。如果类型没列出来，就走 default 分支。

16.2 类型泛型宏：模拟函数重载

C语言没有C++那样的函数重载。但有了 _Generic，我们可以模拟出类似的效果。比如写一个通用的绝对值函数：

#include <stdio.h>
#include <stdlib.h>
#include <math.h>

// 内部实现函数
int abs_int(int x) { return x < 0 ? -x : x; }
float abs_float(float x) { return fabsf(x); }
double abs_double(double x) { return fabs(x); }

// 泛型宏
#define ABS(x) _Generic((x), \
    int: abs_int(x), \
    float: abs_float(x), \
    double: abs_double(x), \
    default: abs_double(x) \
)

int main() {
    int i = -42;
    float f = -3.14f;
    double d = -2.718;
    
    printf("ABS(-42) = %d\n", ABS(i));
    printf("ABS(-3.14f) = %f\n", ABS(f));
    printf("ABS(-2.718) = %lf\n", ABS(d));
    
    return 0;
}

调用 ABS(x) 时，编译器会自动匹配对应的函数。这不就是函数重载吗？虽然底层实现不一样，但用起来的感觉一模一样。

16.3 实战：通用数学函数

好，我们来写一个真正能用的通用数学函数。假设我们要实现一个 CLAMP 宏，把值限制在某个范围内。这个功能在嵌入式控制算法里特别常见。

#include <stdio.h>

// 内部实现
int clamp_int(int val, int min, int max) {
    return val < min ? min : (val > max ? max : val);
}

float clamp_float(float val, float min, float max) {
    return val < min ? min : (val > max ? max : val);
}

double clamp_double(double val, double min, double max) {
    return val < min ? min : (val > max ? max : val);
}

// 泛型宏
#define CLAMP(val, min, max) _Generic((val), \
    int: clamp_int(val, min, max), \
    float: clamp_float(val, min, max), \
    double: clamp_double(val, min, max) \
)

int main() {
    int i_val = 150;
    int i_min = 0, i_max = 100;
    printf("CLAMP(150, 0, 100) = %d\n", CLAMP(i_val, i_min, i_max));
    
    float f_val = 3.5f;
    float f_min = 0.0f, f_max = 2.0f;
    printf("CLAMP(3.5f, 0.0f, 2.0f) = %f\n", CLAMP(f_val, f_min, f_max));
    
    double d_val = -1.0;
    double d_min = 0.0, d_max = 10.0;
    printf("CLAMP(-1.0, 0.0, 10.0) = %lf\n", CLAMP(d_val, d_min, d_max));
    
    return 0;
}

我曾经在一个电机控制项目里用过类似的宏。当时要处理电流采样值，有 int16_t 的原始值，也有 float 的标幺值。用 _Generic 写一个 CLAMP 宏，代码量直接减少了一半。而且后来加新类型时，只需要加一个分支就行，不用改调用处的代码。

16.4 知识体系总览

下面这张图总结了本章的核心逻辑：

16.5 避坑指南

用 _Generic 时，有几个坑我踩过，分享给你：

• 类型修饰符问题：const int 和 int 是不同类型。如果你传了一个 const int 变量，但宏里只写了 int 分支，会走 default。我曾经因为这个 bug 查了一下午。
• 数组和指针：数组名在 _Generic 中会被推导为数组类型，不是指针。比如 int arr[5] 的类型是 int[5]，不是 int*。需要单独处理。
• 浮点字面量：3.14 默认是 double 类型，3.14f 才是 float。写宏的时候要注意区分。

好了，这一章的内容就到这里。记住，_Generic 不是万能的，但在需要类型泛型处理的场景下，它绝对是最轻量、最优雅的解决方案。下次写通用函数时，不妨试试这个C11的新特性。

---

公众号:蓝海资料掘金营，微信deep3321