型なし定数でビット単位の演算を使用すると、Go コードで定数オーバーフロー エラーがスローされるのはなぜですか?

Go の定数オーバーフローを理解する

Go プログラミング言語は、定数の概念を含む包括的な型システムを提供します。ただし、定数を扱う場合は、オーバーフローの可能性を認識することが重要です。このようなケースの 1 つは、型なし定数を使用して型付き変数に対してビット単位の操作を実行することです。

問題の説明

次のコード スニペットを考えてみましょう:

<code class="go">userid := 12345
did := (userid & ^(0xFFFF << 48))</code>

このコードをコンパイルしようとすると、次のエラー メッセージが表示される場合があります。

./xxxx.go:511: constant -18446462598732840961 overflows int

説明

式 ^(0xFFFF << 48) は次のことを表します。型なし定数。 Go では、型なし定数は任意の大きな値を取ることができます。この場合、否定演算の結果は -0xffff000000000001 ですが、大きすぎて int に収まりません。

ビットごとの演算の結果を int 型の変数 Did に代入すると、コンパイラは型なし定数を int に変換しようとします。その結果、オーバーフロー エラーが発生します。

解決策

この問題を解決するには、次の条件に適合する代替定数を使用できます。 int型内で。たとえば、問題のある式を 1

追加のヒント

移植性を目指す場合は、コード内で int の代わりに int64 を使用することをお勧めします。これにより、int が 32 ビットのシステムでも、前述のコードが正しく動作することが保証されます。

以上が型なし定数でビット単位の演算を使用すると、Go コードで定数オーバーフロー エラーがスローされるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。