swift - 如何在 Swift 中为可选类型编写泛型约束？

Question

一旦我写了一个泛型约束，它只适合普通类型，而不适合可选类型。当我将其称为可选类型时，它会导致编译器错误:Type 'SomeType?不符合协议(protocol) SomeProtocol'。

示例代码如下:

protocol P {}

class C<T> {}

extension C where T: P {
    static func test() {}
}

extension Int: P {} // OK
C<Int>.test() // OK


extension Int?: P {} // Fail, but I need it
C<Int?>.test() // Fail, but I need it

---

更新:

我想办法解决它。

这是示例代码。

protocol P {}

class C<T> {}

extension C where T: P {
    static func test() {}
}

extension Int: P {} // OK
C<Int>.test() // OK

protocol OptionalProtocol {
    associatedtype WrappedType
}

extension Optional: OptionalProtocol {
    typealias WrappedType = Wrapped
}

extension C where T: OptionalProtocol, T.WrappedType==Int {
    static func test() {}
}

C<Int?>.test() // OK now

Answer 1

目前无法做到这一点。

extension Optional: P where Wrapped == Int {}

如果我们尝试扩展 Optional，其中 Wrapped 被限制为 Int，编译器会提示“带有约束的扩展不能有继承子句".

注意:这目前正在 SE-0143 下进行提案，应该会出现在 Swift 的 future 版本中。