你能检查一个类型（不是实例）是否是另一个类型的子类吗？

Question

鉴于此代码...

class Vehicle{}

class Car : Vehicle {}

class Honda : Car {}

你会如何写下面的函数'findFirst'...

class TypeManager {

    var managedTypes:[Any.Type]?

    func findFirst(_ type:Any.Type) -> Any.Type? {
        return managedTypes.first{ t in t is type.Type } // <-- Doesn't like 'type'
    }
}

var typeManager = TypeManager()
typeManager.managedTypes = [
    String.self,
    Int.self,
    Honda.self
]

let firstCarType = typeManager.findFirst(Car.Type)

注意：这实际上是对字典进行反向键查找。在一个完美的解决方案中，我首先尝试在“类型”上找到一个完全匹配的，如果没有找到，就选择一个“类型”的子类。我只是简化了（伪造的）代码以专注于匹配部分。

Answer 1

要扩展 Martin R's great answer，您可以进行如下的数组扩展：

extension Array {
    func first<T>(ofType: T.Type) -> T.Type?  {
        return first { $0 is T.Type } as? T.Type
    }
    func first<T>(ofExactType type: T.Type) -> T.Type? {
        return first { $0 as? Any.Type == type } as? T.Type
    }
}

class Vehicle {}
class Car : Vehicle {}
class Honda: Car {}

let carTypes = [Honda.self, Vehicle.self, Car.self] // Inferred type [Vehicle]
print(carTypes.first(ofType: Car.self) ?? "n/a") // prints Honda
print(carTypes.first(ofExactType: Car.self) ?? "n/a") // prints Car

另外，仅供参考，$0 as? Any.Type == type 与 $0 as? Any.Type == T.self 相同。任何一个都可以。

Answer 2

类是元类型的实例，可以通过is 和as? 进行检查。 您可以使用泛型函数来传递所寻求的类型：

class TypeManager {

    var managedTypes:[Any.Type] = []

    func findFirst<T>(_: T.Type) -> Any.Type? {
        return managedTypes.first { $0 is T.Type }
    }
}

例子：

if let firstCarType = typeManager.findFirst(Car.self) {
    print(firstCarType) // Honda
}

或者使用条件绑定和compactMap：

class TypeManager {

    var managedTypes:[Any.Type] = []

    func findFirst<T>(_: T.Type) -> T.Type? {
        return managedTypes.compactMap { $0 as? T.Type }.first
    }
}

这样做的好处是返回的类型是T.Type? 而不是Any.Type?。 （如果列表很大并且需要短路，请使用managedTypes.lazy.compactMap。）