命名空间
变体
操作

赋值运算符

来自 cppreference.cn
< c‎ | language
 
C
 
C 语言
 
表达式
 

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

运算符 运算符名称 示例 描述 等价于
= 基本赋值 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 都具有算术类型，在这种情况下 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 赋值运算符 (页码：72-73)
  • C11 标准 (ISO/IEC 9899:2011)
  • 6.5.16 赋值运算符 (页码：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++ 文档 关于 赋值运算符
Retrieved from "https://cppreference.cn/mwiki/index.php?title=c/language/operator_assignment&oldid=142209"