プロトコル

BinaryInteger

２進法表現での整数型。

iOS 8.0+ iPadOS 8.0+ Mac Catalyst 13.0+ macOS 10.10+

tvOS 9.0+ visionOS 1.0+ watchOS 2.0+

protocol BinaryInteger : CustomStringConvertible, Hashable, Numeric (Numeric), Strideable where Self.Magnitude : BinaryInteger, Self.Magnitude == Self.Magnitude.Magnitude

概観

BinaryInteger プロトコルは、標準ライブラリが提供するすべての整数型の基礎です。Int や UInt32 など、標準ライブラリのすべての整数型は BinaryInteger に準拠しています。

数値型間の変換

BinaryInteger プロトコルに準拠する型の新しいインスタンスは、浮動小数点数または任意の型の別の 2 進整数から作成できます。BinaryInteger プロトコルは、4 種類の異なる変換のためのイニシャライザを提供します。

範囲チェック変換

渡された値が新しい型で表現可能であることが確実な場合は、デフォルトの init(_:) イニシャライザを使用して新しいインスタンスを作成します。例えば、Int16 のインスタンスは値 500 を表現できるため、以下のコードサンプルの最初の変換は成功します。同じ値は Int8 インスタンスでは表現できないほど大きいため、2 回目の変換は失敗し、実行時エラーが発生します。

let x: Int = 500
let y = Int16(x)
// y == 500
let z = Int8(x)
// Error: Not enough bits to represent...

デフォルトのイニシャライザを使用して浮動小数点値から 2 進整数を作成すると、範囲チェックの前に値はゼロに向かって丸められます。以下の例では、値 127.75 は 127 に丸められ、Int8 型で表現できます。一方、128.25 は 128 に丸められますが、これは Int8 インスタンスとして表現できないため、実行時エラーが発生します。

let e = Int8(127.75)
// e == 127
let f = Int8(128.25)
// Error: Double value cannot be converted...

正確な変換

init?(exactly:) イニシャライザを使用すると、渡された値が表現可能かどうかを確認した後、新しいインスタンスを作成できます。範囲外の値をトラップする代わりに、失敗可能な init?(exactly:) イニシャライザを使用すると、nil が返されます。

let x = Int16(exactly: 500)
// x == Optional(500)
let y = Int8(exactly: 500)
// y == nil

浮動小数点値を変換する場合、init?(exactly:) イニシャライザは、渡された値に小数部分がないことと、値が結果の型で表現可能であることの両方をチェックします。

let e = Int8(exactly: 23.0) // integral value, representable
// e == Optional(23)
let f = Int8(exactly: 23.75) // fractional value, representable
// f == nil
let g = Int8(exactly: 500.0) // integral value, nonrepresentable
// g == nil

固定変換

init(clamping:) イニシャライザを使用して、範囲外の値が型の表現可能な範囲に固定される 2 進の整数型の新しいインスタンスを作成します。型 T の場合、結果の値は T.min...T.max の範囲内になります。

let x = Int16(clamping: 500)
// x == 500
let y = Int8(clamping: 500)
// y == 127
let z = UInt8(clamping: -500)
// z == 0

ビットパターン変換

init(truncatingIfNeeded:) イニシャライザを使用して、渡された値と同じビットパターンを持つ新しいインスタンスを作成し、必要に応じて値の表現を拡張または切り捨てます。特に、符号付き整数型と符号なし整数型間の変換時や、変換先の型のビット幅が変換元の型よりも小さい場合は、値が保持されない可能性があることに注意してください。以下の例は、負でない整数に対する拡張と切り捨ての動作を示しています。