valatile と多重代入の関連

質問

a=b=c=10; というような代入の方法がありますね。
これを多重代入と呼ぶかどうか知らないのですが、仮にそのように呼ぶことにします。
この多重代入の代入先がハードウエアのポートのようなとき、通常volatile修飾を付けます。
static volatile unsigned short *const REGS [] = {
(volatile unsigned short*) BASE,
(volatile unsigned short*) (BASE+0x20),
(volatile unsigned short*) (BASE+0x40)};
のようだったとします。
上記のアドレスに
*(REGS [0]) = *(REGS [1]) = *(REGS [2]) = 0;
のように初期化を行ったとき、ある処理系では全てのアドレスに0を書き込み、
別な処理系では*(REGS [2])の内容をいったんリードし、それを*(REGS [1])に書き込みました。
どちらがC言語の仕様に忠実なのでしょうか？

よろしくお願いいたします

回答No.1

ballville · ベストアンサー

C言語の仕様というなら…

代入演算子の結合規則は右から左ですから、
a = b = c = 0;
は、
a = ( b = ( c = 0 ) ) ;
となります。

このことと、Cでは、代入も値を持つことを考えると、

*(REGS [0]) = *(REGS [1]) = *(REGS [2]) = 0;
は

*(REGS [2]) = 0
の値を、
*(REGS [1]) に代入し、その値を…
ということになります。

で、
*(REGS [2]) = 0
の値は何かといえば、
代入演算子の値は代入後の左オペランドの値ですから、
*(REGS [2])

ということで、

「*(REGS [2])の内容をいったんリードし、それを*(REGS [1])に書き込」んだ処理系の方が忠実ではないでしょうか。

お礼

コメントありがとうございます。
＞代入演算子の値は代入後の左オペランドの値ですから、
であれば、非volatile変数のa=b=c=0; が、実は
c=0;b=c;a=b; の最適化の結果c=0;b=0;a=b; になっており、
volatileは最適化を抑止しますから
*(REGS [1]) = *(REGS [2]);を実行するほうが理にかなっているようですね。すっきりしました。
ありがとうございました。