具有通用協議類型變量的通用協議

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