Swift Generics vs Any

Kar*_*yan 5 generics any swift anyobject inout

我在苹果网站上阅读了快速文档.有一个函数swapTwoValues,它可以交换两个给定的值

func swapTwoValues1<T>(_ a: inout T, _ b: inout T) {
    let temporaryA = a
    a = b
    b = temporaryA
}
Run Code Online (Sandbox Code Playgroud)

现在我想写类似的功能,但不是使用T泛型类型,我想使用Any

func swapTwoValues2(_ a: inout Any, _ b: inout Any) {
    let temporaryA = a
    a = b
    b = temporaryA
}
Run Code Online (Sandbox Code Playgroud)

我写这个函数

var a = 5
var b = 9


swapTwoValues1(&a, &b)

swapTwoValues2(&a, &b)
Run Code Online (Sandbox Code Playgroud)

我有两个问题.

1)为什么编译器为第二个函数提供此错误(不能将不可变值作为inout参数传递:从'Int'到'Any'的隐式转换需要临时的)

2)Generic类型和Any之间有什么区别

Dáv*_*tor 8

Any与泛型无关,它只是一个Swift类型,可以用来表示任何类型的实例,包括函数类型(参见官方文档),因此你可以将任何类型的实例转换为Any.但是,在使用Any特定类型时,Any如果要访问特定于子类的函数/属性,则必须将实例强制转换为实际类型.

使用泛型时,不涉及任何转换.泛型允许您实现一个适用于满足类型约束的所有类型的函数(如果指定任何类型),但是当在特定类型上调用函数时,它实际上将使用特定类型而不是非特定类型,喜欢Any.

通常,使用泛型来解决这类问题是一种更好的解决方案,因为泛型在编译时是强类型的,而向上/向下转换是在运行时发生的.

  • @KarenKarapetyan `Any` 是 [顶级类型](https://en.wikipedia.org/wiki/Top_type)。它是所有类型的超类型,因此所有类型都是它的子类型。 (2认同)
  • 正如@Hamish所写,"Any"可以被认为是顶级类型,但是从Swift 3开始,[它被实现并记录为内置关键字](/sf/ask/3172702081/任何声明实现在swift-3-and -wards中的意思,意味着继承在这里并不是严格意义上的(而是全能的_"可表示性",而不是"任何"是一个明确定义的生物它自己的. (2认同)