これらの演算子は各々構文的に左結合とする(各々左から右へとグループ化する。各々の演算子は,もしそのオペランド式がどんな副作用ももたなければ,可換的とする。各々の演算子は結合的とする。二つのオペランドを比較するのに使用してよい。他のすべての場合はコンパイル時エラーになる。両オペランドがプリミティブ整数型であるとき,最初にオペランドに二項数値昇格(5.6.2)を実行する。ビット単位の演算子式の型は,そのオペランドの昇格された型とする。&に関しては,その結果値はオペランド値のビット単位のANDとする。^に関しては,その結果値はオペランド値のビット単位のXORとする。|に関しては,その結果値はオペランド値のビット単位のORとする。