Warum benötigt Swift BooleanLiteralConvertible ein boolesches Literal?

Question

Ich versuche, BooleanLiteralConvertible Unterstützung meiner Klasse hinzuzufügen, so dass ich es mit einem boolean instanziieren kann. Die Sache, die mich für eine Schleife wirft, ist die Unterscheidung zwischen einem booleschen Wert und einem booleschen Literal.

Zum Beispiel, nach dem Protokoll hinzugefügt ich versuchte, dies:

func setSelected(value: Bool) { 
    var node: MyClass = value 
} 

Aber Swift darüber beschwert, dass es nicht Bool-MyClass umwandeln kann. Es dauerte eine Weile, bis ich erkannte, dass es sich um einen booleschen Literal handeln musste. Seltsamerweise funktioniert das Folgende gut:

func setSelected(value: Bool) { 
    var node: MyClass = value ? true : false 
} 

... was für mich absolut albern scheint. Gibt es einen berechtigten Grund für diese scheinbar sehr bizarre Anforderung?

Answer 1

ich die Frage gerne schreiben. Nur das Swift - Team konnte definitiv antworten, aber ich kann darüber spekulieren, warum: die Umwandlung eines typisierten Wertes in eine Variable eines anderen Typs ohne eine explizite Konvertierung oder Umwandlung ist sehr leicht mit einem Programmierfehler zu verwechseln, und in vielen Fällen ist das etwas Compiler sollte darüber warnen.

Beispiel (und davon ausgehen, dass Person ist auch ein StringLiteralConvertible, die als wörtlichen als auch mit einer String-Variablen initialisiert werden können, wie Sie in Ihrer Frage stellen):

struct Person { 

    private static var idCounter = 1 

    var name:String 
    let id:Int 

    init(withName name:String) { 
     Person.idCounter += 1 
     self.name = name 
     self.id = Person.idCounter 
    } 
} 

var person = Person(withName:"Mary") 
let name = "John" 
person = name 

Der obige Code sieht verdächtig nach einem Fehler , wobei der Programmierer einer Variablen vom Typ Person einen Wert vom falschen Typ (String) zuweist. Es kann tatsächlich ein Fehler sein. Vielleicht wollte der Programmierer nur den Namen der Person (person.name = name) ändern, ohne eine neue Person mit einer neuen eindeutigen ID zu erstellen. Oder vielleicht wollte der Programmierer einen anderen Wert zu person zuweisen, aber einen Tippfehler oder Code-Vervollständigungsfehler gemacht. Schwer zu sagen, ohne entweder der ursprüngliche Programmierer zu sein, oder sorgfältig den ganzen Kontext zu studieren, um zu sehen, ob diese Umwandlung Sinn macht. Und es wird schwieriger, je weiter die Zuweisung von der Stelle entfernt wird, an der die Variablen ursprünglich initialisiert wurden. Warnt der Compiler hier, dass ein Wert vom Typ String einer Variablen vom Typ Person zugewiesen wird?

Das Beispiel würde so weit mehr klar, und mehr im Einklang mit Swift-Konventionen sein:

var person = Person(withName:"Mary") 
let name = "John" 
person = Person(withName:name) 

Die obige Version ist völlig eindeutig, sowohl an die Compiler und an anderen Programmierern, die diese später zu lesen.

Answer 2

konforme Typen zu BooleanLiteralConvertible kann mit den Booleschen Literaletrue und false, z.B. initialisiert werden

let mc : MyClass = true 

Das hat nichts mit der Initialisierung des Typs mit einem Booleschen Wert zu tun:

let value : Bool = // ... some boolean value 
let mc : MyClass = value // error: cannot convert value of type 'Bool' to specified type 'MyClass' 

und es ist - soweit ich weiß - keine Möglichkeit, eine solche implizite Umbauarbeiten zu machen . Sie würden eine benutzerdefinierte Methode init

init(bool : Bool) { 
    // ... 
} 

und initialisieren das Objekt als

let value : Bool = // ... some boolean value 
let mc = MyClass(bool: value)