否定 (Negation - `¬`, `~`, `NOT`)

プログラムのNOT演算子は、条件式の評価結果を反転する演算である。ただし、言語が二値論理だけを使うとは限らず、null、undefined、空文字列、数値のゼロなどを偽とみなす規則が意味を左右する。

仕組みと確認

言語のtruthiness、短絡評価、演算子の優先順位、型変換を仕様で確認する。!(a && b)と(!a || !b)が同じか、例外や副作用の評価回数まで含めてテストし、静的型検査で暗黙変換を減らす。

論理式として同値でも、評価順序や副作用があるコードでは振る舞いが変わり得る。データ欠損・権限不足・エラーを単純な偽へ変換せず、ドメイン上の状態として表現できるか検討する。