Swift中如何将类作为参数传入函数进行类型比较？

这个坑我之前踩过！Swift里的元类型（T.Type）用法确实和Objective-C的Class有差异，你遇到的Use of undeclared type 't1'报错，核心原因是**is运算符要求后面跟具体的类型名，而不是元类型的实例变量**——编译器把t1当成了一个类型标识符去查找，但t1其实是你传入的T.Type变量，自然找不到对应的类型。

下面给你三种不同场景的解决方案，按需选择：

1. 精确匹配动态类型（和type(of:)对比） #

如果你只需要检查元素的实际运行时类型和传入的元类型完全一致（不包含子类），可以直接用type(of:)获取元素的动态类型，再和t1做相等比较：

func someFunc<T, U>(t1: T.Type, t2: U.Type) {
    let k = someArray.first { type(of: $0) == t1 }
    // 后续逻辑处理
}

注意：这种方式和is的行为不同，is会判断元素是否是该类型或其子类，而这里是精确匹配类型本身。

2. 兼容子类的类型检查（依赖Objective-C runtime） #

如果你的数组元素都是继承自NSObject的类类型，想要实现类似Objective-C里isKindOfClass:的效果（包含子类检查），可以用isKind(of:)方法：

// 添加泛型约束，确保T、U是NSObject的子类
func someFunc<T: NSObject, U: NSObject>(t1: T.Type, t2: U.Type) {
    let k = someArray.first { ($0 as AnyObject).isKind(of: t1) }
    // 后续逻辑处理
}

这种方式完全对应你熟悉的Objective-C类比较逻辑，但只适用于类类型，且依赖Objective-C runtime。

3. 支持所有类型的通用检查（纯Swift实现） #

如果要支持值类型（比如struct、enum）或者不想依赖Objective-C，可以写一个辅助泛型函数来封装类型检查逻辑：

// 辅助函数：检查value是否是type类型或其子类/实现
func isInstanceOf<T>(_ value: Any, type: T.Type) -> Bool {
    value is T
}

func someFunc<T, U>(t1: T.Type, t2: U.Type) {
    let k = someArray.first { isInstanceOf($0, type: t1) }
    // 后续逻辑处理
}

这个方法利用了Swift泛型的特性，在辅助函数内部，T会被推断为传入的t1对应的具体类型，此时value is T就能正确执行类型检查，完美替代你原本想写的$0 is t1逻辑。

内容的提问来源于stack exchange，提问作者Gargo