swift - Swift 中两种不同类型的 nil？

Question

在 REPL (=Read-Eval-Print-Loop) 中工作时，我在 Swift 语言中遇到了一些奇怪的行为，其中似乎有两种不同类型的 nil 值具有不同的行为 < strong>在运行时:

为此，我定义了一个函数g:

func g(x:String!) {
    println("start!");
    println((x == "foo") ? "foo" : "not");
}

然后我定义了两个变量:

var x:String
var y:String!

当我调用 g(x) 时，它的工作方式类似于 Objective-C:

start!
not

当我调用 g(y) 时，出现错误:

start!
fatal error: Can't unwrap Optional.None
Execution interrupted. Enter Swift code to recover and continue.
Enter LLDB commands to investigate (type :help for assistance.)

注意这个错误是在运行时被捕获的!该功能已经启动。您可以看到这一点，因为“开始!”输出中的字符串。

看起来，在第一种情况下，函数得到一个 nil 值，并附有一条注释“这不是一个 nil 值”。在第二种情况下，它似乎得到了一个nil，并附有注释“此值为nil，请尖叫，不要随便使用它。”

为什么第一种情况没报错，第二种情况报错？ g(x) 和 g(y) 的行为不应该相同吗？

这是预期的行为吗？我错过了什么吗？这是 swift 的一个错误吗？规范中的错误？还是实现中的错误？或者只是 REPL 中的错误？ 访问未初始化的变量不是不可能吗？

---

全程记录，供引用...

$ /Applications/Xcode6-Beta.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swift
Welcome to Swift!  Type :help for assistance.
  1> func g(x:String!) {println("start!"); println((x=="foo") ? "foo" : "not");} 
  2> var x:String
x: String = {
  core = {
    _baseAddress = Builtin.RawPointer = 0x0000000000000000
    _countAndFlags = 0
    _owner = None
  }
}
  3> var y:String!
y: String! = nil
  4> g(x)
start!
not
  5> g(y)
start!
fatal error: Can't unwrap Optional.None
Execution interrupted. Enter Swift code to recover and continue.
Enter LLDB commands to investigate (type :help for assistance.)
  6> 

要重现整个 session ，只需在终端中输入以下代码:

/Applications/Xcode6-Beta.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swift
func g(x:String!) {println("start!"); println((x=="foo") ? "foo" : "not");}
var x:String
var y:String!
g(x)
g(y)

(该函数写在一行中，因为复制和粘贴功能在 REPL 中被破坏，至少在我的机器上是这样。不过，写在一行中是可行的。那是另一回事了...)

---

2015 年 3 月更新:Apple 似乎已经解决了这个问题。不再可以声明没有初始值的普通变量:

 2> var x:String
repl.swift:2:1: error: variables currently must have an initial value when entered at the top level of the REPL
var x:String
^

Answer 1

REPL 会自动为你做一些初始化，即使你不想要它

我将您的代码复制并粘贴到 playground 中，它向我抛出此错误:

error: variable 'x' used before being initialized
g(x)
  ^
<REPL>:22:5: note: variable defined here
var x:String

我认为这是正确的结果。代码不应编译。

当我将其输入 REPL 时

var a:String

它打印

a: String = {
  core = {
    _baseAddress = Builtin.RawPointer = 0x0000000000000000
    _countAndFlags = 0
    _owner = None
  }
}

所以 REPL 以某种方式将 a 初始化为 nil 字符串(我不确定它是否合法存在)，其余的故事在其他答案中解释

---

看起来 REPL 正在为每个变量做一些默认初始化，所以你不能使用未初始化的变量

Welcome to Swift!  Type :help for assistance.
  1> var a:String
a: String = {
  core = {
    _baseAddress = Builtin.RawPointer = 0x0000000000000000
    _countAndFlags = 0
    _owner = None
  }
}
  2> var b:Int
b: Int = 0
  3> var c:Int[]
c: Int[] = size=0
  4> var d:Dictionary<Int,Int>
d: Dictionary<Int, Int> = {}

更有趣的是它仍然可以用nil初始化非可选类型

  5> import Foundation
  6> var f:NSObject
f: NSObject = {}
  7> var g:NSNumber
g: NSNumber = {
  Foundation.NSValue = <parent is NULL>

}
  8> print(g)
fatal error: Can't unwrap Optional.None
Execution interrupted. Enter Swift code to recover and continue.

---

所以REPL把访问未初始化的变量(应该是编译时错误)变成了运行时错误

Welcome to Swift!  Type :help for assistance.
  1> class Test{ var val:Int; init(v:Int) {val=v} }
  2> var t:Test
t: Test = {
  val = <parent is NULL>

}
  3> t.val
Execution interrupted. Enter Swift code to recover and continue.
Enter LLDB commands to investigate (type :help for assistance.)
  4> t = Test(v:1)
  5> t.val
$R2: Int = 1
  6>