赋值运算符
赋值及复合赋值运算符是二元运算符,它们用在其右侧的值修改在其左侧的变量。
运算符 | 运算符名 | 示例 | 描述 | 等价 |
---|---|---|---|---|
= | 基本赋值 | 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 必须满足下列条件之一:
注意
若 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 |
+a |
!a |
a == b |
a[b] |
a(...) |