Swift有两种不同的类型？

发布时间：2020-12-14 05:36:13 所属栏目：百科来源：网络整理

导读：在 Swift语言中遇到一些奇怪的行为,在REPL(= Read-Eval-Print-Loop)中,在运行时似乎有两种不同类型的nil值,具有不同的行为：为此,我定义一个函数g： func g(x:String!) { println("start!"); println((x == "foo") ? "foo" : "not");} 然后我定义两个变量：

在 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也会自动为您进行一些初始化

我复制了将您的代码放入操场,并将此错误提交给我：

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以某种方式初始化为一个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>

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!