赋值运算符

 

C

编译器支持

语言

头文件

类型支持

程序工具

变参函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

表达式

通用

值类别

求值顺序和序列点

常量表达式

隐式转换

泛型选择 (C11)

常量和字面量

整型常量

浮点常量

字符常量

真/假 (C23)

nullptr (C23)

字符串字面量

复合字面量 (C99)

运算符

运算符优先级

成员访问和间接寻址

逻辑运算符

比较运算符

算术运算符

赋值运算符

增量和减量

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

sizeof

_Alignof (C11*)

类型转换运算符

 

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

运算符	运算符名称	示例	描述	等价于
=	基本赋值	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 类型的隐式转换，然后将 lhs 所指对象中的值替换为 rhs 的转换值。

赋值还会返回存储在 lhs 中的相同值（以便诸如 a = b = c 的表达式成为可能）。赋值运算符的值类别是非左值（因此诸如 (a=b)=c 的表达式是无效的）。

rhs 和 lhs 必须满足以下条件之一

• lhs 和 rhs 都具有兼容的结构体或联合体类型，或者...
• rhs 必须可隐式转换为 lhs，这意味着

• lhs 和 rhs 都具有算术类型，在这种情况下 lhs 可以是volatile限定的或原子的(C11 起)
• lhs 和 rhs 都具有指向兼容的（忽略限定符）类型的指针，或者其中一个指针是指向 void 的指针，并且转换不会向所指向的类型添加限定符。lhs 可以是 volatile或restrict(C99 起)限定的或原子的(C11 起)。
• lhs 是一个（可能带有限定符或原子(C11 起)）指针，而 rhs 是一个空指针常量，例如 NULL 或一个 nullptr_t 值(C23 起)

lhs 的类型是（可能带有限定符或原子(C11 起)）_Bool，而 rhs 是一个指针或一个 nullptr_t 值(C23 起)

(C99 起)

lhs 的类型是（可能带有限定符或原子）nullptr_t，而 rhs 的类型是 nullptr_t

(自 C23 起)

注意

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

尽管数组不可赋值，但封装在结构体中的数组可以赋值给具有相同（或兼容）结构体类型的另一个对象。

更新 lhs 的副作用在值计算之后排序，但 lhs 和 rhs 本身的副作用以及操作数的求值，与往常一样，彼此之间不排序（因此诸如 i=++i; 的表达式是未定义的）

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

在 C++ 中，赋值运算符是左值表达式，但在 C 中不是。

运行此代码

#include <stdio.h>
 
int main(void)
{
    // integers
    int i = 1, j = 2, k = 3; // initialization, not assignment
 
    i = j = k;   // values of i and j are now 3
//  (i = j) = k; // Error: lvalue required
    printf("%d %d %d\n", i, j, k);
 
    // pointers
    const char c = 'A'; // initialization; not assignment
    const char *p = &c;  // initialization; not assignment
    const char **cpp = &p; // initialization; not assignment
 
//  cpp = &p;   // Error: char** is not convertible to const char**
    *cpp = &c;  // OK, char* is convertible to const char*
    printf("%c \n", **cpp);
    cpp = 0;    // OK, null pointer constant is convertible to any pointer
 
    // arrays
    int arr1[2] = {1,2}, arr2[2] = {3, 4};
//  arr1 = arr2; // Error: cannot assign to an array
    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; // OK: can assign arrays wrapped in structs
 
    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 赋值运算符 (p: 72-73)

• C11 标准 (ISO/IEC 9899:2011)

• 6.5.16 赋值运算符 (p: 101-104)

• C99 标准 (ISO/IEC 9899:1999)

• 6.5.16 赋值运算符 (p: 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++ 文档，关于 赋值运算符