代入演算子

代入および複合代入演算子は右辺の値を使用して左辺の変数を変更する二項演算子です。

[編集] 単純代入

単純代入演算子式は以下の形式を持ちます。

ただし、

代入は rhs の値から lhs の型への暗黙の変換を行い、その変換後の値で lhs の指示するオブジェクトの値を置き換えます。

また、代入は lhs に格納されたのと同じ値を返します (そのため a = b = c のような式が書けます)。 代入演算子の値カテゴリは非左辺値です (そのため (a=b)=c のような式は無効です)。

rhs および lhs は以下のいずれかを���たさなければなりません。

• lhs と rhs がどちらも互換な構造体型または共用体型である。
• rhs が lhs に暗黙に変換可能である。 これは以下のことを暗黙に意味します。

• lhs と rhs がどちらも算術型である。 この場合、 lhs は volatile 修飾されていても構いませんしアトミックでも構いません。
• lhs と rhs がどちらも互換 (修飾は無視します) な型へのポインタ型である。 または、ポインタの一方が void へのポインタであり、指す先の型に修飾を追加しない。 lhs は volatile または restrict 修飾されていても構いませんし、アトミックでも構いません。
• lhs がポインタ (修飾されていても構いません) (アトミックでも構いません) であり、 rhs がヌルポインタ (NULL など) である。
• lhs が _Bool 型 (修飾されていても構いません) (アトミックでも構いません) であり、 rhs がポインタである。

[編集] ノート

rhs と lhs がメモリ内でオーバーラップしている場合 (例えば同じ共用体のメンバであるとか)、そのオーバーラップが正確であり型が互換でない限り、動作は未定義です。

配列は代入可能ではありませんが、構造体に包まれた配列は同じ (または互換な) 構造体型の別のオブジェクトに代入可能です。

rhs の値計算は lhs を更新する副作用に対して先行配列されますが、 lhs および rhs の副作用それ自体はそうではなく、被演算子の評価は、通常通り、お互い、相対的に配列されません (そのため i=++i のような式は未定義です)。

代入は浮動小数点式から余分な範囲および精度を取り除きます (FLT_EVAL_METHOD を参照してください)。

C++ では代入演算子は左辺値式ですが、 C ではそうではありません。

#include <stdio.h>
 
int main(void)
{
    const char **cpp;
    char *p;
    const char c = 'A';
 
//  cpp = &p;  // エラー、 char** は const char** に変換可能でありません。
    *cpp = &c; // OK、 char* は const char* に変換可能です。
    *p = 0;    // OK、ヌルポインタ定数は任意のポインタに変換可能です。
 
    int arr1[2] = {1,2}, arr2[2] = {3, 4};
//  arr1 = arr2; // エラー、配列は代入できません。
 
    struct s { 
         int arr[2]; // 構造体に包まれた配列
    } sam1 = {5, 6}, sam2 = {7, 8};
    sam1 = sam2; // OK、構造体に包まれた配列は代入できます。
 
    printf("%d %d \n",sam1.arr[0],sam1.arr[1]);
}

7 8

[編集] 複合代入

複合代入演算子式は以下の形式を持ちます。

ただし、

式 lhs @= rhs は、 lhs が一度しか評価されないことを除いて、 lhs = lhs @ ( rhs ) と正確に同じです。

T1* addr = &lhs;
T2 val = rhs;
T1 old = *addr;
T1 new;
do { new = old @ val } while (!atomic_compare_exchange_strong(addr, &old, new);

[編集] 参考文献