赋值运算符

 

C

语言

头文件

类型支持

程序工具

变参数函数支持

动态内存管理

错误处理

日期和时间工具

字符串库

算法

数值

输入/输出支持

本地化支持

线程支持 (C11)

原子操作 (C11)

技术规范

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

表达式

通用

值类别

求值顺序与顺序点

常量表达式

隐式转换

泛型选择

常量及字面量

整数常量

浮点常量

字符常量

字符串字面量

复合字面量

运算符

运算符优先级

成员访问与间接

逻辑运算符

比较运算符

算术运算符

赋值运算符

自增减

函数调用、逗号、条件运算符

sizeof

_Alignof (C11)

转型运算符

 

赋值及复合赋值运算符是二元运算符，它们用在其右侧的值修改在其左侧的变量。

运算符	运算符名	示例	描述	等价
=	基本赋值	a = b	a 变得等于 b	N/A
+=	加法赋值	a += b	a 变得等于 a 与 b 的和	a = a + b
-=	减法赋值	a -= b	a 变得等于从 a 减 b 的差	a = a - b
*=	乘法赋值	a *= b	a 变得等于 a 与 b 的积	a = a * b
/=	除法赋值	a /= b	a 变得等于 a 除以 b的商	a = a / b
%=	模赋值	a %= b	a 变得等于 a 除以 b 的余数	a = a % b
&=	逐位与赋值	a &= b	a 变得等于 a 与 b 的逐位或	a = a & b
|=	逐位或赋值	a |= b	a 变得等于 a 与 b 的逐位与	a = a | b
^=	逐位异或赋值	a ^= b	a 变得等于 a 与 b 的逐位异或	a = a ^ b
<<=	逐位左移赋值	a <<= b	a 变得等于 a 左移 b 位	a = a << b
>>=	逐位右移赋值	a >>= b	a 变得等于 a 右移 b 位	a = a >> b

简单赋值

简单赋值运算符表达式拥有形式

lhs = rhs

其中

lhs	-	任何完整对象类型的可修改左值表达式
rhs	-	任何可隐式转换成 lhs 或与 lhs 兼容类型的表达式

赋值进行从 rhs 的值到 lhs 类型的隐式转换，然后用 rhs 转换后的值替换 lhs 所指代对象中的值。

赋值亦返回存储于 lhs 中的相同值（故如 a = b = c 的表达式是可行的）。赋值运算符的值类别是非左值（故如 (a=b)=c 的表达式非法）。

rhs 与 lhs 必须满足下列条件之一：

• lhs 与 rhs 拥有兼容的 struct 或 union 类型，或……
• rhs 必须可隐式转换成 lhs ，这表示

• lhs 与 rhs 均拥有算术类型，此情况下 lhs 可为volatile 限定或原子的
• lhs 与 rhs 均拥有指向兼容类型的指针类型，或其中一个指针是指向 void 的指针，而转换不为被指向类型添加限定符。 lhs 可以为 volatile 或 restrict 限定，或原子的。
• lhs 是指针（可以有限定或是原子的），而 rhs 是空指针常量，如 NULL 。
• lhs 拥有类型 _Bool（可以有限定或是原子的）而 rhs 是指针 。

注意

若 rhs 与 lhs 在内存中重叠（例如它们是同一联合体的成员），则行为未定义，除非重叠是准确的且两者类型兼容。

尽管数组不可赋值，但包裹在结构体内的数组可以赋值给另一个相同（或兼容）的结构体类型。

更新 lhs 的副效应后序于值计算，但 lhs 和 rhs 自己和运算数的求值不是，与通常一样，它们相对于彼此是不定序的（故如 i=++i 的表达式是未定义的）

赋值会剥除浮点表达式的额外范围和精度（见 FLT_EVAL_METHOD ）。

C++ 中，赋值运算符是左值表达式，而 C 中不是

运行此代码

#include <stdio.h>
 
int main(void)
{
    const char **cpp;
    char *p;
    const char c = 'A';
 
//  cpp = &p;  // 错误： char** 不能转换为 const char**
    *cpp = &c; // OK ： char* 能转换为 const char*
    *p = 0;    // OK ：空指针常量能转换为任何指针
 
    int arr1[2] = {1,2}, arr2[2] = {3, 4};
//  arr1 = arr2; // 错误：不能通过数组赋值
 
    struct s { 
         int arr[2]; // 包装于结构体中的数组
    } sam1 = {5, 6}, sam2 = {7, 8};
    sam1 = sam2; // OK ：能赋值包装于结构体中的数组
 
    printf("%d %d \n",sam1.arr[0],sam1.arr[1]);
}

输出：

7 8

复合赋值

复合赋值运算符表达式拥有形式

lhs op rhs

其中

op	-	one of *=, /= %=, += -=, <<=, >>=, &=, ^=, |=
lhs, rhs	-	拥有算术类型的表达式（其中 lhs 可以有限定或是原子的），除非 op 是 += 或 -= ，此情况允许接受拥有与 + 和 - 相同限制的指针类型

表达式 lhs @= rhs 与 lhs = lhs @ ( rhs ) 准确相同，除了只求值一次 lhs 。

若 lhs 拥有原子类型，则运算表现为单个带内存顺序 memory_order_seq_cst 的原子读修改写操作 对于整数原子类型，复合赋值运算 @= 等价于： T1* addr = &lhs; T2 val = rhs; T1 old = *addr; T1 new; do { new = old @ val } while (!atomic_compare_exchange_strong(addr, &old, new);

(C11 起)

引用

• C11 标准（ISO/IEC 9899:2011）：

• 6.5.16 Assignment operators (p: 101-104)

• C99 标准（ISO/IEC 9899:1999）：

• 6.5.16 Assignment operators (p: 91-93)

• C89/C90 标准（ISO/IEC 9899:1990）：

• 3.3.16 Assignment operators

参阅

运算符优先级

常用运算符
赋值	自增 自减	算术	逻辑	比较	成员 访问	其他
a = b a += b a -= b a *= b a /= b a %= b a &= b a |= b a ^= b a <<= b a >>= b	++a --a a++ a--	+a -a a + b a - b a * b a / b a % b ~a a & b a | b a ^ b a << b a >> b	!a a && b a || b	a == b a != b a < b a > b a <= b a >= b	a[b] *a &a a->b a.b	a(...) a, b (type) a ? : sizeof _Alignof (C11 起)