在
Swift语言中遇到一些奇怪的行为,在REPL(= Read-Eval-Print-Loop)中,在运行时似乎有两种不同类型的nil值,具有不同的行为:
为此,我定义一个函数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.)
请注意,此错误在运行时被捕获!该功能已经开始.你可以看到这个,因为“开始!”输出中的字符串.
看来,在第一种情况下,该函数的值为零,连同一个注释“这不是一个零值”.在第二种情况下,似乎没有一个附加的注释“这个值是零,请尖叫,不要使用它”.
为什么在第一种情况下没有收到错误,第二种情况出现错误?不应该是g(x)和g(y)的行为一样吗?
这是预期的行为吗?我错过了什么吗?这是Swift的错误吗?规范中的错误?还是一个bug的实现?还是只是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中至少在我的机器上被打破了,但是在一行中编写它们是有效的,这是另一个故事…)
2015年3月更新:苹果似乎已经解决了这个问题.无法声明一个没有初始值的普通变量:
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 ^
即使您不想要,REPL也会自动为您进行一些初始化
原文链接:https://www.f2er.com/swift/319726.htmlerror: 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以某种方式初始化为一个nil String(我不知道它是否合法存在),其余的故事将在其他答案中解释
看起来像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> = {}
更有趣的是,它仍然可以初始化非可选类型为零
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>