在C语言里，赋值是指把某个值存放到变量所对应的内存空间中的过程。它依靠赋值运算符“=”来完成，但这里的等号和数学里的相等完全不是一回事。从编译器的角度看，赋值语句会先计算出右侧表达式的结果，然后把这个二进制数据写入左侧变量占据的存储位置。理解这一点，是搞清楚为什么改了变量的值程序行为就跟着变的关键。
赋值运算的底层内存模型
计算机运行C程序时，每个变量都对应一块具体的内存地址。当我们写int a;的时候，编译器在栈或数据段里给a划出四个字节的空间，但这个空间里此时可能是随机值。赋值语句a = 10;做的事情，就是CPU把常数10的二进制表示送到a的那四个字节中。换言之，赋值是一种“覆盖式写入”，旧内容被新内容取代。
左侧操作数在C语言规范里被称为左值（lvalue），它必须是一个有明确存储位置的对象，不能是常数或表达式计算结果。例如10 = a;会直接编译报错，因为10没有内存地址可供写入。右侧可以是任意右值（rvalue），包括字面量、其他变量或复杂算式，编译器会先将其求值成一个临时数据再拷贝过去。下面的代码展示了最基础的赋值以及连续赋值的执行顺序：
#include <stdio.h>
int main(void) {
int x, y, z;
x = 5; /* 把5写入x所在内存 */
y = z = x + 1; /* 先算x+1得6，赋给z，再把z的值赋给y */
printf("%d %d %dn", x, y, z);
return 0;
}
连续赋值从右往左结合，这源于赋值表达式本身也有值——它返回写入后的左值。这个特性既方便写简练代码，也埋下了误用的隐患。如果搞不清优先级，就可能写出难以排查的逻辑错误。
初始化与赋值的本质区别
很多初学者分不清“定义时给值”和“定义后给值”的差异。像int a = 3;叫初始化，它在为a分配空间的同时就写入了3，通常只发生一次，且可能走特殊的编译期常量折叠。而int a; a = 3;是先分配空间（内容未定），再用一条赋值指令写入3。在嵌入式或内核开发中，未初始化的变量若被提前读取，会导致未定义行为。
从汇编层面看，全局变量的初始化可能直接反映在可执行文件的数据段里，程序加载后即正确；而函数内的局部变量初始化往往仍对应一条mov指令，和赋值差别不大。但语义上，初始化标志着对象诞生时的状态，赋值则是对象生命周期中的状态变更。下面的例子对比了两者在代码中的不同写法：
#include <stdio.h>
int global = 100; /* 全局变量初始化 */
int main(void) {
int local; /* 局部变量未初始化 */
local = 200; /* 赋值操作 */
printf("%d %dn", global, local);
return 0;
}
如果局部变量定义后从未赋值就被使用，像int b; printf("%d", b);，打印出的数字完全不可信。因此良好的习惯是定义即初始化，或者在确认赋值完成后再读取。这种约束不是语法强制，而是工程安全的需要。
常见赋值陷阱与规避写法
最经典的坑是把比较写成赋值。在C里，if (a = 1)是合法的：它把1赋给a，然后判断a的非零性，结果永远为真。本想写if (a == 1)却少打一个等号，编译器未必警告。这类错误在条件分支多时极难肉眼发现。推荐把常量放左边，如if (1 == a)，这样若误写成if (1 = a)会立即编译失败。
另一个陷阱是混淆赋值与类型转换。当右侧类型与左侧不一致，赋值会触发隐式转换。例如double d = 3.9; int i; i = d;会把d截断成3存入i，小数部分丢失且无提示。在涉及无符号与有符号互相赋值时，还可能因位解释不同产生意料之外的大数。下面代码演示了有符号到无符号的赋值效果：
#include <stdio.h>
int main(void) {
int s = -1;
unsigned int u;
u = s; /* 把-1的补码解释成无符号数 */
printf("u=%un", u); /* 输出4294967295（32位环境） */
return 0;
}
为避免这类问题，关键赋值处应显式转换并确认范围，或开启编译器警告选项如-Wall -Wextra。理解赋值意味着理解数据如何在内存中流动和变形，而不是简单地“让两边相等”。掌握这些细节后，再读他人代码或调试时，就能准确预测每条赋值语句带来的真实改变了。