「C++17では非推奨だったbool型に対するインクリメント演算子の利用が不可能に」記事へのコメント

Lisper「そもそもブーリアン型って必要なの？」

[Anonymous Coward]

falseや#f、nilのような特殊なシンボル以外は、あらゆる値が真扱いでいいだろ
下手にtrueとか無駄な状態を作ろうとするからおかしなことになるんだよ
なにがオーバーフローだよ、知らねえよバカ
#fじゃねえんだったら、値がゼロだろうがマイナスになろうが変数がまだ未初期化だったとしても黙って真を返して来りゃいいんだよ

Re:Lisper「そもそもブーリアン型って必要なの？」

[Anonymous Coward]

西城秀樹いわく、いつかはブーリアン型に回帰すると

Re:Lisper「そもそもブーリアン型って必要なの？」

[atziluth (46962)]

何で「参考になる」なんだ……

#ぶーりあんぶーりあんきっとー

Re:

[Anonymous Coward]

けど、この実装って、オーバーヘッドでるよね？

Re:

[Anonymous Coward]

C でも 0と、ヌルポインタ以外は常に真だよ。
それでは(コンパイラが最適化するのに)効率が悪いから _Bool が導入されてる。

Re:Lisper「そもそもブーリアン型って必要なの？」

[Anonymous Coward]

非ゼロを全部1にfoldする必要がある_Boolのほうが効率悪くない? CPUにはたいていゼロテストの命令がある。

Re:

[Anonymous Coward]

ちゃんと処理しておかないと、true & true がfalseになる場合があるからかな～と想像してみる。

a=false ;
a++ ; // aはtrue(intで1)
b=a ;
b++ ; // bはtrue(intで2)

c=a&b ; // cはtrue？

Re:

[Anonymous Coward]

それは演算を間違ってるからどっちみちバグなんじゃないかと。むしろ、booleanで&演算をしたら警告出るんじゃない？ packed boolみたいな演算では使うから、微妙ではあるが、プログラマに型変換してる意識がないと、どっちみち危険だと思う。

Re:

[Anonymous Coward]

いや、警告もエラーも出ませんよ。
VC++(2015)、GCC(5.4)、Clang(3.8)でそれぞれ警告最大にしたけど、何も言われずスルーです。
あと、この場合bool型変数に0/1以外が入っていると、いずれの環境でも結果がおかしくなります。

# C++には &&= などがないので、単純に禁止するわけにもいかないのでは。

Re:

[Anonymous Coward]

元コメにあるのは実行時の効率の話じゃなくて、コンパイラの最適化での効率化の話ですよ。