uint8 から int8 への変換をめぐる混乱

Go で uint8 を int8 に変換すると、次に示すように、予期しない動作が発生する可能性があります。例:

package main

import (
    "fmt"
)

func main() {
    a := int8(0xfc) // Compile error: constant 252 overflows int8
}

定数 0xfc が int8 の範囲 (-128 ～ 127) を超えているため、コードはコンパイル時エラーで失敗します。ただし、次のコードはエラーなしでコンパイルされます:

package main

import (
    "fmt"
)

func main() {
    a := 0xfc
    b := int8(a) // Ok
}

違いは演算の順序にあります。最初の例では、定数は a に割り当てられる前に int8 に変換されます。 2 番目の例では、まず a に値 0xfc が割り当てられ、次に int8.

に変換されます。Go 言語仕様によれば、定数式は定数型で表現できる必要があります。この場合、0xfc は int8 で表現できず、コンパイルエラーになります。

ただし、代入後に変換すると、定数ではなくなった a の値が の範囲内になります。 int8 なので、変換が成功します。

実際の使用例については、次の例を検討してください。

type Char byte

var c Char = '世' // Error: '世' has value 0x4e16, too large.

定数 '世' (0x4e16) の値がバイト ( 0 ～ 255)。これを修正するには、次のテクニックを使用できます:

var c Char = Char('世') // Ok

この場合、最初に '世' が割り当てられます。バイト型に変換され、Char に変換されます。これにより、値が Char 型の範囲内にあることが保証されます。バイトを int32 に変換するときに、結果の値の符号を考慮して同様の手法を適用できます。