C语言中的未定义行为

未定义行为是指代码执行结果未被语言规范规定，可能导致编译失败、崩溃或错误结果。

序列点的概念是理解未定义行为的基础，同一个对象在两个序列点之间最多只能被修改一次。

案例1：在序列点间多次修改变量会导致未定义行为，不同编译器可能产生不同结果。

案例2：尝试修改字符串字面量会导致未定义行为，通常会引发段错误。

案例3：有符号整数溢出是未定义行为，编译器可能会优化掉溢出检查。

案例4：整数除以零是未定义行为，通常会导致运行时崩溃。

案例5：移位操作的右操作数大于等于操作数位宽会导致未定义行为。

案例6：解引用空指针会导致未定义行为，通常会引发段错误。

案例7：数组越界访问会导致未定义行为，可能导致读取垃圾值或覆盖关键数据。

建议使用编译器警告和静态分析工具来发现潜在的未定义行为。