swift - 类型安全和类型推断有什么区别？

Question

它们有什么不同？我有点困惑，因为它们似乎是相似的概念。

了解它们如何帮助优化编译时间？

Answer 1

来自 Swift 自己的 documentation :

类型安全

Swift 是一种类型安全的语言。类型安全的语言鼓励您清楚代码可以使用的值类型。 如果您的部分代码需要一个 String，您就不能错误地将一个 Int 传递给它。

var welcomeMessage: String
welcomeMessage = 22 // this would create an error because you  
//already specified that it's going to be a String

类型推断

如果您不指定您需要的值的类型，Swift 会使用类型推断来计算出合适的类型。类型推断使编译器能够在编译您的代码时自动推断出特定表达式的类型，只需检查您提供的值即可。

var meaningOfLife = 42 // meaningOfLife is inferred to be of type Int
meaningOfLife = 55 // it Works, because 55 is an Int

类型安全和类型推断相结合

var meaningOfLife = 42 // 'Type inference' happened here, we didn't specify that this an Int, the compiler itself found out.
meaningOfLife = 55 // it Works, because 55 is an Int
meaningOfLife = "SomeString" // Because of 'Type Safety' ability you will get an 
//error message: 'cannot assign value of type 'String' to type 'Int'' 

---

具有关联类型的协议(protocol)的棘手示例:

想象一下下面的协议(protocol)

protocol Identifiable {
    associatedtype ID
    var id: ID { get set }

}

你会像这样采用它:

struct Person: Identifiable {
    typealias ID = String
    var id: String
}

但是你也可以这样采用它:

struct Website: Identifiable {
    var id: URL
}

您可以删除typealias。编译器仍会推断类型。

有关更多信息，请参阅 Generics - Associated Types

Thanks to Swift’s type inference, you don’t actually need to declare aconcrete Item of Int as part of the definition of IntStack. BecauseIntStack conforms to all of the requirements of the Containerprotocol, Swift can infer the appropriate Item to use, simply bylooking at the type of the append(_:) method’s item parameter and thereturn type of the subscript. Indeed, if you delete the typealias Item= Int line from the code above, everything still works, because it’s clear what type should be used for Item.

类型安全和泛型

假设您有以下代码:

struct Helper<T: Numeric> {
    func adder(_ num1: T, _ num2: T) -> T {
        return num1 + num2
    }
    var num: T
}

T 可以是任何数字，例如Int、Double、Int64 等

然而，一旦您键入 let h = Helper(num: 10)，编译器就会假设 T 是一个 Int。它不再接受 Double、Int64 作为其 adder 函数。它只会接受 Int。

这又是因为类型推断和类型安全。

• 类型推断:因为它必须推断generic 是Int 类型。
• 类型安全:因为一旦T被设置为Int类型，它将不再接受Int64，双...

正如您在屏幕截图中看到的那样，签名现在更改为仅接受 Int 类型的参数

优化编译器性能的专业提示:

您的代码必须进行的类型推断越少，编译速度就越快。因此，建议避免集合文字。集合越长，其类型推断变得越慢......

不错

let names = ["John", "Ali", "Jane", " Taika"]

好

let names : [String] = ["John", "Ali", "Jane", " Taika"]

有关更多信息，请参阅 this answer .

另见 Why is Swift compile time so slow?

该解决方案帮助他的编译时间从 10/15 秒减少到一秒。