Podwójny wykrzyknik !! znak w Swift?

Question

Znam definicję jednego wykrzyknika, ale dwa?

Kodowałem dzisiaj, a kompilator "zmusił" mnie do dodania jeszcze jednego! do mojego zdania:

mySignal.subscribeNext({ 
     (value: AnyObject!) ->() in 
     let list: RACSequence = value["myObject"]!!.rac_sequence 
     ... 

Jeśli używam tylko jednego! mark, projekt się nie kompiluje, dając mi błąd: "Wartość opcjonalnego typu" AnyObject? " nieopakowany, czy chciałeś użyć "!" lub "?"? " Potem dodaję jeszcze jeden! i wszystko działa.

Co oznacza dla dwa wykrzykniki w Swift?

Answer 1

Przechowujesz w słowniku słownik AnyObject!, więc jako wartość przechowujesz opcjonalne. Subskrypcje słownika zawsze zwracają opcjonalną wartość, którą przechowujesz, więc dostajesz opcjonalny opcjonalny, dlatego potrzebujesz dwóch !, aby go dwukrotnie rozwinąć.

Answer 2

Jest to dziwny artefakt dotyczący użycia typu AnyObject zamiast wyraźnego typu słownika. Normalnie, a monad like Optional (dzięki user2864740) implementuje operację wiązania z sygnaturą podobną do Optional<T>.bind(f: T -> Optional<U>) -> Optional<U>.

Powoduje to, że gdy uzyskujesz dostęp do opcjonalnego elementu opcjonalnej wartości, nie dostajesz podwójnego opcjonalnego, który musisz rozwinąć jak cebulkę z każdą warstwą dostępu.

Jeśli zrobisz podobny przykład z wyraźną słowniku znajdziesz wynikowy typ być tylko jedna warstwa Opcjonalnie:

import UIKit 

let anyDict: AnyObject? = ["foo" : 34, "bar" : 13] 
let anyElement = anyDict?["foo"] 
print(anyElement) // Optional(Optional(34)) 

let dict: [String : Int]? = ["foo" : 34, "bar" : 13] 
let element = dict?["foo"] 
print(element) // Optional(34) 

Nie jest jasne, dlaczego tak się dzieje z AnyObject, ale nie wierz, że to zamierzone zachowanie.