Swiftでの優先グループの割り当ての理解3.1

Question

Swiftでは、カスタム演算子に使用する独自の優先グループを定義できます。私が理解するのに苦労しているのは、ブール値assignmentのプロパティです。 スウィフトプログラミング言語（スイフト3.1）から

：オプションのチェーンを含む動作に使用される場合

優先グループの割り当ては、オペレータの優先順位を指定します。 trueに設定すると、対応する優先グループの演算子は、標準ライブラリからの代入演算子として、オプションの連鎖中に同じグループ化規則を使用します。そうでない場合、falseに設定するか省略すると、優先グループの演算子は、割り当てを実行しない演算子と同じオプションの連鎖規則に従います。

assignmentプロパティの正確な動作についてはあまり言及していません。オプションの連鎖における代入演算子と非代入演算子の違いは何ですか？

Iは、試験のための構造体をAssignmentTestingとともに演算子（+ように動作）（+=ように振る舞う）++=を定義し、++。 assignment: trueとassignment: falseは、これらの行動に影響を与えるにはどうすればよい

precedencegroup AssignmentTrue { 
    assignment: true 
} 

precedencegroup AssignmentFalse { 
    assignment: false 
} 

infix operator ++=: AssignmentTrue 
infix operator ++: AssignmentFalse 

extension Int { 
    static funC++= (left: inout Int, right: Int) { 
     left += right 
    } 

    static funC++ (left: Int, right: Int) -> Int { 
     return left + right 
    } 
} 

struct AssignmentTesting { var number = 0 } 

var assignmentTesting: AssignmentTesting? = AssignmentTesting() 
assignmentTesting?.number ++= 3 // assigns 0 + 3 to assignmentTesting.number 
assignmentTesting!.number ++ 5 // returns 3 + 5 
assignmentTesting?.number // == 3 

？どんな説明も大歓迎です。

Answer 1

あなたのコード例はよく違いを説明します

// assigns (assignmentTesting!.number + 3) to assignmentTesting!.number when assignmentTesting != nil 
// Do nothing when assignmentTesting == nil 
assignmentTesting?.number ++= 3 

// assigns (assignmentTesting!.number + 3) to assignmentTesting!.number when assignmentTesting != nil 
// Crashing when assignmentTesting == nil 
assignmentTesting!.number ++= 3 

// Does not compile 
//assignmentTesting?.number ++ 5 

// returns (assignmentTesting!.number + 5) when assignmentTesting != nil 
// Crashing when assignmentTesting == nil 
assignmentTesting!.number ++ 5 

++=が代入演算子は、オプション・チェーン接続に非常によく似などのassignmentTesting?.number ++= 3作品を：

(assignmentTesting != nil) ? (assignmentTesting!.number ++= 3) as Void? : nil 

しかし++は割り当てないで演算子、assignmentTesting?.number ++ 5はSwiftで有効な式ではなく、次のようには機能しません。

(assignmentTesting != nil) ? (assignmentTesting!.number ++ 5) as Int? : nil 

Answer 2

違いの簡単な説明は、オプションの連鎖中に割り当て解除可能な演算子を使用するとコードを遵守できないことです。

assignmentTesting?.number ++= 3には、が+=と同じように動作するように設定されています。ただし、assignment: falseとして、優先グループ内の演算子は、代入を実行しない演算子と同じオプションの連鎖規則に従います。割り当てが実行されていないので、コンパイラは不平を言います。

したがって、AssignmentPrecedenceに++=を埋め込む必要があります。これは、オプションの連鎖中に割り当てることができます。

infix operator ++=: AssignmentPrecedence 

または

precedencegroup AssignmentTrue { 
    assignment: true 
} 
infix operator ++=: AssignmentTrue 

---

更新

あなたの例では、実際に自己説明されていて、また、オペレータが割り当てをマークし任意の連鎖の中に折り畳まれます指摘しています、 foo?.bar += 2はtype-checに失敗する代わりにfoo?(.bar += 2)として機能することができますkとして(foo?.bar) += 2。この動作は、先行グループのSE-0077からtrueへの割り当てに渡されます。あなたは、オプションとしてassignmentTestingを宣言したが、AssignmentPrecedenceグループに++=を中置ない場合

• は、コンパイラはassignmentTesting?.number += 3として声明を取るだろう。 (assignmentTesting?.number)がnilを返すかどうかは分かりません。したがって、コンパイルに失敗します。あなたはAssignmentPrecedenceグループではオプション、および中置++=としてassignmentTestingを宣言すると

• 、それはassignmentTesting?.number += 3はSE-0077に基づいてassignmentTesting?(.number += 3)として動作することができます。コンパイル時に型チェックされ、正しいことが証明されます。この文は、number += 3がオプションの連鎖よりも優先されるため、合格します。

• assignmentTestingをアンラップすると、文はassignmentTesting!.number += 3になります。 assignmentTestingがnilにならないと確信しているので、コンパイラは不平を言っていません。ただし、実行中にassignmentTestingがラップ解除されないと、実行時エラーが発生します。