コンパイルエラーにならない理由

Question

既存システムの改修にて次のようなコードを発見しました。

enum {
	TIMER0 = 0,
	TIMER1,
	TIMER2,
	TIMER3,
};

void func()
{
	// 処理

	TIMER1,
	TIMER2,
	TIMER3,
	swFlag = OK;
}

func内のenum値を並べている箇所がコンパイルエラーにならない理由を教えてください。
ビルド後はアドレスが割り当てられていなかったので、この行自体は無視されているようです（HEW環境の場合）

この書き方は極論すれば、1,2,3,swFlag=OK;と書いていることになりますが、代入式の左辺にカンマがなぜ許されているのでしょうか。
ちなみに同じようなことをideoneで試してみたらランタイムエラーになりました。

Answer 1

これは、C言語のカンマ演算子です。a, bと書くと、「aを評価する→bを評価する→bを返す」という挙動になります。つまり、1,2,3,swFlag=OK;でも、3つの整数とswFlag=OKが順次評価されるだけで、文法上全く正当です。

ideoneでエラーになっていたのは、C言語の規格を外れるvoid main(void)が原因で、これをintに書き換えて正しくreturnすれば動きました。

Comments

[ttyp03]

既存システムのコードということと、ideoneのミスで、何か深い意味があるのかと誤解してしまっていました。
main関数がvoidだとエラーになってしまうのですね。
質問の本質についても理解しました。カンマ演算子。
変数の宣言やfor文では書くことがありますが、それと同じということですね。

Answer 2

コンパイラの仕様です。
私の環境ではアセンブラレベルでは次のコードと等価になりました。

void func()
{
    // 処理

    swFlag = OK;
}

Comments

[ttyp03]

私の環境も同様でした。