Comparing type of Generic associated type in Swift

Question

I have the next code:

protocol Flyable {
  var airspeedVelocity: Double { get }
}

func topSpeed<T: CollectionType where T.Generator.Element == Flyable>(collection: T) -> Double {
  return collection.map { $0.airspeedVelocity }.reduce(0) { max($0, $1) }
}

I understood, by reading the Swift Documentation that:

You write a where clause by placing the where keyword immediately after the list of type parameters, followed by constraints for associated types or equality relationships between types and associated types.

This is the example given on the docs:

func allItemsMatch<C1: Container, C2: Container where 
C1.ItemType == C2.ItemType, C1.ItemType: Equatable> 
(someContainer: C1, _ anotherContainer: C2) -> Bool {
    // code
}

Note that when expressing that the associated type ItemType of the C1 type must conform to Equatable protocol you use : and not ==, why is that not the case in my example, where I have to use == to state that the Element associated type of T.Generator must conform with Flyable?

When changing == with : the compiler complains with this:

error: cannot invoke 'topSpeed' with an argument list of type '([Flyable])' note: expected an argument list of type '(T)'

Rahul Katariya Rahul Katariya · Accepted Answer · 2016-04-13T01:53:16

You can achieve this without using Generics.

protocol Flyable {
    var airspeedVelocity: Double { get }
}

func topSpeed(collection: [Flyable]) -> Double {
    return collection.map { $0.airspeedVelocity }.reduce(0) { max($0, $1) }
}

class Airplane: Flyable {

    var airspeedVelocity: Double = 10

}

class Rocket: Flyable {

    var airspeedVelocity: Double = 50

}

topSpeed([Airplane(),Rocket()]) //50

Comparing type of Generic associated type in Swift

2 Answers