为什么我们在这里需要一个泛型？协议还不够吗？

Question

我在网上找到了以下关于将泛型与协议一起使用的示例，但是我不明白为什么我们需要泛型，而我们所需要的只是使用协议。

我们定义一个协议：

protocol Healthy {
    mutating func setAlive(status: Bool)
    var health: Int { get }
}

然后是一个使用通用协议的函数

func check<T:Healthy>(inout object: T) {
    if (object.health <= 0) {
        object.setAlive(false)
    }
}

我修改了如下代码，一切正常。

func check( object: inout Healthy) {
    if (object.health <= 0) {
        object.setAlive(status: false)
    }
}

还是不行？

我能想到在那里使用泛型的唯一原因是，如果它是一个具有关联类型的协议并且它不能用作实例。

Answer 1

因为这是使用 inout（呃）而不是 returning 值意味着不需要泛型。

当我为此示例使用泛型时，如果方法签名是这样的...

func check<T:Healthy>(object: T) -> T {
}

这将确保传入的对象类型和 returned 的类型是相同的类型。

如果没有泛型，您可以传入一个实例...

struct A: Healthy {}

和return一个...

的实例

struct B: Healthy {}

嗯...也许 inout 仍然是这种情况。您可以创建另一个符合协议的结构并将 object 更改为新结构的实例吗？也许......稍后必须检查。

Answer 2

他们表达不同的东西。随着

func check(object: inout Healthy) {

object 参数可以是任何 Healthy 符合实例。因此，您可以这样做：

protocol Healthy {}

struct Foo : Healthy {}
struct Bar : Healthy {}

func check(object: inout Healthy) {
    object = Bar()
}

var h: Healthy = Foo()
check(object: &h)
print(h) // Bar()

我们调用了 check(object:) 并传递了 h（其中包含一个 Foo 实例）作为 inout 参数，但最终 h 包含了一个Bar实例。

您会注意到，这意味着我们不能简单地使用具体类型的 inout 参数调用 check(object:)。以下不编译：

var h = Foo()

// compiler error: Cannot pass immutable value as inout argument: 
// implicit conversion from 'Foo' to 'Healthy' requires a temporary
check(object: &h)

因为 check(object:) 可以将任意 Healthy 符合实例分配给 object 参数，这不能分配给 Foo变量。

但是，

func check<T : Healthy>(object: inout T) {

object 参数是一个 特定的 具体类型，它符合 Healthy（并且该类型在调用站点得到满足）。你不能只给它分配一个任意的符合 Healthy 的实例，因为它可能与作为 inout 参数传递的变量类型不兼容。

因此现在允许您使用具体类型的 inout 参数调用它。我们现在可以说：

protocol Healthy {
    var alive: Bool { get set }
}

struct Foo : Healthy {
    var alive: Bool
}
struct Bar : Healthy {
    var alive: Bool
}

func check<T : Healthy>(object: inout T) {

    object.alive = false

    // illegal
    // object = Bar()
}

var h = Foo(alive: true)
check(object: &h)

(注意h可以打成Foo)

因此在大多数情况下，您可能希望使该方法具有通用性，而不是使用协议类型的 inout 参数，因为您可能希望处理具体类型。

为什么我们在这里需要一个泛型？协议还不够吗？

Why do we need a generic here? Isn't the protocol enough?

generics

swift

swift-protocols