Skip to main content
本文に 31 文字追加
ソース リンク
sayuri
  • 4.3万
  • 2
  • 33
  • 94

INT34-C. 負のビット数のシフトやオペランドのビット数以上のシフトを行わないで説明されていますが、

右オペランドの値が負または格上げされた左オペランドのビット幅以上である時、シフト動作は未定義となる (「未定義の動作51」を参照 )。

Undefined Behavior; 未定義の動作とは、Implementation-Defined Behavior; 処理系定義の動作とは異なり、どのような結果が引き起こされても文句は言えません。

ただし具体的には質問Intel x86プロセッサ向けコンパイラーであれば、SHL;論理左シフトやSAL;算術左シフト命令が生成されることが想定されます。しかし、Intel x86プロセッサtSHL命令・SAL命令は共に下位5bitしか参照せずにシフトを行います。例えばx <<= 2033 と記述した場合、コンパイラーtSHL =EAX, t33というコードを生成しますが、Intel x86プロセッサはx <<;;= 20であり、t1は一旦Integer Promotion; 整数拡張を受けます。そのため、20bit以下相当の処理系(MS-DOSなど)であれば未定義動作しか行わず全部ゼロにはならない20bitより大きいの処理系であれば問題といったこともありません。得ます。(実例としてはVisual StudioのDebugビルド)

上記のようにややこしい話となるため、安全を考えればシフト演算で故意に溢れさせるのは避けるべき行為と言えますです

INT34-C. 負のビット数のシフトやオペランドのビット数以上のシフトを行わないで説明されていますが、

右オペランドの値が負または格上げされた左オペランドのビット幅以上である時、シフト動作は未定義となる (「未定義の動作51」を参照 )。

Undefined Behavior; 未定義の動作とは、Implementation-Defined Behavior; 処理系定義の動作とは異なり、どのような結果が引き起こされても文句は言えません。

ただし質問t <<= 20t = t <<; 20であり、tは一旦Integer Promotion; 整数拡張を受けます。そのため、20bit以下の処理系(MS-DOSなど)であれば未定義動作20bitより大きいの処理系であれば問題ありません。

上記のようにややこしい話となるため、安全を考えればシフト演算で故意に溢れさせるのは避けるべき行為と言えます

INT34-C. 負のビット数のシフトやオペランドのビット数以上のシフトを行わないで説明されていますが、

右オペランドの値が負または格上げされた左オペランドのビット幅以上である時、シフト動作は未定義となる (「未定義の動作51」を参照 )。

Undefined Behavior; 未定義の動作とは、Implementation-Defined Behavior; 処理系定義の動作とは異なり、どのような結果が引き起こされても文句は言えません。

具体的にはIntel x86プロセッサ向けコンパイラーであれば、SHL;論理左シフトやSAL;算術左シフト命令が生成されることが想定されます。しかし、Intel x86プロセッサSHL命令・SAL命令は共に下位5bitしか参照せずにシフトを行います。例えばx <<= 33 と記述した場合、コンパイラーSHL EAX, 33というコードを生成しますが、Intel x86プロセッサはx <<;= 1相当の処理しか行わず全部ゼロにはならないといったこともあり得ます。(実例としてはVisual StudioのDebugビルド)

シフト演算で故意に溢れさせるのは避けるべきです

ソース リンク
sayuri
  • 4.3万
  • 2
  • 33
  • 94

INT34-C. 負のビット数のシフトやオペランドのビット数以上のシフトを行わないで説明されていますが、

右オペランドの値が負または格上げされた左オペランドのビット幅以上である時、シフト動作は未定義となる (「未定義の動作51」を参照 )。

Undefined Behavior; 未定義の動作とは、Implementation-Defined Behavior; 処理系定義の動作とは異なり、どのような結果が引き起こされても文句は言えません。

ただし、質問のt <<= 20t = t << 20であり、tは一旦Integer Promotion; 整数拡張を受けます。そのため、20bit以下の処理系(MS-DOSなど)であれば未定義動作、20bitより大きいの処理系であれば問題ありません。

上記のようにややこしい話となるため、安全を考えればシフト演算で故意に溢れさせるのは避けるべき行為と言えます。