Namespaces
Variants

Assignment operators

From cppreference.net
C
C language
Expressions

赋值和复合赋值运算符是二元运算符，它们使用右侧的值来修改左侧的变量。

运算符 运算符名称 示例 描述 等价形式
= 基础赋值 a = b 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
>>= 按位右移赋值 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 具有（可能带限定 或原子 (C11 起) ）类型 _Bool 且 rhs 为指针 或 nullptr_t 值 (C23 起)
(C99 起)
(C23 起)

注释

如果 rhs 和 lhs 在内存中存在重叠（例如它们是同一联合体的成员），则行为是未定义的，除非重叠是完全精确的且类型是 兼容的 。

尽管数组本身不可赋值，但封装在结构体中的数组可以赋值给同类型（或兼容类型）的结构体对象。

更新 lhs 的副作用在值计算之后 被定序 ，但不在 lhs 和 rhs 自身的副作用之后，且操作数的求值通常彼此间无序列关系（因此诸如 i = ++ i ; 的表达式是未定义的）

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

在C++中，赋值运算符是左值表达式，而在C语言中则不然。

运行此代码 
#include <stdio.h>
int main(void)
{
    // 整型
    int i = 1, j = 2, k = 3; // 初始化，非赋值
    i = j = k;   // i 和 j 的值现在为 3
//  (i = j) = k; // 错误：需要左值
    printf("%d %d %d\n", i, j, k);
    // 指针
    const char c = 'A'; // 初始化；非赋值
    const char *p = &c;  // 初始化；非赋值
    const char **cpp = &p; // 初始化；非赋值
//  cpp = &p;   // 错误：char** 无法转换为 const char**
    *cpp = &c;  // 正确，char* 可转换为 const char*
    printf("%c \n", **cpp);
    cpp = 0;    // 正确，空指针常量可转换为任意指针
    // 数组
    int arr1[2] = {1,2}, arr2[2] = {3, 4};
//  arr1 = arr2; // 错误：无法对数组进行赋值
    printf("arr1[0]=%d arr1[1]=%d arr2[0]=%d arr2[1]=%d\n",
            arr1[0],   arr1[1],   arr2[0],   arr2[1]);
    struct { int arr[2]; } sam1 = { {5, 6} }, sam2 = { {7, 8} };
    sam1 = sam2; // 正确：可对结构体包装的数组进行赋值
    printf("%d %d \n", sam1.arr[0], sam1.arr[1]);
}

输出： 

3 3 3
A
arr1[0]=1 arr1[1]=2 arr2[0]=3 arr2[1]=4
7 8

复合赋值

复合赋值运算符表达式的形式为

lhs op rhs

其中

op - 下列运算符之一： * = 、 / = 、 % = 、 + = 、 - = 、 <<= 、 >>= 、 & = 、 ^ = 、 | =
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 起)
运行此代码 
#include <stdio.h>
int main(void)
{
    int x = 10; 
    int hundred = 100; 
    int ten = 10; 
    int fifty = 50; 
    printf("%d %d %d %d\n", x, hundred, ten, fifty);
    hundred *= x; 
    ten     /= x; 
    fifty   %= x; 
    printf("%d %d %d %d\n", x, hundred, ten, fifty);
    return 0;
}

输出： 

10 100 10 50
10 1000 1 0

参考文献

  • C17 标准 (ISO/IEC 9899:2018):
  • 6.5.16 赋值运算符 (页码: 72-73)
  • C11 标准 (ISO/IEC 9899:2011):
  • 6.5.16 赋值运算符 (p: 101-104)
  • C99标准（ISO/IEC 9899:1999）：
  • 6.5.16 赋值运算符（页码：91-93）
  • C89/C90 标准 (ISO/IEC 9899:1990):
  • 3.3.16 赋值运算符

参见

运算符优先级

常用运算符
赋值 自增
自减 		算术 逻辑 比较 成员
访问 		其他

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
a ? b : c
sizeof

_Alignof
(C11起)
(C23前)

alignof
(C23起)

参见

C++ 文档 关于 赋值运算符