Является ли «дефер» гарантированным называться в Swift?

Question

Согласно Apple, Swift документации отложить

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

documentation

Но этот код:

enum SomeError: ErrorType { 
    case BadLuck 
} 

func unluckey() throws { 
    print("\n\tunluckey() -> someone will have a bad day ;)\n") 
    throw SomeError.BadLuck 
} 

func callsUnluckey() throws { 

    print("callsUnluckey() -> OPENING something") 
    defer { 
     print("callsUnluckey() -> CLOSEING something") 
    } 

    print("callsUnluckey() -> WORKING with something") 

    try unluckey() 
    print("callsUnluckey() -> will never get here so chill...") 

    defer { 
     print("callsUnluckey() -> why this is not getting called?") 
    } 
} 

do { 
    try callsUnluckey() 
} catch { 
    print("") 
    print("someone had a bad day") 
} 

Производит этот результат в консоли:

callsUnluckey() -> OPENING something 
callsUnluckey() -> WORKING with something 

    unluckey() -> someone will have a bad day ;) 

callsUnluckey() -> CLOSEING something 

someone had a bad day 

И мой вопрос: почему последний Перенести в callsUnluckey() не называется?.

Answer 1

Взгляните на грамматике языка, как представлено в The Swift Programming Language: defer является заявление. В грамматике утверждение является обязательным кодом, который должен выполняться по порядку (в отличие от определения программного элемента, такого как класс или функция, который впоследствии будет использоваться в императивном коде).

Обратите внимание, что бит сразу после части, которую вы указали, зависит от порядка. Если defer был просто объявлением, как функция или свойство или объявление типа, эффект упорядочения не может быть. (Не имеет значения, в каком порядке вы, например, помещаете объявления функций.)

IIRC (на мобильном телефоне прямо сейчас не может быть легко проверено), компилятор поймает вас, если вы положите defer после return, отметив, что это код, который никогда не будет выполнен.

Помните, что «бросание» в Swift под капотом действительно представляет собой особый тип возвращаемого типа. Так что если ваша функция throw s, то код после throw не будет выполнен (и, следовательно, инструкция defer будет иметь возможность создать блок кода, который будет выполнен позднее). Когда вы объявляете функцию throws, любой вызов в ней другой функции бросания становится возможной операцией throw, которая сама по себе является возвратом.