Operators

Previous << Values and Types
Next >> Functions

演算子とは、1つまたは複数の値に対して演算を行う特別な記号です。単項演算子、2項演算子、3項演算子があります。

• 単項演算子は、単一の値に対して演算を実行します。単項演算子の記号は値の前に表示されます。
• 二項演算子は、2つの値に対して演算を実行します。二項演算子の記号は2つの値の間に表示されます（中置）。
• 三項演算子は、3つの値に対して演算を実行します。最初の演算子の記号は最初の値と2番目の値の間に、2番目の演算子の記号は2番目の値と3番目の値の間に表示されます（中置）。

Assignment Operator (=)

2項代入演算子=は、変数に新しい値を代入するために使用できます。これはステートメントでのみ使用でき、式(expression)では使用できません。

var a = 1
a = 2
/* `a` is `2` */


var b = 3
var c = 4

/* Invalid: The assignment operation cannot be used in an expression. */
a = b = c

/* Instead, the intended assignment must be written in multiple statements. */
b = c
a = b

定数への代入は出来ません。

let a = 1
/* Invalid: Assignments are only for variables, not constants. */
a = 2

代入オペランドの左辺は識別子でなければなりません。配列やディクショナリの場合、この識別子は1つ以上のインデックスまたはアクセス式を伴うことができます。

/* Declare an array of integers. */
let numbers = [1, 2]

/* Change the first element of the array. */
numbers[0] = 3

/* `numbers` is `[3, 2]` */

/* Declare an array of arrays of integers. */
let arrays = [[1, 2], [3, 4]]

/* Change the first element in the second array */
arrays[1][0] = 5

/* `arrays` is `[[1, 2], [5, 4]]` */

let dictionaries = {
  true: {1: 2},
  false: {3: 4}
}

dictionaries[false][3] = 0

/* `dictionaries` is `{
 *   true: {1: 2},
 *   false: {3: 0}
 *  }` 
 */

Force-assignment operator (<-!)

強制代入演算子 (<-!) は、リソース型値をオプショナル型変数に代入します（代入先の変数が nil の場合）。代入先の変数が nil でない場合、プログラムの実行は中断されます。

強制代入演算子は、リソース型に対してのみ使用されます。

Swapping Operator (<->)

2項スワップ演算子<->は、2つの変数の値を交換するために使用できます。これはステートメント内でのみ使用でき、式内では使用できません。

var a = 1
var b = 2
a <-> b
/* `a` is `2` 
   `b` is `1` */

var c = 3

/* Invalid: The swap operation cannot be used in an expression. */
a <-> b <-> c

/* Instead, the intended swap must be written in multiple statements. */
b <-> c
a <-> b

スワップ操作の両辺は変数でなければならず、定数への代入は無効です。

var a = 1
let b = 2

/* Invalid: Swapping is only possible for variables, not constants. */
a <-> b

スワップ操作の両側は、識別子か、それに続く1つ以上のインデックスまたはアクセス式でなければなりません。

Arithmetic Operators

単項の pefix 演算子-は整数を反転します。

let a = 1
-a  /* is `-1` */

2進演算子は4つあります。

• 足し算：+
• 引き算：-
• 掛け算：*
• 割り算：/
• 余り：%

let a = 1 + 2
/* `a` is `3` */

演算子の引数は同じ型でなければなりません。結果は常に引数と同じ型になります。

除算および余り演算子は、除数がゼロの場合にプログラムを中断します。

符号付き整数型Int8、Int16、Int32、Int64、Int128、Int256、および符号なし整数型UInt8、UInt16、UInt32、UInt64、UInt128、UInt256での算術演算では、値がオーバーフローまたはアンダーフローすることはありません。

let a: UInt8 = 255

/* Run-time error: The result `256` does not fit in the range of `UInt8`,
 * thus a fatal overflow error is raised and the program aborts
 */
let b = a + 1

let a: Int8 = 100
let b: Int8 = 100

/* Run-time error: The result `10000` does not fit in the range of `Int8`,
 * thus a fatal overflow error is raised and the program aborts
 */
let c = a * b

let a: Int8 = -128

/* Run-time error: The result `128` does not fit in the range of `Int8`,
 * thus a fatal overflow error is raised and the program aborts
 */
let b = -a

符号なし整数型Word8、Word16、Word32、Word64の算術演算では、値がオーバーフローまたはアンダーフローする場合があります。

例えば、符号なし8ビット整数の最大値は255（2進数11111111）です。1を加算するとオーバーフローが発生し、8ビットに切り捨てられ、値は0になります。

/*    11111111 = 255
 * +         1
 * = 100000000 = 0   */

let a: Word8 = 255
a + 1 // is `0`

同様に、最小値0から1を引くと、結果は最大値255になります。

/*    00000000
 * -         1
 * =  11111111 = 255  */

let b: Word8 = 0
b - 1  // is `255`

Arithmetics on number super-types

算術演算子は、数値のスーパータイプ（Number、SignedNumber、FixedPoint、SignedFixedPoint、Integer、SignedInteger）ではサポートされていません。実行時に成功する場合としない場合があるためです。

let x: Integer = 3 as Int8
let y: Integer = 4 as Int8

let z: Integer = x + y    /* Static error */

これらの型の値は、算術演算を実行する前に希望する型にキャストする必要があります。

let z: Integer = (x as! Int8) + (y as! Int8)

Logical Operators

論理演算子は、ブール値のtrueおよびfalseと一緒に使用します。

• 論理NOT：!a

この単項演算子は、ブール値を論理的に否定します。

let a = true
!a  /* is `false` */

• 論理AND：a && b

true && true  // is `true`

true && false  // is `false`

false && true  // is `false`

false && false  // is `false`

左辺が false の場合、右辺は評価されません。

• 論理 OR：a || b

true || true  // is `true`

true || false  // is `true`

false || true  // is `true`

false || false // is `false`

左辺が真であれば、右辺は評価されない。

Comparison Operators

比較演算子は、ブール値および整数値で動作します。

• 等価性：==は、ブーリアン、数値、アドレス、文字列、文字、列挙型、パス、Type、参照、Void値（()）でサポートされています。可変長配列、固定長配列、ディクショナリ、オプショナルも、それらの内部型がサポートしていれば、等価性テストをサポートします。等価演算子の両辺はオプショナルである場合もあり、異なるレベルのオプショナルである場合もあります。そのため、例えば、非オプショナルと二重オプショナル（??）で比較することも可能です。

1 == 1
/* is `true` */

1 == 2
/* is `false` */

true == true  // is `true`

true == false  // is `false`

let x: Int? = 1
x == nil  /* is `false` */

let x: Int = 1
x == nil  /* is `false` */

/* Comparisons of different levels of optionals are possible. */
let x: Int? = 2
let y: Int?? = nil
x == y  /* is `false` */

/* Comparisons of different levels of optionals are possible. */
let x: Int? = 2
let y: Int?? = 2
x == y  /* is `true` */

/* Equality tests of arrays are possible if their inner types are equatable. */
let xs: [Int] = [1, 2, 3]
let ys: [Int] = [1, 2, 3]
xs == ys /* is `true` */

let xss: [[Int]] = [xs, xs, xs]
let yss: [[Int]] = [ys, ys, ys]
xss == yss /* is `true` */

/* Equality also applies to fixed-size arrays. If their lengths differ, the result is a type error. */
let xs: [Int; 2] = [1, 2]
let ys: [Int; 2] = [0 + 1, 1 + 1]
xs == ys /* is `true` */

/* Equality tests of dictionaries are possible if the key and value types are equatable. */
let d1 = {"abc": 1, "def": 2}
let d2 = {"abc": 1, "def": 2}
d1 == d2 /* is `true` */

let d3 = {"abc": {1: {"a": 1000}, 2: {"b": 2000}}, "def": {4: {"c": 1000}, 5: {"d": 2000}}}
let d4 = {"abc": {1: {"a": 1000}, 2: {"b": 2000}}, "def": {4: {"c": 1000}, 5: {"d": 2000}}}
d3 == d4 /* is `true` */

• 不等号: !=は、ブール値、数値、アドレス、文字列、文字、列挙enum、パス、Type、参照、Void値（()）でサポートされています。可変長配列、固定長配列、ディクショナリ、オプショナルも、それらの内部の型がサポートしていれば、不等号テストをサポートします。
  不等号演算子の両辺は、オプショナルであることもあり、異なるレベルであることもあります。例えば、オプショナルでないものとダブルオプショナル（??）で比較することも可能です。

1 != 1 
/* is `false` */

1 != 2 
/* is `true` */

true != true  // is `false`

true != false  // is `true`

let x: Int? = 1
x != nil  /* is `true` */

let x: Int = 1
x != nil  /* is `true` */

/* Comparisons of different levels of optionals are possible. */
let x: Int? = 2
let y: Int?? = nil
x != y  /* is `true` */

/* Comparisons of different levels of optionals are possible. */
let x: Int? = 2
let y: Int?? = 2
x != y  /* is `false` */

/* Inequality tests of arrays are possible if their inner types are equatable. */
let xs: [Int] = [1, 2, 3]
let ys: [Int] = [4, 5, 6]
xs != ys /* is `true` */

/* Inequality also applies to fixed-size arrays. If their lengths differ, the result is a type error. */
let xs: [Int; 2] = [1, 2]
let ys: [Int; 2] = [1, 2]
xs != ys /* is `false` */

/* Inequality tests of dictionaries are possible if the key and value types are equatable. */
let d1 = {"abc": 1, "def": 2}
let d2 = {"abc": 1, "def": 500}
d1 != d2 /* is `true` */

let d3 = {"abc": {1: {"a": 1000}, 2: {"b": 2000}}, "def": {4: {"c": 1000}, 5: {"d": 2000}}}
let d4 = {"abc": {1: {"a": 1000}, 2: {"b": 2000}}, "def": {4: {"c": 1000}, 5: {"d": 2000}}}
d3 != d4 /* is `false` */

• Less Than: < は 整数、ブール値、文字、文字列の場合のみ可能

1 <= 1
// is `true`

1 <= 2
// is `true`

2 <= 1
// is `false`

false <= true
// is `true`

true <= true
// is `true`

true <= false
// is `false`

"c"  <= "a"
// is `false`

"z"  <= "z"
// is `true`

"a" <= "A"
// is `false`

"" <= ""
// is `true`

"" <= "a"
// is `true`

"az" <= "b"
// is `true`

"xAB" <= "Xab"
// is `false`

• Greater than: > は 整数、ブール値、文字、文字列型に対して

1 > 1
// is `false`

1 > 2
// is `false`

2 > 1
// is `true`

false > true
// is `false`

true > true
// is `false`

true > false
// is `true`

"c"  > "a"
// is `true`

"g"  > "g"
// is `false`

"a" > "A"
// is `true`

"" > ""
// is `false`

"" > "a"
// is `false`

"az" > "b"
// is `false`

"xAB" > "Xab"
// is `true`

• Greater or equal than: >= は 整数、ブール値、文字、文字列型に対して

1 >= 1
// is `true`

1 >= 2
// is `false`

2 >= 1
// is `true`

false >= true
// is `false`

true >= true
// is `true`

true >= false
// is `true`

"c"  >= "a"
// is `true`

"q"  >= "q"
// is `true`

"a" >= "A"
// is `true`

"" >= ""
// is `true`

"" >= "a"
// is `true`

"az" >= "b"
// is `true`

"xAB" >= "Xab"
// is `false`

Comparing number super-types

算術演算子と同様に、比較演算子も数値のスーパータイプ（Number、SignedNumberFixedPoint、SignedFixedPoint、Integer、SignedInteger）ではサポートされていません。実行時に成功する場合もあれば、しない場合もあるためです。

let x: Integer = 3 as Int8
let y: Integer = 4 as Int8

let z: Bool = x > y    /* Static error */

これらの型の値は、算術演算を実行する前に希望する型にキャストする必要があります。

let z: Bool = (x as! Int8) > (y as! Int8)

Bitwise Operators

ビット演算子は、符号なしおよび符号付き整数の個々のビットの操作を可能にします。これらは、低レベルのプログラミングでよく使用されます。

• ビット演算子 AND: は a & b
  入力の整数両方のビットが1の場合にのみ、ビットが1である新しい整数を返します。

let firstFiveBits = 0b11111000
let lastFiveBits  = 0b00011111
let middleTwoBits = firstFiveBits & lastFiveBits  /* is 0b00011000 */

• ビット演算子 OR: a | b
  入力整数どちらかのビットが1の場合のみ、ビットが1である新しい整数を返します。

let someBits = 0b10110010
let moreBits = 0b01011110
let combinedbits = someBits | moreBits  /* is 0b11111110 */

• ビット演算子 XOR: a ^ b
  入力ビットが異なる場合はそのビットを1、同じ場合は0とする新しい整数を返します。

let firstBits = 0b00010100
let otherBits = 0b00000101
let outputBits = firstBits ^ otherBits  /* is 0b00010001 */

Bitwise Shifting Operators

• ビット演算子 LEFT SHIFT: a << b
  すべてのビットを左に一定数シフトした新しい整数を返します。

let someBits = 4
/* is 0b00000100 */
let shiftedBits = someBits << 2 
/* is 0b00010000 */

• ビット演算子 RIGHT SHIFT: a >> b
  すべてのビットを右に一定数だけ移動させた新しい整数を返します。

let someBits = 8
/* is 0b00001000 */
let shiftedBits = someBits >> 2
/* is 0b00000010 */

符号なし整数の場合は、ビットシフト演算子は論理シフトを実行し、符号付き整数の場合は、算術シフトを実行します。また、a << bまたはa >> bの場合、bは64ビット整数に収まる必要があります。

Ternary Conditional Operator

三項条件演算子は1つしかなく、三項条件演算子（a ? b : c）です。

これは if 文のような動作をしますが、式です。最初の演算子の値が true の場合は、2番目の演算子の値が返されます。最初の演算子の値が false の場合は、3番目の値が返されます。

最初の値はブール値（Bool 型）でなければなりません。2番目の値と3番目の値は、任意の型とすることができます。結果の型は、2番目と3番目の値の最小共通スーパータイプとなります。

let x = 1 > 2 ? 3 : 4
/* `x` is `4` and has type `Int` */

let y = 1 > 2 ? nil : 3
/* `y` is `3` and has type `Int?` */

Casting Operators

Static Casting Operator (as)

静的型付けキャスト演算子asは、値を静的に型付けキャストするために使用することができます。

値の静的型が指定された型（target type）のサブタイプである場合、演算子は値を指定された型として返します。

静的型変換は、すなわちプログラムの型チェック時に実行されます。値の実行時型ではなく、値の静的型のみが考慮されます。

つまり、この演算子を使用してダウンキャストを行うことはできません。代わりにconditional downcasting operator as?(条件付きダウンキャスト演算子)の使用を検討してください。

/* Declare a constant named `integer` which has type `Int`. */
let integer: Int = 1

/* Statically cast the value of `integer` to the supertype `Number`.
 * The cast succeeds, because the type of the variable `integer`,
 * the type `Int`, is a subtype of type `Number`.
 * This is an upcast.
 */
let number = integer as Number
/* `number` is `1` and has type `Number` */

/* Declare a constant named `something` which has type `AnyStruct`,
 * with an initial value which has type `Int`.
 */
let something: AnyStruct = 1

/* Statically cast the value of `something` to `Int`.
 * This is invalid, the cast fails, because the static type of the value is type `AnyStruct`,
 * which is not a subtype of type `Int`.
 */
let result = something as Int

Conditional Downcasting Operator (as?)

条件付きダウンキャスト演算子as?は、値を動的に型変換するために使用することができます。この演算子はオプショナルを返します。値の実行時型がtarget typeの下位型である場合、演算子は値をtarget typeとして返します。そうでない場合は、結果はnilとなります。

キャストは実行時、すなわちプログラムが実行される時に実行され、静的(すなわちプログラムが確認される)時には実行されません。

/* Declare a constant named `something` which has type `AnyStruct`,
 * with an initial value which has type `Int`.
 */
let something: AnyStruct = 1

/* Conditionally downcast the value of `something` to `Int`.
 * The cast succeeds, because the value has type `Int`.
 */
let number = something as? Int
/* `number` is `1` and has type `Int?` */

/* Conditionally downcast the value of `something` to `Bool`.
 * The cast fails, because the value has type `Int`,
 * and `Bool` is not a subtype of `Int`.
 */
let boolean = something as? Bool
/* `boolean` is `nil` and has type `Bool?` */

ダウンキャストは具体的な型に対して有効ですが、ネストされた型（配列など）、インターフェイス、オプショナルなどに対しても有効です。

/* Declare a constant named `values` which has type `[AnyStruct]`,
 * i.e. an array of arbitrarily typed values.
 */
let values: [AnyStruct] = [1, true]

let first = values[0] as? Int
/* `first` is `1` and has type `Int?` */

let second = values[1] as? Bool
/* `second` is `true` and has type `Bool?` */

Force-downcasting Operator (as!)

強制ダウンキャスト演算子as!は、条件付きダウンキャスト演算子as?と同じ動作をします。ただし、キャストが成功した場合はオプショナルではなく指定された型の値を返し、キャストが失敗した場合はnilを返す代わりにプログラムを中止します。

/* Declare a constant named `something` which has type `AnyStruct`,
 * with an initial value which has type `Int`.
 */
let something: AnyStruct = 1

/* Force-downcast the value of `something` to `Int`.
 * The cast succeeds, because the value has type `Int`.
 */
let number = something as! Int
/* `number` is `1` and has type `Int` */

/* Force-downcast the value of `something` to `Bool`.
 * The cast fails, because the value has type `Int`,
 * and `Bool` is not a subtype of `Int`.
 */
let boolean = something as! Bool
/* Run-time error */

Optional Operators

Nil-Coalescing Operator (??)

nil結合演算子??は、オプショナルが値を含む場合はその値を返し、オプショナルが値を持たない場合、すなわちオプショナル値がnilである場合は代替値を返します。

左辺がnilでない場合、右辺は評価されません。

/* Declare a constant which has an optional integer type */
let a: Int? = nil

/* Declare a constant with a non-optional integer type,
 * which is initialized to `a` if it is non-nil, or 42 otherwise.
 */
let b: Int = a ?? 42
/* `b` is 42, as `a` is nil */

nil結合演算子は、オプショナル型を持つ値にのみ適用できます。

/* Declare a constant with a non-optional integer type. */
let a = 1

/* Invalid: nil-coalescing operator is applied to a value which has a non-optional type
 * (a has the non-optional type `Int`).
 */
let b = a ?? 2

/* Invalid: nil-coalescing operator is applied to a value which has a non-optional type
 * (the integer literal is of type `Int`).
 */
let c = 1 ?? 2

演算子の右辺の型（代替値）は、左辺の型のサブタイプでなければなりません。すなわち、演算子の右辺は、左辺の型に一致する非オプショナル型またはオプショナル型でなければなりません。

/* Declare a constant with an optional integer type. */
let a: Int? = nil
let b: Int? = 1
let c = a ?? b
/* `c` is `1` and has type `Int?` */

/* Invalid: nil-coalescing operator is applied to a value of type `Int?`,
 * but the alternative has type `Bool`.
 */
let d = a ?? false

Force Unwrap Operator (!)

force-unwrap演算子（!）は、オプショナルに値が含まれている場合はその値を返し、オプショナルに値が含まれていない場合、すなわちオプショナルの値がnilである場合は、パニック(panic)が発生して実行が中止されます。

/* Declare a constant which has an optional integer type */
let a: Int? = nil

/* Declare a constant with a non-optional integer type,
 * which is initialized to `a` if `a` is non-nil.
 * If `a` is nil, the program aborts.
 */
let b: Int = a!
/* The program aborts because `a` is nil. */

/* Declare another optional integer constant */
let c: Int? = 3

/* Declare a non-optional integer
 * which is initialized to `c` if `c` is non-nil.
 * If `c` is nil, the program aborts. */
let d: Int = c!
/* `d` is initialized to 3 because c isn't nil. */

force-unwrap演算子は、オプショナルの型を持つ値にのみ適用されます。

/* Declare a constant with a non-optional integer type. */
let a = 1

/* Invalid: force-unwrap operator is applied to a value which has a
 * non-optional type (`a` has the non-optional type `Int`).
 */
let b = a!

/* Invalid: The force-unwrap operator is applied
 * to a value which has a non-optional type
 * (the integer literal is of type `Int`).
 */
let c = 1!

Precedence and Associativity

演算子の優先順位は、高い順から低い順に以下のとおりです。

• 単項演算子の優先順位：-、!、<-
• キャストの優先順位：as、as?、as!
• 乗算の優先順位：*、/、%
• 加算の優先順位：+、-
• ビットシフトの優先順位：<<、>>
• ビット論理積の優先順位：&
• ビット論理和の優先順位：^
• ビット論理和の優先順位：|
• nil結合の優先順位：??
• 関係演算子の優先順位：<、<=、>、>=
• 等価演算子の優先順位：==、!=
• 論理積演算子の優先順位：&&
• 論理和演算子の優先順位：||
• 三項演算子の優先順位：? :

ただし、以下の演算子は右結合です。

• 三項演算子
• nil結合演算子

優先順位の規則を無効にするために、すなわち、別の順序を示す場合や、混乱を避けるためにデフォルトの順序を強調する場合などには、式を括弧で囲むことができます。例えば、(2 + 3) * 4と記述すると、加算が乗算より前に実行されるよう強制され、5 + (6 * 7)と記述すると、デフォルトの順序が強調されます。

翻訳元

---

Previous << Values and Types

Flow BlockchainのCadence version1.0ドキュメント (Operators)

Next >> Functions