C语言预处理操作符#与##详解：字符串化与标记连接实战

小林子

发布时间：2026-10-15| 5人浏览过

原创

C语言预处理阶段提供了两个关键的操作符：#（字符串化）和##（标记连接）。它们允许在编译前动态生成代码片段或字符串常量。本文详细讲解其语法、典型应用场景及解决可变参数边界问题的技巧。

理解C语言的标记(Token)

在进行深入讨论之前，需明确“标记”是编程语言处理的最小单元。包括关键字、标识符（变量/函数名）、常量（字符串/数值）及运算符等。

printf("hello world!");

上述语句可划分为五个独立标记：

printf：函数名标识符
(：左括号运算符
"hello world!"：字符串常量
)：右括号运算符
;：分号

预处理操作符的作用正是在编译前的文本替换阶段，对这些标记进行重组或转换。

# 字符串化操作符(Stringification)

第1步：基础语法与用途

# 位于宏参数之前，作用是将该参数作为字符串常量返回。常用于需要在运行时打印宏定义本身名称的场景，如日志记录或错误信息输出。

核心用法：在 #define 中，在参数前加 # 即可将其转为字符串。

#include <stdio.h>
#define STRINGIFY(param) #param

int main() {
    printf(STRINGIFY(hello world));
    return 0;
}
// 输出: hello world

第2步：实际工程应用示例

在处理数组索引越界或资源限制时，同时报告变量名、当前值及阈值是最有效的排查方式。利用 # 可以避免硬编码字符串，保证代码一致性。

#include <stdio.h>
#define NAME(param) #param
#define LEN_MAX     10

int main() {
    int array[LEN_MAX] = {0};
    int index = 9;

    if (index >= LEN_MAX) {
        // 将变量名转为字符串并拼接错误信息
        printf("error: %s:%d is over %s:%d\n", 
               NAME(index), index, NAME(LEN_MAX), LEN_MAX);
    } else {
        printf("read %s[%d]=%d\n", 
               NAME(array), index, array[index]);
    }
    return 0;
}

完成判断：编译运行后，若索引未越界，控制台将准确输出变量名及其对应的值，无需修改多处字符串常量。

## 标记连接操作符(Token Pasting)

第1步：基础语法与用途

## 置于两个标记之间，预处理阶段会将这两个标记“粘合”成一个单一的合法标识符。这在需要通过宏动态生成变量名、函数名或字段名的场景中极为有用。

#include <stdio.h>
#define CONCAT(p1, p2) p1##p2

int main() {
    printf("%d\n", CONCAT(12, 34));
    return 0;
}
// 输出: 1234

第2步：自动化结构体初始化的最佳实践

当需要声明多个同类型结构体变量并初始化其成员指针时，手动编写重复代码繁琐且易出错。通过 ## 结合宏定义，可以大幅压缩源码体积。

假设有一个 `my_type` 结构体，我们需要创建一个包含动态数据缓冲区 (`data`) 和容量控制信息的对象。使用宏 `my_type_create` 实现一键创建与初始化：

#include <stdio.h>
#include <string.h>

#define NAME(param)     #param

typedef struct {
    char *data;
    int   data_size; 
    int   max_size;  
} my_type;

/* 使用 ## 连接变量名和数据数组名 */
#define my_type_create(name, size) \
    char name ## _data[size] = {0}; \
    my_type name; \
    memset(&name, 0x00, sizeof(name)); \
    name.data = name ## _data; \
    name.max_size = size; \
    printf("variable=%s, buffer=%s, size=%d\n", \
           NAME(name), NAME(name ## _data), name.max_size)

int main() {
    my_type_create(var1, 10)
    my_type_create(var2, 20)
    return 0;
}

原理解析：

传入 `var1` 和 `10`。
编译器展开为局部字符数组 `char var1_data[10]` 和结构体实例 `my_type var1`。
`##` 确保了 `name ## _data` 变为 `var1_data`，正确指向了分配的缓冲空间。

这种模式避免了大量冗余的声明语句，使得管理同类对象更加整洁高效。

第3步：解决可变参数(Variadic Macros)的空值问题

C99 标准引入了可变参数宏 `...` 和 `__VA_ARGS__`，但在某些编译器环境下，如果最后一个逗号后的参数列表为空，会引发语法错误。

以下尝试记录带格式的日志，当不需要附加参数时报错：

#define LOG_INFO(fmt, ...) printf("[I]" fmt "\n", __VA_ARGS__)

int main() {
    LOG_INFO("info..."); /* 此处可能触发 expected expression before ')' token 错误 */
    return 0;
}

修复方案：在 __VA_ARGS__ 前添加 ##，并移除紧随其后的逗号。这样预处理器会判断：如果有参数，保留逗号；如果为空，删除逗号，从而消除语法冲突。

#define LOG_INFO(fmt, ...) printf("[I]" fmt "\n", ##__VA_ARGS__)

int main() {
    LOG_INFO("Hello World");    // 正常打印
    LOG_INFO("Just Info");      // 正常打印，无额外参数也不会报错
    return 0;
}