賦值運算子

 

C

編譯器支援

語言

標頭檔

型別支援

程式公用程式

可變引數函式支援

錯誤處理

動態記憶體管理

字串函式庫

演算法

數值

日期與時間公用程式

輸入/輸出支援

本地化支援

併發支援 (C11)

技術規格

符號索引

 

C 語言

基本概念

關鍵字

前處理器

語句

運算式

初始化

宣告

函式

其他

C 語言歷史

技術規格

 

運算式

一般

值類別

求值順序與順序點

常量運算式

隱含轉換

泛型選擇 (C11)

常數與字面量

整數常數

浮點常數

字元常數

true/false (C23)

nullptr (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
&=	位元 AND 指派	a &&= b	a 的值變為與 a 和 b 進行位元 AND 運算的結果相等	a = a & b
|=	位元 OR 指派	a |= b	a 的值變為與 a 和 b 進行位元 OR 運算的結果相等	a = a | b
^=	位元 XOR 指派	a ^= b	a 的值變為與 a 和 b 進行位元 XOR 運算的結果相等	a = a ^ b
<<=	位元左移指派	a <<= b	a 的值變為與 a 向左位移 b 位後的結果相等	a = a << b
>>=	位元右移指派	a >>= b	a 的值變為與 a 向右位移 b 位後的結果相等	a = a >> b

簡單指派

簡單指派運算子表達式的形式為

lhs = rhs

其中

lhs	-	任何完整物件類型的可修改左值 (modifiable lvalue) 表達式
rhs	-	任何可隱含轉換為 lhs 類型，或與 lhs 相容之類型的表達式

指派會執行從 rhs 的值到 lhs 類型的隱含轉換，然後將 lhs 所指定的物件中的值替換為 rhs 的轉換後值。

指派也會傳回與儲存在 lhs 中相同的值（因此類似 a = b = c 的表達式是可行的）。指派運算子的值類別 (value category) 為非左值（因此類似 (a=b)=c 的表達式是無效的）。

rhs 與 lhs 必須滿足下列其中之一

• lhs 與 rhs 兩者皆具有相容的 結構 (struct) 或 聯集 (union) 類型，或者...
• rhs 必須能隱含轉換為 lhs，這意味著

• lhs 與 rhs 兩者皆具有算術類型；在此情況下，lhs 可以是被 volatile 限定的或原子 (atomic) 的(自 C11 起)
• lhs 與 rhs 兩者皆具有指向相容（忽略限定符）類型的指標，或者其中一個指標是指向 void 的指標，且轉換不會向所指向的類型添加限定符。lhs 可以是被 volatile 或 restrict(自 C99 起) 限定的 或 原子(自 C11 起)。
• lhs 是一個指標（可能被限定或為原子(自 C11 起)），而 rhs 是一個空指標常數，例如 NULL，或是 nullptr_t 值(自 C23 起)

lhs 的類型為 _Bool（可能被限定或為原子(自 C11 起)），且 rhs 是一個指標，或是 nullptr_t 值(自 C23 起)

(自 C99 起)

lhs 的類型為 nullptr_t（可能被限定或為原子），且 rhs 的類型為 nullptr_t

(C23 起)

附註

如果 rhs 與 lhs 在記憶體中重疊（例如：它們是同一個聯集中的成員），則其行為是不明確的，除非重疊是精確的且類型相容。

雖然陣列不可指派，但封裝在結構中的陣列可以指派給相同（或相容）結構類型的另一個物件。

更新 lhs 的副作用會順序排列在 (sequenced after) 值計算之後，但並非 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 具有原子類型，則該運算會表現為單一原子讀取-修改-寫入 (read-modify-write) 運算，且具有記憶體順序 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 (型別) a a ? b : c sizeof _Alignof (自 C11 起) (C23 之前) alignof (C23 起)

參見

C++ 文件 關於 指派運算子