7个鲜为人知的C语言特殊语法与行为解析

方予

发布时间：2026-10-14| 4人浏览过

原创

C语言作为一门历史悠久且对底层控制力极强的编程语言，其标准中保留了许多看似奇怪或晦涩的特性。这些特性往往源于早期的硬件限制、编译器的实现细节或特定的设计取舍，如数组与指针的互换逻辑、废弃但仍在编译器中的三元字符集，以及容易引发未定义行为的副作用表达式。

1. 数组访问的对称性：a[n] 与 n[a]

在C语言中，下标运算符 [] 的定义实际上是基于指针算术的。表达式 a[i] 严格等同于 *((a) + (i))。由于加法运算满足交换律，(a) + (i) 等于 (i) + (a)。

因此：

注意：这种写法虽然合法，但会极大降低代码可读性，建议仅在理解指针本质时用于学习，生产环境中严禁使用。

为了在仅支持ASCII字符集的终端上输入C语言的符号，早期标准引入了 Trigraphs（三元组合字符） 和 Digraphs（二元组合字符）。

三元符：以 ?? 开头的三个字符序列会被替换为单个符号。例如 ??! 会被解释为 |。如果代码中无意出现了两个连续的问号后跟感叹号，编译器会进行隐式转换，可能导致逻辑错误。
二符组：自C99标准引入，如 <: 等价于 [。?> 等价于 ]。这些主要用于无法输入某些按键的地区环境。

现代开发中，除非维护极老的系统或处理特殊的编码转换需求，否则应避免依赖此类特性。

Duff's Device 是一个著名的C语言技巧，利用 switch 语句跳转到 while 循环内部的 case 标签，从而实现“循环展开”优化。

工作原理：当 n % 8 != 0 时，switch 会跳过前面的 cases，直接执行对应的 case 分支进入 while 循环体。随后每次循环递减计数器，直到完成所有字节拷贝。这种方法减少了循环条件判断的次数，曾在性能敏感的内核或嵌入式系统中广泛使用。

风险：该结构严重依赖于 C89/C90 标准中关于 switch 语句跨块跳转（跨变量初始化）的允许行为。在较新的C标准或严格警告模式下，这可能被视为非法操作或引发警告。

C语言允许在不同的作用域内定义相同名称的变量。当外层和内层存在同名变量时，内层的作用域会遮蔽外层的变量。

如图所示，如果在一个函数内部再次声明一个与全局变量同名的局部变量，那么在函数内部对该变量的所有访问都将指向局部变量。这极易导致调试困难，因为开发者可能误以为正在修改全局状态，实则只改变了局部副本。建议在开启编译器警告（如 -Wshadow）时检查此类隐患。

表达式 a[i++] = i; 或 i = i++; 属于典型的未定义行为（Undefined Behavior, UB）。

在C语言标准中，如果在两个序列点之间，对同一个标量对象的修改进行了多次，或者既有修改又有访问（且该访问用于确定修改的值），结果是未定义的。尽管在某些特定编译器（如旧版Xcode或GCC特定版本）的实验中，可能会观察到先赋值再递增的结果，但这纯粹是巧合。

最佳实践：绝对不要在单个表达式中混合使用自增/自减运算符与其他操作。应将其拆分为独立语句，例如：

a[i] = i;
i++;

在进行 Code Review 时，发现表达式中包含 ++ 或 -- 作为子表达式的一部分，应立即要求重构。

sizeof 是C语言中最特殊的运算符之一，它在编译阶段计算大小，通常不执行运行时求值。

不执行求值：在 int x = 1; size_t sz = sizeof(x++); 中，x++ 不会被执行，x 的值保持不变。这是因为 sizeof 作用于表达式类型而非结果。
无需括号：当操作数为类型名时，必须加括号，如 sizeof(int)；但当操作数为变量或表达式时，括号可选，如 sizeof x 或 sizeof *p。
空指针安全： p = malloc(sizeof *p); 是一种惯用法，即使 p 为空，sizeof 也会安全地返回所指向对象的大小，而不会发生解引用崩溃。