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

    • 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
    • 灵活数组成员
    • 匿名结构体与联合体
    • 静态断言
    • 线程支持
    • 原子操作

自增自减运算符

自增 ++ 和自减 -- 运算符将变量的值加 1 或减 1。它们有前缀和后缀两种形式,区别在于"先增减再使用"还是"先使用再增减"。这个看似简单的运算符是 C 语言中最容易出错的地方之一——在复杂表达式中混用自增运算符,可能产生未定义行为。

前缀与后缀

前缀形式 ++i、--i:先增减,再返回新值

int a = 5;
int b = ++a;            /* a 先变为 6,然后 b = 6 */
printf("a = %d, b = %d\n", a, b);   /* a = 6, b = 6 */

后缀形式 i++、i--:先返回原值,再增减

int a = 5;
int b = a++;            /* b = 5(先返回原值),然后 a 变为 6 */
printf("a = %d, b = %d\n", a, b);   /* a = 6, b = 5 */

两种形式都修改了变量,但返回的值不同:

int x = 10;
printf("%d\n", ++x);     /* 输出 11,x 变为 11 */
printf("%d\n", x++);     /* 输出 11,x 变为 12 */
printf("%d\n", x);       /* 输出 12 */

常见用法

循环计数器:

for (int i = 0; i < 10; i++) { }    /* 后缀即可 */
for (int i = 10; i > 0; --i) { }    /* 前缀后缀效果相同 */

在独立的语句中,前缀和后缀效果相同,但前缀可能稍快(避免创建临时副本)。现代编译器优化后通常没有区别。

数组遍历:

int arr[] = {10, 20, 30, 40, 50};
int *p = arr;

while (p < arr + 5) {
    printf("%d ", *p++);    /* 先输出 *p,然后 p 递增 */
}
/* 输出:10 20 30 40 50 */

清零计数器:

int count = 10;
while (count-- > 0) {     /* 先比较 count > 0,然后 count 减 1 */
    printf("%d ", count);   /* 输出 9 8 7 6 5 4 3 2 1 0 */
}

注意 count-- > 0 的执行顺序:先取 count 的原值与 0 比较,然后 count 减 1。所以循环体中 count 已经减过了。

危险:复杂表达式中的自增

C99 规定:两个序列点之间,同一对象最多被修改一次,且读取的值只能是用于计算新值的。违反这一规则就是未定义行为。

int i = 5;

/* 未定义行为:同一表达式中 i 被修改两次 */
int a = i++ + i++;      /* 结果可能是 10、11 或 12,取决于编译器 */

/* 未定义行为:i 被修改,且读取的值不用于计算新值 */
int b = i++ + i;        /* 未定义行为! */

/* 未定义行为:函数参数求值顺序未指定 */
printf("%d %d\n", i++, i++);   /* 未指定行为:哪个 i++ 先执行? */

这些代码可能"恰好工作",但换编译器、换优化级别、甚至换编译器版本,结果都可能不同。永远不要写这种代码。

安全做法:将自增拆分为独立语句:

int i = 5;
int a = i + i;          /* 10 */
i++;                    /* i = 6 */
i++;                    /* i = 7 */

/* 或 */
int temp1 = i++;        /* temp1 = 5, i = 6 */
int temp2 = i++;        /* temp2 = 6, i = 7 */
int result = temp1 + temp2;   /* 11 */

指针的自增

指针的自增按所指向类型的大小为步长:

int arr[] = {10, 20, 30};
int *p = arr;

printf("%d\n", *p);     /* 10 */
p++;                    /* p 增加 sizeof(int) 字节,指向 arr[1] */
printf("%d\n", *p);     /* 20 */

char str[] = "ABC";
char *cp = str;
cp++;                   /* p 增加 1 字节,指向 'B' */
printf("%c\n", *cp);    /* B */

常见错误

对非左值使用自增:

int a = 5, b = 3;
(a + b)++;              /* 错误:a + b 不是可修改的左值 */

5++;                    /* 错误:字面量不能自增 */

在条件中误用:

if (i++ == 5)           /* 先比较 i == 5,然后 i 加 1 */
    /* ... */

if (++i == 5)           /* i 先加 1,再与 5 比较 */
    /* ... */

两种写法逻辑不同,选择取决于需求。

与赋值混用:

int i = 0;
int arr[5] = {10, 20, 30, 40, 50};

/* 危险 */
int x = arr[i++];       /* 安全:先取 arr[0],i 变为 1 */
int y = arr[++i];       /* 安全:i 先变为 2,取 arr[2] */

/* 危险 */
int z = arr[i++] + arr[i++];   /* 未指定行为! */

过度追求简洁:

/* 晦涩 */
*ptr++ = *src++;

/* 清晰 */
*ptr = *src;
ptr++;
src++;

*ptr++ = *src++ 是 C 语言中常见的模式(复制字符串等),有经验的程序员能读懂,但对初学者来说,拆分为多行更清晰。

最佳实践

  • 在独立语句中使用自增(不与其他运算混用)
  • 需要表达式的值时,明确选择前缀或后缀
  • 永远不在同一表达式中对同一变量使用多次自增/自减
  • 不在函数参数中使用自增(求值顺序未指定)
  • 优先保证可读性,而非一行代码的"巧妙"
上一页
赋值运算符
下一页
关系与判等运算符