Question

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

为此，我定义了一个函数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.)

请注意，此错误在运行时被捕获！该功能已经开始。你可以看到这是因为＆＃34;开始！＆＃34;输出中的字符串。

看起来，在第一种情况下，函数得到的值为nil，连同注释＆＃34;这不是零值＆＃34;。在第二种情况下，它似乎是一个零，带有附加注释＆＃34;这个值是零，请尖叫，不要只使用它。＆＃34;

为什么我没有在第一种情况下出错，而在第二种情况下出错？不应该是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>

要重现整个会话，只需在终端中输入以下代码：

/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中被破坏，至少在我的机器上。但是在一行中写它是有效的。那是另一个故事...）< / p>

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正在为你做一些初始化，即使你不想要它

我复制了＆amp;将您的代码粘贴到操场上，它会向我抛出此错误：

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>

Answer 2

这是预期的行为。

var y:String!

（带有感叹号）是一个“隐式解包的可选”，这意味着它是一个可选项，但是当你想要访问它时你不需要打开它（添加！）。但是，像可选项一样，当您尝试访问它时，如果它没有值，您将触发运行时异常：

来自“Swift编程语言” - 第78页

“如果在不包含值时尝试访问隐式展开的可选项，则会触发运行时错误。结果与在不包含值的普通可选项之后放置感叹号完全相同。“

因此，g（y）崩溃的事实是正确的。奇怪的是，g（x）不会崩溃，但它似乎是REPL的行为，它为你初始化x。

对于非可选值，nil的概念不存在。所以，x不是零，它就像“未初始化”。如果您尝试将此代码放在实际项目中

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

    var x:String
    var y:String!

    g(x)
    g(y)

它不会编译，你会收到：

初始化之前使用的变量'x'

Answer 3

这是预期的行为吗？我错过了什么吗？这是Swift中的错误吗？

由于您之前在REPL中的活动，它看起来很像。这是我将代码粘贴到游乐场时得到的结果：

Playground execution failed: error: code after 'return' will never be executedcode after 'return' will never be executed<REPL>:8:3: error: variable 'x' used before being initialized
g(x)
  ^
<REPL>:6:5: note: variable defined here
var x:String

基本上，它抱怨您在没有先给它一个值的情况下使用x。但是，回顾会话的成绩单，你做在第2行给出x值：

  2> var x:String
x: String = {
  core = {
    _baseAddress = Builtin.RawPointer = 0x0000000000000000
    _countAndFlags = 0
    _owner = None
  }
}

因此编译器对x没问题也就不足为奇了。您获得的错误是由于y被声明为隐式展开的变量。您将其设置为nil，尝试访问它，并获得一个运行时错误，指出该值无法解包。这个错误并不令人惊讶 - 当你试图强行打开一个零变量时，应该会发生什么。

Answer 4

var x：String

必须有价值。可能不为零。

这就是问题所在。 您不应使用未初始化的变量（它不是可选的）。

var y：String！

可以使用未初始化，值可以为零。就像写作

var y：String？ //但是每次我使用它都请在y之后为我添加感叹号

所以代替y!你可以写y。但值可能是nil。当值为y时，使用nil - ＆gt;崩溃。

Swift中有两种不同类型的nil？

4 个答案: