as! vs как оператор в Xcode 6.3 в Swift

Question

Swift многое изменил с помощью Xcode 6.3. Мне пришлось заменить десятки мест в каждом из моих приложений. as ->as!. Почему, какие сейчас правила?

Answer 1

До Swift 1.2, оператор as может быть использован для выполнения двух различных видов конверсии, в зависимости от типа выражения преобразуется и тип он преобразуется в:

• Гарантированное преобразование значения одного типа другому, успех которого может быть проверен компилятором Swift. Например, повышение (например, преобразование из класса в один из его суперклассов) или указание типа литерального выражения (например, 1 как Float).

• Принудительное преобразование одного значения другому, безопасность которого не может быть гарантирована компилятором Swift и может вызвать ловушку времени выполнения. Например, downcasting, преобразование из класса в один из его подклассов.

Swift 1.2 разделяет понятия гарантированного преобразования и принудительного преобразования на два разных оператора. Гарантированное преобразование все еще выполняется с оператором as, но принудительное преобразование теперь использует оператор as!. Значение ! означает, что преобразование может завершиться неудачей. Таким образом, вы сразу знаете, какие преобразования могут привести к сбою программы.

Источник: https://developer.apple.com/swift/blog/?id=23

Answer 2

Согласно release notes:

Понятия гарантированного преобразования и «принудительный failable» преобразование теперь разделены на два оператора. Принудительное отказоустойчивое преобразование теперь использует как! оператор. ! дает понять читателям кода, что может произойти сбой и привести к ошибке выполнения. Оператор «as» остается для upcasts (например, «someDerivedValue as Base») и введите аннотации («0 как Int8»), которые гарантированно не сработают.

Answer 3

Практическое отличие заключается в следующем:

var optionalString = dict.objectForKey("SomeKey") as? String 

optionalString будет переменная типа String?. Если базовый тип - это нечто иное, чем String, это безвредно назначает nil необязательному.

var optionalString = dict.objectForKey("SomeKey") as! String? 

Это говорит, я знаю, эта вещь String?. Это также приведет к тому, что optionalString будет иметь тип String?, но он сработает, если базовый тип - это что-то еще.

Первый стиль затем используется с if let безопасно разворачивать опциональный:

if let string = dict.objectForKey("SomeKey") as? String { 
    // If I get here, I know that "SomeKey" is a valid key in the dictionary, I correctly 
    // identified the type as String, and the value is now unwrapped and ready to use. In 
    // this case "string" has the type "String". 
    println(string) 
}