赋值运算符

赋值运算符修改对象的值。

解释

复制赋值运算符以 b 内容的副本替换对象 a 的内容（不修改 b）。对于类类型，这是一种特殊成员函数，描述于复制赋值运算符。

对于非类类型，对复制与移动赋值不加以区分，均被称作直接赋值（direct assignment）。

复合赋值（compound assignment）运算符以 a 的值和 b 的值间的二元运算结果替换对象 a 的内容。

内建的直接赋值

直接赋值表达式的形式为

对于内建运算符，lhs 可拥有任何非 const 标量类型，而 rhs 必须可隐式转换为 lhs 的类型。

直接赋值运算符期待以一个可修改左值为其左操作数，以一个右值表达式或花括号初始化器列表 (C++11 起)为其右操作数，并返回一个标识修改后的左运操作的左值。

对于非类类型，首先将右操作数隐式转换为左操作数的无 cv 限定的类型，然后复制其值到左操作数所标识的对象中。

当左操作数拥有引用类型时，赋值运算符修改被引用的对象。

若左右操作数标识的对象之间有重叠，则行为未定义（除非二者严格重叠且类型相同）。

针对用户定义运算符的重载决议中，对于每个类型 T，下列函数签名参与重载决议：

对于每个枚举或成员指针类型 T（可选地有 volatile 限定），下列函数签名参与重载决议：

对于每对 A1 和 A2，其中 A1 是算术类型（可选地有 volatile 限定）而 A2 是提升后的算术类型，下列函数签名参与重载决议：

示例

#include <iostream>
int main()
{
    int n = 0;  // 不是赋值
    n = 1;      // 直接赋值
    std::cout << n << ' ';
    n = {};     // 零初始化，然后赋值
    std::cout << n << ' ';
    n = 'a';    // 整型提升，然后赋值
    std::cout << n << ' ';
    n = {'b'};   // 显式转型，然后赋值
    std::cout << n << ' ';
    n = 1.0;    // 浮点转换，然后赋值
    std::cout << n << ' ';
//    n = {1.0}; // 编译错误（窄化转换）
 
    int& r = n;  // 不是赋值
    int* p;
 
    r = 2;       // 通过引用赋值
    std::cout << n << '\n';
    p = &n;      // 直接赋值
    p = nullptr; // 空指针转换，然后赋值
 
    struct {int a; std::string s;} obj;
    obj = {1, "abc"}; // 从花括号初始化器列表赋值
    std::cout << obj.a << ':' << obj.s << '\n';
}

1 0 97 98 1 2
1:abc

内建的复合赋值

复合赋值表达式的形式为

每个内建复合赋值运算符表达式 E1 op= E2（其中 E1 是可修改左值表达式，而 E2 是右值表达式或花括号初始化器列表 (C++11 起)）的行为与表达式 E1 = E1 op E2 的行为严格相同，但只对表达式 E1 进行一次求值，并且对于顺序不确定的函数而言是一次单个操作（例如 f(a += b, g()) 中，从 g() 内来看，+= 要么完全未开始，要么已完成）。

在针对用户定义运算符的重载决议中，对每对 A1 和 A2，其中 A1 是算术类型（可选地有 volatile 限定）而 A2 为提升后的算术类型，下列函数签名参与重载决议：

对于每对 I1 与 I2，其中 I1 是整型类型（可选地有 volatile 限定）而 I2 为提升后的整型类型，下列函数签名参与重载决议：

对于每个可选地有 cv 限定的对象类型 T，下列函数签名参与重载决议：

示例

参阅

运算符优先级

运算符重载