为什么使用 Self 作为返回类型不被视为协议的约束？

Question

这是 Swift 中有效的协议声明：

protocol Proto1: class {
    func method1() -> Self
    func method2() -> [Proto1]
}

但这不是：

protocol Proto2: class {
    func method1(param: Self)
    func method2() -> [Proto2]
}

错误信息是：

Protocol 'Proto2' 只能用作通用约束，因为它 有 Self 或关联的类型要求

看来，当使用Self 作为函数的返回类型时，Swift 并不认为这是对正在定义的协议的约束，因此可以使用协议本身作为函数的返回类型。但是当使用Self作为函数的参数类型时，行为就完全不同了。

我想知道为什么会有这样的差异？

Answer 1

因为将Self 作为方法的参数类型没有用处。假设你可以做：

protocol P {
    func f(_ x: Self)
}

class A: P {
    func f(_ x: Self) {
        // not relevant
    }
}

class B: A { }

现在假设我有：

func g(x: A) {
    // what can I do with x?
}

事实上，没有办法调用x.f。因为我可以将B 的实例传递给x，在这种情况下x.f 将接受B。 x 可能是 A 的任何子类的实例，我在编译时无法知道，所以我不知道我可以传递给 x.f 什么。

---

将其与用作返回类型的Self 进行比较：

protocol P {
    func f() -> Self
}

// Implementation:
class A: P {
    func f() -> Self {
        self
    }
}

class B: A { }

func g(x: A) {
    let foo: A = x.f()
}

在这里，我们知道我可以至少将x.f 的返回值分配给A 类型的变量。即使x 是B 的一个实例，这意味着f 返回一个B，我们仍然可以将它分配给A 类型的变量。