Swift类型推断需要问号或感叹号

Question

在阅读了Apple的ARC指南之后，我正在慢慢尝试了解保留周期，但是我不清楚swift的类型推断在推断变量的全局范围时需要可选的问号或强制展开感叹号。类。

例如：

import XCTest
@testable import PassionProject

class ItemManagerTests: XCTestCase {

    var sut: ItemManager!

    override func setUp() {
        super.setUp()
        // Put setup code here. This method is called before the invocation of each test method in the class.

        sut = ItemManager()
    }

    override func tearDown() {
        // Put teardown code here. This method is called after the invocation of each test method in the class.
        super.tearDown()
    }

    func tests_ToDoCount_Is_InitiallyZero() {

        XCTAssertEqual(sut.toDoCount, 0)
    }

    func tests_DoneCount_Is_InitiallyZero(){

        XCTAssertEqual(sut.doneCount, 0)
    }
}

如果我在下一行省略问号或解释点，则会引发有关该类没有初始化程序的错误：

var sut: ItemManager

我的问题是，类型推断不只是说这个变量就是这种类型吗？ 如果是这样，如果我们没有给它一个初始值，为什么Xcode认为它是一个属性？ 其次，如果我们从不设置值，为什么为什么要强制解包推断类型呢？

如果需要，下面是我们用作示例的对象的代码，在此先感谢您更好地理解：

import Foundation

class ItemManager {

    let toDoCount = 0

    let doneCount = 0

}

Answer 1

那不是类型推断。 如果声明变量的类型，则不会发生推断。 推理是所有关于盘算（ 推断 ）出类型是什么，如果你不明确地说 。

您在使用Swift初始化程序规则时遇到了问题。 如果您声明一个类具有此属性：

var sut: ItemManager

然后这是非可选的，这意味着在初始化完成之前它必须具有一个值 。 您没有这样做，因此Swift抱怨您的初始化程序。 您可以添加一个分配值的init方法，也可以声明它并同时分配一个值-如下所示：

var sut: ItemManager = ItemManager()

如果您这样声明：

var sut: ItemManager?

然后它是可选的，这意味着如果您不分配值，则它将获得nil的值。 您不必在初始化期间分配值，因为它已经有一个。

Answer 2

出于安全考虑，Swift要求所有变量始终保持一个值。 这样可以防止出现变量值未知的情况。 但是，在编程中仍然有一些情况要表示缺少值。 一个很好的例子是执行搜索时。 希望能够从搜索中返回一些内容，表明未找到任何值。

因此，在Swift中，类成员必须在声明时具有一个值。默认情况下，特定类型的成员说，Int不能为nil并且不会获得默认值。如果我们知道变量的值可能为零，那么我们将其定义为可选。

现在，您有三个选项可为类成员提供初始值：

1. 通过在声明时进行初始化

2. 通过在init方法中为其提供值

3. 通过将其定义为可选变量或未包装可选变量，这取决于变量的使用