飞翔飞翔
主页
  • 计算机基础

    • TCP/IP协议
    • Linux命令
  • 数据库

    • SQL教程
  • 编程语言

    • C语言
    • Python2
    • Python3
  • 数据格式

    • JSON教程
  • 工具

    • Markdown指南
  • Git

    • GitFlow
  • Quartz

    • Quartz教程
  • Java

    • Java设计模式
  • 缓存

    • Redis教程
联系
阿里云
主页
  • 计算机基础

    • TCP/IP协议
    • Linux命令
  • 数据库

    • SQL教程
  • 编程语言

    • C语言
    • Python2
    • Python3
  • 数据格式

    • JSON教程
  • 工具

    • Markdown指南
  • Git

    • GitFlow
  • Quartz

    • Quartz教程
  • Java

    • Java设计模式
  • 缓存

    • Redis教程
联系
阿里云
  • 学习路径
  • 第1章 编程基础概念

    • 冯·诺依曼体系结构
    • 数据在计算机中的表示
    • 编程语言的层次
    • C语言的起源与发展
    • C99标准的主要改进
    • 开发环境搭建
    • 第一个C程序
    • 编译与运行流程
    • 可移植性风险的三级体系
  • 第2章 数据类型与运算

    • 字符集与标识符
    • 关键字
    • 注释
    • char 类型
    • short 与 int
    • long 与 long long
    • 有符号与无符号
    • 取值范围与 limits.h
    • float 与 double
    • long double
    • _Bool 类型
    • 变量声明与定义
    • 常量
    • 转义序列
    • 算术运算符
    • 赋值运算符
    • 自增自减运算符
    • 关系与判等运算符
    • 逻辑运算符
    • 位运算符
    • 条件运算符
    • 逗号运算符
    • 运算符优先级
    • 隐式类型转换
    • 显式类型转换
  • 第3章 控制流

    • 表达式语句与空语句
    • 复合语句
    • if 语句
    • switch 语句
    • while 循环
    • do-while 循环
    • for 循环
    • break 与 continue
    • goto 语句
    • return 语句
  • 第4章 函数与模块化编程

    • 函数定义
    • 函数声明与原型
    • main 函数
    • 函数调用机制
    • 传值调用
    • 数组参数
    • 作用域
    • 存储期
    • 链接属性
    • static 与 extern
    • 递归
    • 头文件与源文件
    • 头文件保护
    • include 规则
  • 第5章 数组与字符串

    • 一维数组声明与初始化
    • 数组的存储模型
    • 数组访问与越界
    • 数组操作
    • 二维数组
    • 变长数组 VLA
    • 字符串基础
    • 字符串输入输出
    • 字符串处理函数
    • 字符串与数字转换
  • 第6章 指针

    • 指针的概念
    • 指针的声明与使用
    • 指针运算
    • const 与指针
    • 数组名与指针
    • 指针遍历数组
    • 指针与多维数组
    • 指针作为函数参数
    • 函数返回指针
    • 函数指针
    • 二级指针
    • 复杂声明解析
  • 第7章 结构体、联合体与枚举

    • 结构体定义与声明
    • 结构体初始化
    • 结构体成员访问
    • 结构体嵌套
    • 结构体指针
    • 结构体与函数
    • 联合体
    • 联合体与类型双关
    • 枚举类型
    • 位域
    • 内存对齐与填充
  • 第8章 动态内存管理

    • malloc 与 free
    • calloc 与 realloc
    • 内存泄漏
    • 悬垂指针
    • 内存分配策略
    • 自定义内存池
    • Valgrind 与内存检测
    • 内存碎片
    • 内存对齐分配
    • 常见内存错误
  • 第9章 文件输入输出

    • 文件打开与关闭
    • 文本读写
    • 格式化输入输出
    • 二进制读写
    • 文件定位
    • 错误处理
    • 标准流
    • 临时文件
    • 文件操作示例
  • 第10章 预处理器

    • 预处理器基础
    • 宏定义
    • 带参数的宏
    • 条件编译
    • 头文件包含
    • 预定义宏
    • 宏的高级技巧
    • 预处理器陷阱
    • 编译器特定扩展
  • 第11章 标准库概览

    • 标准库概述
    • assert.h
    • ctype.h
    • errno.h
    • float.h
    • limits.h
    • locale.h
    • math.h
    • setjmp.h
    • signal.h
    • stdarg.h
    • stddef.h
    • stdlib.h
  • 第12章 进阶主题

    • 内联函数
    • 变长数组 VLA
    • 复数类型
    • 布尔类型
    • stdint 与 inttypes
    • 灵活数组成员
    • 匿名结构体与联合体
    • 静态断言
    • 线程支持
    • 原子操作

表达式语句与空语句

C 语言中,一个表达式后面加上分号就构成了表达式语句。表达式语句的作用是执行表达式中的副作用(如赋值、函数调用、自增自减),并丢弃表达式的结果值。空语句则是一个单独的分号,表示"什么都不做",在某些语法结构中作为占位符使用。

表达式语句

任何表达式后面加上分号 ; 就成为语句:

x = 10;                 /* 赋值表达式语句 */
printf("Hello\n");      /* 函数调用表达式语句 */
i++;                    /* 自增表达式语句 */
a + b;                  /* 算术表达式语句:计算 a+b,丢弃结果 */

表达式语句的核心价值在于副作用。纯计算(如 a + b;)没有副作用,这样的语句虽然合法,但通常没有意义,编译器会发出警告:

int a = 5, b = 3;
a + b;                  /* 警告:statement with no effect */

常见的表达式语句:

/* 赋值 */
count = 0;
sum += value;

/* 函数调用 */
scanf("%d", &x);
process_data(buffer, length);

/* 自增自减 */
i++;
--counter;

/* 复合赋值 */
flags |= MASK;
ptr++;

空语句

单独一个分号 ; 是空语句,表示不执行任何操作:

;                       /* 空语句 */

空语句的主要用途是作为语法占位符:

/* while 循环体为空,等待某个条件 */
while (getchar() != '\n')
    ;                   /* 空语句:消耗输入直到换行 */

/* for 循环所有操作在头部完成 */
for (int i = 0; i < n && arr[i] != target; i++)
    ;                   /* 空语句:循环只负责查找 */

/* if 语句体为空(有时用于占位或调试) */
if (debug_mode)
    ;                   /* 暂不实现 */
else
    process_normal();

常见陷阱

多余的空语句:

if (x > 0);             /* 空语句!if 体为空 */
    printf("Positive\n");   /* 这行总是执行,不在 if 内 */

/* 正确 */
if (x > 0)
    printf("Positive\n");

if (x > 0); 中的分号让 if 的语句体变成了空语句,printf 不在 if 控制范围内。这是 C 语言中最常见的错误之一。

循环后的空语句:

for (int i = 0; i < 10; i++);
    printf("%d\n", i);      /* 错误:循环体为空,i 已超出作用域 */

/* 正确 */
for (int i = 0; i < 10; i++)
    printf("%d\n", i);

宏定义中的空语句:

#define DEBUG_PRINT(msg)    /* 调试时取消 */

/* 使用 */
DEBUG_PRINT("Start");       /* 宏展开为空,剩下分号 */
                            /* 合法但可能产生空语句警告 */

/* 更好的做法 */
#define DEBUG_PRINT(msg) ((void)0)
                            /* 转换为 void,明确无操作 */

表达式作为条件

在 if、while、for 的控制表达式中,任何标量表达式都可以使用:

/* 赋值表达式的值 */
if (x = get_value())        /* 将 get_value() 赋给 x,然后判断 x 是否为 0 */
    process(x);

/* 函数调用的返回值 */
while (scanf("%d", &n) == 1)
    process(n);

/* 指针 */
char *line;
while ((line = read_line()) != NULL)
    process_line(line);

if (x = get_value()) 是合法的 C 代码,但容易与 == 混淆。如果确实需要赋值并判断,建议明确表达意图:

if ((x = get_value()) != 0)     /* 括号明确赋值优先 */
    process(x);

/* 或更清晰 */
x = get_value();
if (x != 0)
    process(x);

逗号表达式语句

逗号运算符连接多个表达式,整个语句的值是最右侧表达式的值:

a = 1, b = 2, c = 3;        /* 三个赋值依次执行 */

/* 在 for 循环中 */
for (int i = 0, j = 10; i < j; i++, j--) {
    /* i 递增,j 递减 */
}

注意:声明中的逗号是分隔符,不是逗号运算符:

int a = 1, b = 2;           /* 声明两个变量 */
int c = (1, 2, 3);          /* 逗号运算符:c = 3 */

最佳实践

  • 避免纯计算的无副作用表达式语句(编译器会警告)
  • 小心 if 和循环后的多余分号
  • 需要空语句时,用注释说明意图
  • 赋值作为条件时,用括号明确或拆分为独立语句
  • 优先使用代码块 { ... } 而非逗号运算符连接多个操作
下一页
复合语句