Swift 字符串与字符串！与字符串？

Question

我已阅读this 问题和其他一些问题。但它们与我的问题

有些无关

对于UILabel，如果你不指定?或!你会得到这样的错误：

@IBOutlet 属性具有非可选类型“UILabel”

然后 Xcode 为您提供 2 个选项来修复它，您可以这样做：

修复它添加？形成可选类型 UIlabel？
修复它添加！来形成 隐式展开的可选类型 UIlabel？

但是对于字符串，您可以只输入 string 而不输入 ? 或 !，您不会收到错误为什么会这样？

如果name 未设置会怎样？那么我们会有一个 nil 没有使用 ?、! 和 Swift 来满足“类型安全”？

示例：

struct PancakeHouse {
  let name: String // this doesn't have '?' nor '!'
  let photo: UIImage?
  let location: CLLocationCoordinate2D?
  let details: String
}

我最大的困惑是我们什么时候希望不使用 Optional？

Answer 1

所有这些都包含在文档中：The Swift Programming Language - The Basics。

简而言之：

String 表示保证存在的String。这个值不可能为nil，所以直接使用是安全的。

String?代表一个Optional<String>，可以是nil。您不能直接使用它，您必须先将其展开（使用guard、if let 或强制展开运算符!）以生成String。只要您不使用! 强制解包，这也是安全的。

String! 也代表一个Optional<String>，可以是nil。然而，这个可选项可以用在需要非可选项的地方，这会导致隐式 forced 展开。这就像拥有一个String? 并始终使用! 隐式强制解包。这些是危险的，因为nil 的出现会使您的程序崩溃（除非您手动检查nil）。

Answer 2

对于您的 PancakeHouse 结构，name 是非可选的。这意味着它的name 属性不能为零。每当初始化PancakeHouse 的实例时，编译器将强制要求将name 初始化为非零值。它通过要求在为PancakeHouse 定义的任何和所有初始化程序中设置name 来做到这一点。

对于@IBOutlet 属性，这是不可能的。当一个 Interface Builder 文件（XIB 或 Storyboard）被取消归档/加载时，IB 文件中定义的出口被设置，但这总是发生在其中的对象被初始化之后（例如，在视图加载期间）。因此，在初始化之后但在设置出口之前必然有一段时间，在此期间，出口将为零。 （还有一个问题是 IB 文件中可能没有设置 outlet，编译器不会/无法检查。）这解释了为什么 @IBOutlet 属性 必须 是可选的。

@IBOutlets 的隐式解包可选 (!) 和常规可选 (?) 之间的选择取决于您。这些论点本质上是使用! 可以让您将属性视为非可选的，因此永远不会为零。如果由于某种原因它们为 nil，通常会被认为是程序员错误（例如未连接插座，或者您在视图加载完成之前访问它等），在这些情况下，在开发过程中因崩溃而失败将帮助您捕捉更快的错误。另一方面，将它们声明为常规选项，需要任何使用它们的代码来显式处理由于某种原因可能未设置它们的情况。 Apple 选择了隐式展开作为默认值，但有 Swift 程序员出于他们自己的原因，对@IBOutlet 属性使用常规选项。

Answer 3

一开始，整个“可选”的事情让我很不爽。让我“点击”的原因是当我不再将它们视为“字符串”对象并开始将它们视为泛型时。就像具有“String”通用标识符的“Array”是一个数组，如果它有值，则包含字符串......“String？”是一个可选的，如果它有一个值，就是一个字符串。

String - 这总是保证是某种字符串，并且永远不会为零。当你声明一个变量时，它必须被赋予一个值。

字符串？ - 这是一个可选的。它可以是 nil，如果它有一个值，它将是一个字符串。为了访问可选项的值，您必须解包它。

字符串！ - 这是一个可选的，带有语法糖，可让您直接访问其值，就好像它只是一个字符串一样。它可能是 nil，但无论出于何种原因，变量周围的上下文对你眨了眨眼，说“别担心，它会有一个值。”

Answer 4

感谢 Andrew Madsen 的回答和所有其他回答，我自己也学到了一点：

struct pairOfOptionalAndNonOptionalAndImplicitUnwrapped{
    var word1 :String?
    var word2 :String
    var word3: String!

    init (a:String, b: String, c: String){
        self.word1 = a // Line A
        self.word2 = b // Line B
        self.word3 = c // Line C
    } //Line BBBB


    func equal() ->Bool{
        return word1 == word2 + word3
    }
}

let wordParts = pairOfOptionalAndNonOptionalAndImplicitUnwrapped (a:"partTwo", b: "part", c:"Two")
wordParts.equal() // Line CCCC

---

• 如果我只注释掉 A 行，我不会收到任何错误，因为它是可选的，并且可以将 optionals 设置为 nil。
• 如果我只注释掉 B 行，我将在 BBBB 行上得到一个编译错误，说：Return from initializer without initializing all stored properties，我得到这个是因为我已将属性 word2 声明为非可选的。我已经告诉编译器我保证让你设置...
• 如果我只注释掉 C 行，我不会得到错误，除非我真的在我的对象上运行了一个方法。你可能得到的错误是：Execution was interrupted, reason: EXC_BAD_INSTRUCTION (code=EXC_1386_INVOP, subcode=0x0) 当且仅当我运行wordParts.equal()，因为我告诉我的代码这是一个可选的意思，它将在在实例化/编译之后从其他地方设置。这意味着如果您没有设置 lldb，它可以通过我运行时错误。 （错误会发生在线CCCC）