C++でboolをビット単位でシフトできますか？

Question

BOOLタイプをunsigned intにマッピングした古いコンパイラで書かれた他の人のコードを使用していますが、私のコンパイラではboolにマップされています。彼のコードのいくつかの場所では、彼はbool型のビット単位のシフト演算子<<を使用しています。これは私が一度も見たことがないもので、コンパイラはそれが文句を言っていないときに私を驚かせました。

有効なC++ですか？ boolは自動的にintまたはuintに昇格されますか？

私はthis related questionを見ましたが、これは別の問題を明確にしていますが、シフト演算子には対応していません。

Answer 1

からのシフト演算子[expr.shift]

オペランドは、一体またはスコープ外の列挙型でなければならないと積分キャンペーンが行われます。結果の タイプが促進左オペランドの

boolコードが十分に形成されているように、一体型（boolがintに促進され、結果がintである）であることです。 [conv.prom]から

、我々はに昇進ブール値を整数何を示しています

タイプboolのprvalueがfalseはなってきてゼロと真になると、タイプintのprvalueに変換することができone

その後、シフトは正常に動作します。 （ありがとう、@クリス）

Answer 2

右手に何があっても、ブールをシフトする結果の型は常にintです。