`guard let foo = foo` 什么时候变得合法了？

Question

早在 2016 年 11 月，我发布了一个问题，询问为什么我不能使用 guard 来创建一个与可选变量同名的变量的解包版本，就像你可以使用 if let 一样：

链接：Why isn't guard let foo = foo valid?

当我写这个问题时，下面的代码将无法编译，并出现“定义与先前值冲突”的错误：

//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
}

但是，我刚刚发现了一些可以执行此操作的代码，它现在可以毫无怨言地编译并执行我希望它执行的操作！运行时，打印语句显示 foo 在保护之前是可选的，而在之后是未包装的可选：

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

（如果你想尝试一下，我在我最新的开源项目中添加了测试功能guardTest(_:)。它可以在Github上获得，地址是https://github.com/DuncanMC/TrochoidDemo）

我很高兴这个构造现在可以按我的意愿工作，但对为什么它现在是合法的以及何时发生变化感到困惑。

是否有人知道最近对语言定义的更改使该构造在以前无法使用的地方工作？

Answer 1

TL;DR

如果foo 在另一个范围内定义，guard let foo = foo 是合法的。

---

链接问题中的示例：

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

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

仍然不起作用，因为 guard 语句试图在同一范围内创建另一个变量 a。

这个例子：

//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
}

工作原理与此相同：

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

    let a = 3.14

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

函数的参数定义在不同的范围内，所以 Swift 允许你创建一个同名的局部变量。