具有通用协议类型变量的通用协议

Question

如何创建通用协议，该通用协议具有另一种通用协议的类型？

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

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

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

BTW甚至低于代码不编译

代码：

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 } 
} 

注意，有一个额外的AnyHeap类符合Heap。 AnyHeap是 a 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 
    }) 
}