Cの==演算子が真の時に1以外を返す場合があるのか？

Question

C11ドラフトn1570の6.5.9 Equlity operators 3 (p.96)には次のように記載されています。

Each of the operators yields 1 if the specified relation is true and 0 if it is false
それぞれのオペレーターは、指定した関係が真の場合は 1 を、偽の場合は 0 を返す。

C11に準拠していれば、==演算子が真の場合、必ず1になります。では、C99以前や標準に準拠しないコンパイラではどうなのかがわかりません。真の場合に1ではない数値を返す環境があるのか、それとも無いのか、あるとしたらどのような環境(Cのバージョンやコンパイラ、オプションなど)なのかを教えてください。

無い事を証明する場合は悪魔の証明になるので、

• K&R初版やANSI Cなどがどうであったか？
• GCC、Clang、Visual C++、BCC32C(Embarcadero C++ Compiler)、Intel C++ Compiler、Oracle Solaris Studio Compiler、Tiny C Compilerなど現在も入手し、最新の環境でも実行でき、組み込みなど特定アーキテクチャ向けでは無い汎用のメジャーなコンパイラでどうなのか？(たりなければ、ご指摘下さい)

でも結構です。ただ、とある組み込み系のコンパイラでは違うという情報があれば、それはそれで回答していただくと助かります。

【注意事項】
この質問はCについてのみです。C++ですと==演算子をオーバーロードできるので、いくらでも例外が作れてしまいます。ただ、C++でもSTLに含まれる標準関数やboostで定義されたクラスではどうなっているのかという情報があれば、別途回答していただくと嬉しいです。

Answer 1

K&Rで1だったので、それ以降も1でしょう。JISX3010のCでも1です。

Comments

[raccy]

K&Rは初版ですか？初版はもっていなくて私にはわからないのです。

[otn]

日本語の書籍の「プログラミング言語C」のことですか？出たときに買いました。
古い処理系としては、使ったことある範囲で言うと、CP/M-80の各種C、Unix SystemIIIのCでも1でしたね。

[raccy]

第2版はでかでかと「第2版」「ANSI規格準拠」と書いてあるので、書いてなければ初版のハズです。

古い処理系の情報もありがとうございます。とても参考になります。

Answer 2

直接の回答ではありませんが最初期の C コンパイラのソースが公開されています。
legacy-cc

Comments

[raccy]

ソースを見ながら検索していたら`==`部分を解説しているサイトを見つけました。
http://shinh.hatenablog.com/entry/2015/06/04/210238
上記によると最終的には`cmp`命令の結果っぽいですけど、当時のCPUのアセンブリの情報がなく、よくわらないです。追加の情報はありませんか？

[Zuishin]

私自身ソースを詳しく読んだ訳ではないのですが、紹介されたページを見ると最終的に真なら仮想レジスタ R が 1 に偽なら 0 になるように読めました。cmp はフラグを立てる命令ですので次にジャンプなどフラグを使った演算が必要です。そのフラグによってレジスタの値を決めて評価としているのだと思います。

[raccy]

なるほど、となると、このCコンパイラでは必ず1を返していたって事で良いのでしょうか？

[Zuishin]

私はそう思います。
しかしこれはあくまで == の場合だけで、例えば IsDigit は真の値として 1 を返すとは限らないので真の定義は 1 ではなくあくまで非ゼロだと言うことを徹底していかなければならないのではないかと思います。

もちろんギリギリのチューニングが必要な時には == の真が 1 であることを利用する方法もあると思います。