Matthew Taylor

真の補集合は、それが偽でない限り真である

C++で~trueの結果がtrueになるのは、ほとんどの人の予想に反します。本記事ではその原因を掘り下げ、スコープなし列挙型の整数昇格、ビット単位の否定、そしてこの動作がもはや適切に定義されなくなるケースについて解説します。