具有泛型协议类型变量的泛型协议

Question

我如何创建一个具有另一个通用协议类型的通用协议？

在我的示例中，我有一个 Heap，它是一个泛型类型的协议，因为我的堆中可以有任何符合 Comparable 协议的元素。

所以在我的priorityQueue中，我也想将它作为一个协议（为了避免代码重复和练习）我希望我的priorityQueue包含一个Heap.T等于PriorityQueue.Item的堆，但我不不知道该怎么做。有什么想法吗？

当然我可以用“抽象类”来做，但这不是重点。

顺便说一句，下面的代码甚至无法编译

代码：

public protocol PriorityQueuable: Hashable {
    associatedtype KeyType: Comparable
    associatedtype ValueType: Comparable

    var key: KeyType { get set }
    var value: ValueType { get set }
}

protocol Heap {
    associatedtype T: Comparable

    var data: [T] { get set }

    mutating func heapify(parentIndex: Int)
}

protocol PriorityQueue {
    associatedtype Item: PriorityQueuable

    //FIXME: doesn't allow me to do that. Why?
    var heap: Heap<Item> { get set }

    // doesn't compile as well 
    // var heap: Heap { get set }   
}

Answer 1

此代码有效：

public protocol PriorityQueuable: Hashable {
    associatedtype KeyType: Comparable
    associatedtype ValueType: Comparable

    var key: KeyType { get set }
    var value: ValueType { get set }
}

protocol Heap {
    associatedtype T: Comparable

    var data: [T] { get set }

    mutating func heapify(parentIndex: Int)
}

class AnyHeap<U: Comparable>: Heap {
    public init(data: [U], heapify: @escaping (_ parentIndex: Int) -> ()) {
        self.data = data
        self.anyHeapify = heapify
    }

    var anyHeapify: (_ parentIndex: Int) -> ()
    var data: [U]
    func heapify(parentIndex: Int) {
        self.anyHeapify(parentIndex)
    }
}

protocol PriorityQueue {
    associatedtype Item: PriorityQueuable, Comparable

    var heap: AnyHeap<Item> { get set }   
}

请注意，还有一个符合 Heap 的附加 AnyHeap 类。 AnyHeap 是 Heap 由于多态性。 （注意Item必须符合Comparable才能符合协议Heap)实现这些协议非常容易：

class AQueueable: PriorityQueuable, Comparable {
    var hashValue: Int { return 1 }
    var key: String = "Hi"
    var value: String = "YoMaMa"
    static func < (lhs: AQueueable, rhs: AQueueable) -> Bool {
        // implement code
        return false
    }
    static func == (lhs: AQueueable, rhs: AQueueable) -> Bool {
        // implement code
        return false
    }
}

class AQueue: PriorityQueue {
    var heap: AnyHeap = AnyHeap<AQueueable>(data: [AQueueable](), heapify: { parentIndex in
        // implement code
    })
}