【一】语法符号的理解#

每种编程语言都有自己的词汇和语法规则。编译器不会把源代码直接当作一整段文字理解，而是先进行词法分析，将代码识别成一个个具有语法意义的最小单元，这些单元通常称为 Token（记号或词法单元）。

例如：

1
int sum = a + 10;

可以识别为：

1
int    sum    =    a    +    10    ;
2
关键字 标识符  运算符 标识符 运算符 常量  标点符号

按照本系列笔记便于理解的分类方式，可以将常见语法符号分为：

• 关键字：由语言标准赋予固定含义的单词；
• 标识符：由程序员命名的变量、函数、类型等名称；
• 运算符：表示计算、比较、赋值或其他操作的符号；
• 分隔符：用于分隔词法单元的空白字符和注释；
• 标点符号：用于组织声明、表达式、语句和代码块的符号。

此外，源代码中还有常量和字符串字面量。它们属于 C 语言 Token 的重要组成部分，将在“常量”章节单独讲解。

从 C 标准的词法分类来看，许多“运算符”和“标点符号”会统一归入 punctuator（标点符号/界符）。本章将它们分开说明，是为了便于初学者按用途理解。

【二】关键字#

关键字是由 C 语言标准预先规定并赋予特殊语法含义的单词，不能用作变量名、函数名或其他标识符。

1
auto       break      case       char       const
2
continue   default    do         double     else
3
enum       extern     float      for        goto
4
if         int        long       register   return
5
short      signed     sizeof     static     struct
6
switch     typedef    union      unsigned   void
7
volatile   while

1
inline      restrict      _Bool      _Complex      _Imaginary

1
_Alignas        _Alignof        _Atomic         _Generic
2
_Noreturn       _Static_assert  _Thread_local

1
alignas          alignof          bool             constexpr
2
false            nullptr         static_assert    thread_local
3
true             typeof          typeof_unqual    _BitInt

【三】标识符#

标识符是程序中名称的词法形式，可用于命名宏、变量、函数、形参、结构体成员、自定义类型等程序实体。

C 语言标识符的基本命名规则如下：

1. 基础且可移植的标识符由英文字母 A-Z、a-z、数字 0-9 和下划线 _ 组成。
2. 第一个字符必须是字母或下划线，不能是数字。
3. 标识符不能与 C 语言关键字相同。
4. C 语言区分大小写，因此 sum、Sum 和 SUM 是三个不同的标识符。
5. 标识符中不能包含空格、连字符 -、点号 .、@ 等字符。

新版 C 标准也支持一定范围的通用字符名称及扩展字符，但其可用性还受源文件编码和编译器支持影响。基础学习及追求可移植性时，优先使用英文字母、数字和下划线。

1
x    y    sum    a100    student_name    score2

【四】运算符#

运算符用于表示计算、比较、赋值、成员访问等操作。一个运算符需要几个操作数，就称为几元运算符。例如，-a 中的 - 是一元运算符，a - b 中的 - 是二元运算符，condition ? a : b 是三元条件运算符。

按照功能，常用运算符可以概括为：

同一个符号在不同上下文中可能具有不同含义。例如，* 既可以表示乘法，也可以用于声明指针或解引用指针；& 既可以表示按位与，也可以表示取地址。

运算符还涉及优先级、结合性和求值规则。为了让表达式含义更清楚，不确定时应主动使用圆括号，而不是仅依赖记忆优先级。具体规则将在后续运算符章节中展开。

【五】分隔符#

分隔符用于划分相邻的词法单元。常见分隔内容包括：

• 空格（space）；
• 水平制表符（tab）；
• 换行符（newline）；
• 其他空白字符，例如垂直制表和换页；
• 注释 // ... 和 /* ... */。

在预处理阶段，注释会被替换为空白，因此注释也能起到分隔词法单元的作用。字符串或字符常量内部的 //、/* 并不会开始注释：

1
const char *url = "https://example.com";  // 字符串中的 // 是普通字符
2
char slash = '/';                         // 字符常量中的 / 是普通字符

空白字符有时可以省略，有时则必不可少：

1
int count;     // int 和 count 之间必须分隔
2
int intcount;  // intcount 是一个完整的标识符，不等同于 int count
3

4
total=a+b;     // 编译器能够识别，但不利于阅读
5
total = a + b; // 含义相同，格式更清晰

还应注意：

• // 注释持续到当前行末尾；
• /* ... */ 块注释可以跨行，但不能嵌套；
• 换行通常只是空白，但它会结束 // 注释和预处理指令；
• 不能用空白拆开一个完整的多字符运算符，例如 >=、==、++。

合理使用空格、缩进和换行不会改变大多数代码的含义，却能显著提升可读性并帮助排查语法错误。

【六】标点符号#

C 语言中常见的标点符号包括逗号、分号、冒号、圆括号、方括号、花括号、点号和箭头等。它们用于组织声明、表达式、语句、函数、数组和代码块。

标点符号与空白分隔符不同：它们具有严格的语法作用，不能随意省略。部分符号在特定上下文中也属于运算符，例如逗号、圆括号、方括号、点号和箭头。

下面的程序集中演示了常见标点符号的用法：

1
#include <stdio.h>
2

3
int add(int x, int y)
4
{
5
    return x + y;
6
}
7

8
int main(void)
9
{
10
    int values[2] = {3, 4};
11
    int result = add(values[0], values[1]);
12

13
    switch (result) {
14
        case 7:
15
            printf("result = %d\n", result);
16
            break;
17
        default:
18
            printf("unexpected result\n");
19
            break;
20
    }
21

22
    return 0;
23
}

在这个示例中：

• 逗号分隔函数形参、实参和数组初始化元素；
• 分号结束声明、函数调用和 return、break 语句；
• 圆括号用于函数声明、函数调用和 switch 条件；
• 方括号用于数组声明及下标访问；
• 花括号构成初始化器、函数体和 switch 语句体；
• 冒号跟在 case 和 default 标签之后。