- 664 名前：デフォルトの名無しさん mailto:sage [2020/02/10(月) 18:08:58 ID:SkPzv01G.net]
- >>642 >>643
[根拠]
数学的に以下の根拠となる：
1. FALSE は、if ( FALSE ) とすると、偽として処理されることは絶対に保障される。
2. if (x) で x が偽として評価されるのは、ANSI C も、古い C でも必ず 0 という1つの値のみであり、他の値はすべて真と評価される。
1, 2 を両方成り立たせるためには、FALSE は必ず 0 でなければならないことが
証明される。
