专门针对协议继承的通用功能需求

Question

我的代码中有一些协议层次结构，其中有定义我使用的对象的协议和定义与这些对象一起使用的函数的协议。

对象协议被其他对象协议继承，这些协议向原始协议添加了更多功能，使用它们的功能也是如此。问题是我找不到专门化函数以仅采用继承参数的方法。

这里有一些代码来说明我想要做什么：

protocol A {
    var foo: String { get set }
}
protocol B: A {
    var bar: String { get set }
}

struct Test: B {
    var foo: String = "foo"
    var bar: String = "bar"
}

protocol UseAProtocol {
    static func use<T: A>(_ obj: T)
}

protocol UseBProtocol: UseAProtocol {
}

extension UseBProtocol {
    //If I change the requirement to <T: B> this won't conform to `UseAProtocol`.
    static func use<T: A>(_ obj: T) {
        print(obj.foo)
        // print(obj.bar) - Since obj does not conform to `B` I can't access ".bar" here without a forced casting.
    }
}

struct Manager: UseBProtocol {
}

Manager.use(Test())

我想做的是让UseBProtocol 上的use 函数只接受符合B 的对象。 B 继承自 A，但是当我从 <T:A> 更改为 <T:B> 时出现错误，提示 Manager 不符合 UseAProtocol，我必须将其改回 <T:A>。

我知道我可以在继承协议上使用 associatedtype 和 where 子句来做到这一点——这就是我今天使用的——但我想将通用要求移到方法中，这样我就可以将所有这些组合在一起相同的结构（我有很多这种层次结构，通过使用associatedtype，我必须按层次结构使用一个结构）。当条件一致性来到 Swift 时，associatedtype 就可以实现，但直到他们......

我也可以使用as! 来强制在UseBProtocol 实现上从A 强制转换为B，但这是一个非常糟糕的解决方案，并且只会在运行时抛出错误。

有什么方法可以实现我想要的吗？

Answer 1

看起来您实际上正在寻找的是UseAProtocol 中的associatedType，而不是使use 函数通用。

通过在UseAProtocol 中声明关联类型并将use 的函数签名更改为static func use(_ obj: ProtocolType)，您的代码可以正常编译，并且您可以从Manager 访问foo 和bar。

protocol AProtocol {
    var foo: String { get set }
}
protocol BProtocol: AProtocol {
    var bar: String { get set }
}

struct Test: BProtocol {
    var foo: String = "foo"
    var bar: String = "bar"
}

protocol UseAProtocol {
    associatedtype ProtocolType
    static func use(_ obj: ProtocolType)
}

protocol UseBProtocol: UseAProtocol {
}

extension UseBProtocol {
    static func use(_ obj: BProtocol) {
        print(obj.foo)
        print(obj.bar)
    }
}

struct Manager: UseBProtocol {
}

Manager.use(Test()) //prints both "foo" and "bar"