赋值运算符

 

C

编译器支持

语言

头文件

类型支持

程序实用程序

可变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间实用程序

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键字

预处理器

语句

表达式

初始化

声明

函数

杂项

C 语言历史

技术规范

 

表达式

一般

值类别

求值顺序和顺序点

常量表达式

隐式转换

泛型选择 (C11)

常量和字面量

整数常量

浮点数常量

字符常量

真/假 (C23)

空指针 (C23)

字符串字面量

复合字面量 (C99)

运算符

运算符优先级

成员访问和间接寻址

逻辑运算符

比较运算符

算术运算符

赋值运算符

递增和递减

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

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 的类型，然后将 lhs 指定的对象中的值替换为 rhs 的转换后的值。

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

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

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

• lhs 和 rhs 都具有算术类型，在这种情况下，lhs 可能具有易失性 限定符 或 原子(自 C11 起)
• lhs 和 rhs 都具有指向兼容 （忽略限定符）类型的指针，或者其中一个指针指向 void，并且转换不会向指向的类型添加限定符。 lhs 可能具有易失性 或 限制(自 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 开始)

另见

C++ 文档 针对 赋值运算符