賦值運算子

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 語言

通用主題
預處理器 註釋	關鍵詞 轉義序列
流程控制
條件執行語句
if	switch
迭代語句（迴圈）
for 範圍-for (C++11)	while do-while
跳轉語句
continue - break	goto - return
函式
函式宣告
Lambda 函式表示式
inline 說明符
動態異常規範 (直到 C++17*)
noexcept 說明符 (C++11)
異常
throw 表示式 try 塊	catch 處理程式
名稱空間
名稱空間宣告	命名空間別名
型別
基本型別 列舉型別 函式型別	類/結構體型別 聯合型別
說明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
儲存期說明符
初始化
預設初始化 值初始化 零初始化 複製初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表示式
值類別 求值順序	運算子 運算子優先順序
替代表示
字面量
布林 - 整型 - 浮點型
字元 - 字串 - nullptr (C++11)
使用者定義 (C++11)
工具
屬性 (C++11)
型別
typedef 宣告
類型別名宣告 (C++11)
型別轉換
隱式轉換 static_cast const_cast	顯式轉換 dynamic_cast reinterpret_cast
記憶體分配
new 表示式	delete 表示式
類
類宣告 建構函式 this 指標	訪問說明符 friend 說明符
類特有的函式屬性
虛擬函式 override 說明符 (C++11)   final 說明符 (C++11)	explicit (C++11) static
特殊成員函式
預設建構函式 複製建構函式 移動建構函式 (C++11)	複製賦值 移動賦值 (C++11) 解構函式
模板
類模板 函式模板	模板特化 引數包 (C++11)
雜項
內聯彙編	C++ 歷史

 

表示式

通用
值類別 求值順序 常量表達式 主表示式	Lambda 表示式 (C++11) Requires 表示式 (C++20) 包索引表示式 (C++26) 潛在求值表示式
字面量
整數字面量 浮點數字面量 布林字面量 字元字面量	轉義序列 字串字面量 空指標字面量 (C++11) 使用者定義字面量 (C++11)
運算子
賦值運算子 遞增和遞減 算術運算子 邏輯運算子 比較運算子 成員訪問運算子 其他運算子 new 表示式 delete 表示式 throw 表示式	alignof sizeof sizeof... (C++11) typeid noexcept (C++11) 摺疊表示式 (C++17) 運算子的替代表示 優先順序和結合性 運算子過載 預設比較 (C++20)
轉換
隱式轉換 顯式轉換 常用算術轉換     使用者定義轉換	const_cast static_cast dynamic_cast reinterpret_cast

 

賦值運算子修改物件的值。

運算子名稱	語法	可過載	原型示例（對於 class T）
			類定義內部	類定義外部
簡單賦值	a = b	是	T& T::operator =(const T2& b);	不適用
加法賦值	a += b	是	T& T::operator +=(const T2& b);	T& operator +=(T& a, const T2& b);
減法賦值	a -= b	是	T& T::operator -=(const T2& b);	T& operator -=(T& a, const T2& b);
乘法賦值	a *= b	是	T& T::operator *=(const T2& b);	T& operator *=(T& a, const T2& b);
除法賦值	a /= b	是	T& T::operator /=(const T2& b);	T& operator /=(T& a, const T2& b);
取餘賦值	a %= b	是	T& T::operator %=(const T2& b);	T& operator %=(T& a, const T2& b);
按位與賦值	a &= b	是	T& T::operator &=(const T2& b);	T& operator &=(T& a, const T2& b);
按位或賦值	a |= b	是	T& T::operator |=(const T2& b);	T& operator |=(T& a, const T2& b);
按位異或賦值	a ^= b	是	T& T::operator ^=(const T2& b);	T& operator ^=(T& a, const T2& b);
按位左移賦值	a <<= b	是	T& T::operator <<=(const T2& b);	T& operator <<=(T& a, const T2& b);
按位右移賦值	a >>= b	是	T& T::operator >>=(const T2& b);	T& operator >>=(T& a, const T2& b);
注意 所有內建賦值運算子都返回 *this，大多數使用者定義過載也返回 *this，以便使用者定義的運算子可以像內建運算子一樣使用。然而，在使用者定義運算子過載中，任何型別都可以用作返回型別（包括 void）。 T2 可以是包括 T 在內的任何型別。

定義

複製賦值將物件 a 的內容替換為 b 內容的副本（b 不會被修改）。對於類型別，這在特殊的成員函式中執行，詳見複製賦值運算子。

移動賦值將物件 a 的內容替換為 b 的內容，如果可能則避免複製（b 可能會被修改）。對於類型別，這在特殊的成員函式中執行，詳見移動賦值運算子。

(C++11 起)

對於非類型別，複製賦值和移動賦值無法區分，統稱為直接賦值。

複合賦值將物件 a 的內容替換為 a 的先前值與 b 的值之間二元操作的結果。

賦值運算子語法

賦值表示式的形式為

target-expr = new-value	(1)
target-expr op new-value	(2)

target-expr	-	要賦值的表示式
op	-	以下之一：*=, /= %=, += -=, <<=, >>=, &=, ^=, |=
new-value	-	賦值給目標的表示式(直到 C++11)初始化子句(從 C++11 開始)

1) 簡單賦值表示式。

2) 複合賦值表示式。

如果 new-value 不是表示式，則賦值表示式永遠不會匹配過載的複合賦值運算子。

(C++11 起)

內建簡單賦值運算子

對於內建簡單賦值，target-expr 必須是可修改的左值。

由 target-expr 引用的物件透過將其值替換為 new-value 的結果而被修改。如果引用的物件是整型 T，並且 new-value 的結果是對應的有符號/無符號整型，則物件的值將替換為型別 T 的值，其值表示與 new-value 的結果相同。

內建簡單賦值的結果是 target-expr 型別的左值，引用 target-expr。如果 target-expr 是位域，則結果也是位域。

從表示式賦值

如果 new-value 是表示式，它會隱式轉換為 target-expr 的 cv-無限定型別。當 target-expr 是不能表示表示式值的位域時，位域的最終值是實現定義的。

如果 target-expr 和 new-value 標識重疊物件，則行為未定義（除非重疊完全且型別相同）。

如果 target-expr 的型別是 volatile 限定的，則賦值被棄用，除非（可能帶括號的）賦值表示式是丟棄值表示式或未求值運算元。

(C++20 起)

從非表示式初始化子句賦值 new-value 僅在以下情況才允許不是表示式： target-expr 是標量型別 T，並且 new-value 為空或只有一個元素。在這種情況下，給定一個發明的變數 t 宣告並初始化為 T t = new-value ，x = new-value  的含義是 x = t。 target-expr 是類型別。在這種情況下，new-value 作為透過過載決議選擇的賦值運算子函式的引數傳遞。 #include <complex>   std::complex<double> z; z = {1, 2}; // meaning z.operator=({1, 2}) z += {1, 2}; // meaning z.operator+=({1, 2})   int a, b; a = b = {1}; // meaning a = b = 1; a = {1} = b; // syntax error

(C++11 起)

在針對使用者定義運算子的過載決議中，對於每種型別 T，以下函式簽名參與過載決議：

T*& operator=(T*&, T*);
T*volatile & operator=(T*volatile &, T*);

對於每個列舉型別或指向成員的指標型別 T（可選 volatile 限定），以下函式簽名參與過載決議：

T& operator=(T&, T);

對於每對 A1 和 A2，其中 A1 是算術型別（可選 volatile 限定），A2 是提升的算術型別，以下函式簽名參與過載決議：

A1& operator=(A1&, A2);

內建複合賦值運算子

每個內建複合賦值表示式 target-expr op = new-value 的行為與表示式 target-expr = target-expr op new-value 的行為完全相同，除了 target-expr 只被求值一次。

對內建簡單賦值運算子的 target-expr 和 new-value 的要求也適用。此外

• 對於 += 和 -=，target-expr 的型別必須是算術型別或指向（可能 cv 限定的）完全定義物件型別的指標。
• 對於所有其他複合賦值運算子，target-expr 的型別必須是算術型別。

在針對使用者定義運算子的過載決議中，對於每對 A1 和 A2，其中 A1 是算術型別（可選 volatile 限定），A2 是提升的算術型別，以下函式簽名參與過載決議：

A1& operator*=(A1&, A2);
A1& operator/=(A1&, A2);
A1& operator+=(A1&, A2);
A1& operator-=(A1&, A2);

對於每對 I1 和 I2，其中 I1 是整型（可選 volatile 限定），I2 是提升的整型，以下函式簽名參與過載決議：

I1& operator%=(I1&, I2);
I1& operator<<=(I1&, I2);
I1& operator>>=(I1&, I2);
I1& operator&=(I1&, I2);
I1& operator^=(I1&, I2);
I1& operator|=(I1&, I2);

對於每個可選 cv 限定的物件型別 T，以下函式簽名參與過載決議：

T*& operator+=(T*&, std::ptrdiff_t);
T*& operator-=(T*&, std::ptrdiff_t);
T*volatile & operator+=(T*volatile &, std::ptrdiff_t);
T*volatile & operator-=(T*volatile &, std::ptrdiff_t);

示例

執行此程式碼

#include <iostream>
 
int main()
{
    int n = 0;        // not an assignment
 
    n = 1;            // direct assignment
    std::cout << n << ' ';
 
    n = {};           // zero-initialization, then assignment
    std::cout << n << ' ';
 
    n = 'a';          // integral promotion, then assignment
    std::cout << n << ' ';
 
    n = {'b'};        // explicit cast, then assignment
    std::cout << n << ' ';
 
    n = 1.0;          // floating-point conversion, then assignment
    std::cout << n << ' ';
 
//  n = {1.0};        // compiler error (narrowing conversion)
 
    int& r = n;       // not an assignment
    r = 2;            // assignment through reference
    std::cout << n << ' ';
 
    int* p;
    p = &n;           // direct assignment
    p = nullptr;      // null-pointer conversion, then assignment
    std::cout << p << ' ';
 
    struct { int a; std::string s; } obj;
    obj = {1, "abc"}; // assignment from a braced-init-list
    std::cout << obj.a << ':' << obj.s << '\n';
}

可能的輸出

1 0 97 98 1 2 (nil) 1:abc

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
CWG 1527	C++11	對於類型別物件的賦值，右運算元 只能是初始化列表，當賦值 由使用者定義的賦值運算子定義時	移除使用者定義 賦值約束
CWG 1538	C++11	E1 = {E2} 等價於 E1 = T(E2) （T 是 E1 的型別），這引入了 C 風格的轉換	它等價於 E1 = T{E2}
CWG 2654	C++20	volatile 限定型別的複合賦值運算子 被不一致地棄用	它們都沒有 被棄用
CWG 2768	C++11	從非表示式初始化子句賦值 到標量值會執行直接列表初始化	改為執行復制列表 初始化
CWG 2901	C++98	透過 int 左值賦值給 unsigned int 物件的值不明確	已明確
P2327R1	C++20	volatile 型別的按位複合賦值運算子 在某些平臺上很有用，但被棄用	它們沒有 被棄用

另請參閱

運算子優先順序

運算子過載

常見運算子
賦值	遞增 遞減	算術	邏輯	比較	成員 訪問	其他
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 a->b a.b a->*b a.*b	函式呼叫 a(...)
						逗號 a, b
						條件 a ? b : c
特殊運算子
static_cast 將一種型別轉換為另一種相關型別 dynamic_cast 在繼承層次結構內進行轉換 const_cast 新增或移除 cv-限定符 reinterpret_cast 將型別轉換為不相關型別 C 風格轉換透過 static_cast、const_cast 和 reinterpret_cast 的混合將一種型別轉換為另一種型別 new 建立具有動態儲存期的物件 delete 銷燬先前由 new 表示式建立的物件並釋放獲得的記憶體區域 sizeof 查詢型別的大小 sizeof... 查詢 包 的大小 (C++11 起) typeid 查詢型別的型別資訊 noexcept 檢查表示式是否可以丟擲異常 (C++11 起) alignof 查詢型別的對齊要求 (C++11 起)

C 文件，關於 賦值運算子