カスタム演算子エラー - 不変の値を渡すことができません

Question

私は間違っていますか？私はカスタムオペレータが迅速にどのように働くかを理解しようとしています。

enum MyEnum: String { 
    case String = "String" 

    static func << (lhs: inout String?, rhs: MyEnum) { 
     lhs = rhs.rawValue 
    } 
} 

class MyClass { 

    var value: String? 

} 

let myClass: MyClass? = MyClass() 

myClass!.value << MyEnum.String 

myClass!.value // "String" 

myClass?.value << MyEnum.String // error: cannot pass immutable value of type 'String?' as inout argument 

どうすればいいですか？

Answer 1

（、なぜ単に割り当てを使用しない？が）

inout値は変更可能でなければなりません。これは、だけで結構ですカスタム演算子、とは何の関係もありません。式myClass?.valueの型は不変のOptional<String>です。これは、myClass!.valueとは違って、オプションの連鎖のために、myClassのアンラップを強制してから、メンバーアクセスを適用します。

Answer 2

問題は、<<が意味的に非突然変異演算子であることです。そのようなものとして、assignmentプロパティがtrueに設定された状態で、そのprecedencegroupは定義されていません。これは、演算子がオプションの連鎖と同じグループ化規則に従わないことを意味します。

したがって、<<のオーバーロードは、オプションの連鎖と組み合わせて使用​​することはできません（ただし、可能であれば、変異していない演算子に過度の負荷をかけるべきではありません。

assignmentがtrueに設定されているオペレータを過負荷にした場合、コードは正常に動作します。たとえば、<<=で動作しますが、これは実際には行っていません。<<=には、既に準拠していない確立された意味（インプレース左ビットシフト）が既に存在しています。

の場合、実際にはにはオペレータが必要です。私は、あなた自身を定義助言：

precedencegroup CustomAssignment { 
    assignment: true // Allow the operator to be used with optional chaining. 
} 

infix operator <~ : CustomAssignment 

enum MyEnum : String { 
    case string = "String" 

    static func <~ (lhs: inout String?, rhs: MyEnum) { 
    lhs = rhs.rawValue 
    } 
} 

class MyClass { 
    var value: String? 
} 

let myClass: MyClass? = MyClass() 

myClass?.value <~ MyEnum.string 
print(myClass?.value as Any) // Optional("String") 

は個人的に、しかし、私はちょうど
myClass?.value = MyEnum.string.rawValue上で、このようなオペレータの値が表示されません。後者はです.はほんの少し余分な文字で明瞭です。