Cの 'switch 0'ステートメントの目的は何ですか？

Question

I came across次のコード行は、わかりません。

#define static_assert(a, b) do { switch (0) case 0: case (a): ; } while (0) 

switch (0)の一部は何ですか？ 0がfalseに相当すると仮定すると、switch文を入力しないという意味ですか？

case (a)の行についても、未知数aをケースとしてどのように指定できますか？

Answer 1

switch(0)は、case 0:ブロックに関連付けられたコードブロックを常に実行します。それでも、実際に実行されるコードはありません。どちらのケースも空です。 - 明示的に提供される一つ、一つ、この場合には、拡張されたマクロは、2 case 0:を持っています。ここ

ポイントがアサート式（a）が確認されていない場合は、コンパイル時でコンパイラは怒っているようですアサートされた式の結果を使用します（失敗した場合は0になります）。この結果、2つの同一のcaseを持つswitchが生成されます。これは許可されず、コンパイル時にコンパイラがエラーで停止します。

また、渡された式がコンパイル時に評価されない定数（実行時にはcaseの値を持つことができないため）は、static_assertからも期待されます。