Kiedy "strażnik niech foo = foo" staje się legalny?

Question

Powrót w listopadzie 2016 roku wysłałem pytanie pytaniem, dlaczego nie mogę korzystać straż stworzyć nieopakowanych wersję zmiennej używając tej samej nazwy jako opcjonalny, jak można z niech jeżeli:

Link: Why isn't guard let foo = foo valid?

Kiedy pisałem to pytanie, poniższy kod nie powiedzie się skompilować z błędem, że „konflikty definition z poprzedniej wartości”:

//Test of using guard to create an unwrapped version of a var, like if let 
func guardTest(_ viewController: UIViewController?) -> UIViewController? { 
    // Check if the current viewController exists 
    print(String(describing: viewController)) 
    guard let viewController = viewController else { 
    return nil 
    } 
    print(String(describing: viewController)) 

    return viewController 
} 

jednak ja po prostu znaleźć jakiś kod w pracy, że robi to, i teraz kompiluje bez skargi i robię to, co chcę! Po uruchomieniu wydruku sprawozdania pokazują, że foo jest opcjonalnym przed straży, i rozpakowany opcjonalnie po:

viewController = Optional(<TrochoidDemo.ViewController: 0x7ff16a039a00>) 
viewController = <TrochoidDemo.ViewController: 0x7ff16a039a00> 

(dodałem funkcję testową guardTest(_:) do mojego najnowszego projektu open source, jeśli chcesz go wypróbować. jest ona dostępna na Github na https://github.com/DuncanMC/TrochoidDemo)

Cieszę się, że konstrukcja ta działa teraz jak chcę go, ale mylić co do dlaczego to teraz legalne, a kiedy nastąpiła zmiana.

Czy ktoś wie o ostatniej zmianie w definicji języka, która sprawia, że ​​konstrukcja działa tak, jak poprzednio?

Answer 1

TL; DR

guard let foo = foo jest legalny, jeśli foo zdefiniowano w innym zakresie.

---

Przykład z połączonego pytanie:

func test() 
{ 
    let a: Int? = 1 

    guard let a = a else{ 
    return 
    } 
    print("a = \(a)") 
} 

nadal nie działa, ponieważ oświadczenie guard próbuje utworzyć kolejną zmienną a w tym samym zakresie.

Ten przykład:

//Test of using guard to create an unwrapped version of a var, like if let 
func guardTest(_ viewController: UIViewController?) -> UIViewController? { 
    // Check if the current viewController exists 
    print(String(describing: viewController)) 
    guard let viewController = viewController else { 
    return nil 
    } 
    print(String(describing: viewController)) 

    return viewController 
} 

prace z tego samego powodu, że to robi:

func test(a: Int) 
{ 
    print(type(of: a)) // Int 

    let a = 3.14 

    print(type(of: a)) // Double 
} 

parametr do funkcji jest zdefiniowana w innym zakresie, tak Swift pozwala na tworzenie lokalnego zmienna o tej samej nazwie.