Swift中泛型ObjC父类子类的参数接收与返回值处理

两个底层规则直接导致了你遇到的所有编译错误：

• Swift 原生泛型默认遵循不变性原则：Parent<SubType1> 和 Parent<Type> 在Swift类型系统中是完全独立的两种类型，不存在自动的向上转换关系，哪怕前者是带不同泛型参数的子类。
• 你定义的带__kindof约束的ObjC泛型类，在导入Swift时并不会自动保留ObjC层面的协变特性，编译器只会将其作为普通的Swift泛型类处理，不会自动开放泛型参数的兼容转换。
• 你第二次尝试的泛型约束写法本身就不成立：where T: Parent<Type> 要求传入的类型必须是“泛型参数为Type的Parent子类”，但SubParent1实际继承自Parent<SubType1 *>，根本不满足这个约束，编译器找不到匹配的类型，自然会抛出“类型歧义”的错误。

因为你无法修改现有ObjC类的定义，以下两个方案完全可以满足你“仅访问Parent公共属性”的需求：

方案1：使用非泛型Parent作为参数类型 #

直接声明不带泛型参数的Parent作为入参类型，这是最简单的实现方式，完全不存在编译错误：

func callFunc(parent: Parent) {
    // 可直接访问Parent类上定义的所有原有属性：anArray、anObject
    // 导入Swift时，这两个属性的类型会自动适配为 Any? / [Any]?
    print(parent.anArray ?? "空数组")
    print(parent.anObject ?? "空对象")
}

// 所有调用完全合法
callFunc(parent: SubParent1())
callFunc(parent: SubParent2())

针对你提出的“非泛型Parent类型能否做向下类型转换”的问题，答案是完全可以：

// 拿到具体子类型的判断逻辑
if let sub1 = parent as? SubParent1 {
    // 处理SubParent1的专属逻辑
} else if let sub2 = parent as? SubParent2 {
    // 处理SubParent2的专属逻辑
}

注意：ObjC泛型类不带泛型参数的版本，会自动作为所有带泛型参数实例的公共基类存在，不存在类型兼容问题。

方案2：正确的泛型约束写法 #

如果你希望保留泛型的类型语义，不直接降级为非泛型基类，之前的约束条件写错了，正确的写法是不对泛型参数做额外约束，只要求类型是任意版本的Parent子类即可：

func callFunc<T>(parent: T) where T: Parent {
    // 同样可以正常访问Parent上的公共属性
    print(parent.anArray ?? "空")
}

// 调用无编译错误
callFunc(parent: SubParent1())
callFunc(parent: SubParent2())

你写的枚举方法报“类型歧义”的核心原因是：这个方法定义的泛型T是由调用方决定的，而不是由内部存储的枚举关联值决定的。
编译器在解析方法时，根本不知道你返回的泛型T到底是SubType1还是SubType2，自然无法把内部不同分支返回的Parent<SubType1>/Parent<SubType2> 匹配到任意由调用方指定的T上。
这类需求本身就不适合用“由调用方指定泛型参数”的写法实现，因为返回类型本质是由存储的关联值动态决定的，不是调用方可以提前指定的。

可行实现 #

直接去掉方法上的泛型，返回非泛型的Parent?类型即可，完全能满足获取Parent实例的需求：

enum AnEnum {
    case subParent1(_ : SubParent1)
    case subParent2(_ : SubParent2)
    
    func subParent() -> Parent? {
        switch self {
        case .subParent1(let sub1):
            return sub1 // SubParent1是Parent的子类，直接返回合法
        case .subParent2(let sub2):
            return sub2 // SubParent2同样是Parent的子类
        }
    }
}

调用时如果需要拿到具体的子类型，再通过向下类型转换获取即可：

let testEnum: AnEnum = .subParent1(SubParent1())
if let concreteSub1 = testEnum.subParent() as? SubParent1 {
    // 正常使用具体类型的实例
}

明确说明：没有任何合规的Swift语法可以让同一个函数在不同分支返回不同泛型参数的Parent<T>类型，因为Swift泛型在函数编译阶段就必须完全确定，不能随内部分支动态变化——强行这么写必然和泛型不变规则冲突。

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