为什么我可以声明一个变量而不写可选标记？

Question

首先，我相信我的问题与那些关于“什么是 swift 中的可选”的问题不同。因为我问的是为什么我能做到这一点，而不是这是什么。

我是 swift 新手。当我今晚学习这门美妙的语言时，我遇到了一个我从未在编程语言中看到过这个标记的问题——“?”。我搜索了一段时间。我现在知道什么是可选绑定了。

但现在我有一个新问题。 当我想声明一个不是可选的变量时。我可以写这样的语法：

var friend: String

但我不会写：

var friend: String = nil

要声明一个为零的变量，我只能使用可选的：

var friend: String? = nil

让我们看看第一段代码。当新变量friend刚刚被声明时，它的值是nil，对吧？因为我没有给它赋值。但是根据 optional 的定义，像第二段和第三段代码一样，我们不能将 nil 分配给非可选变量。

所以我的问题是为什么我可以声明一个没有可选标记但没有初始值的变量。这个问题可能很简单，但我真的不知道为什么会这样。

提前致谢！

Answer 1

Swift 允许您声明一个非可选变量或常量，而无需在声明中对其进行初始化，但您必须在使用前为其赋值。变量或常量的值是 not nil（非可选值永远不能是 nil）——它只是没有定义的值。基本上你是说你稍后会给它一个值，可能基于计算结果或 if 语句。

如果您尝试使用非可选变量或常量而不首先为其赋值，Swift 会给您一个编译时错误。

Answer 2

你设置的第一个值是字符串类型的未初始化变量。

编程中一个非常常见的模式是有一个可能返回值也可能不返回值的操作。在某些语言中，例如 javascript，当遇到空值时，只要我们的程序不依赖该值继续运行，我们的程序就会继续正常运行。在其他语言中，例如 java，null 值可能导致 NullPointerException 并使我们的程序崩溃。

Swift 对这个问题的解决方案是可选的。默认情况下，如果我们定义一个没有值的变量，编译器会报错。因此，为了声明一个在运行时可能有也可能没有值的值，我们需要添加一个 ?这被称为“将我们的值包装在一个可选项中”。这是因为我们确实将我们的值包装在 Swift 的可选类型中，从而赋予它价值。为了更好地了解发生了什么，我们可以看看 Swifts Optional enum 是如何实现的。

enum Optional<T> {
    case None // has no value
    case Some(T) // has some value
}