在Swift中，如何在类型参数受协议约束的泛型类中使用关联类型？

Question

在Swift中，我有一个像这样的协议：

protocol P {
    associatedtype T
    func f(val:T)
}

我想定义一个这样的类：

class B<X:P> {
}

然后在类B中使用associatedtype T。

我已经试过了：

class B<X:P> {
    var v:T // compiler says "Use of undeclared type"

    init() {
    }
}

我也尝试过这个：

class B<X:P, Y> {
    typealias T = Y
    var v:T

    init() {
    }

    func g(val:X) {
        val.f(val: v) // compiler says "Cannot invoke 'f' with an argument list of type '(val:Y)'
    }
}

有什么建议么？

Answer 1

T是占位符类型X的关联类型，因此您将其称为XT 。 例：

class B<X: P> {
    var v: X.T

    init(v: X.T) {
        self.v = v
    }

    func g(x: X) {
        x.f(val: v)
    }
}