Swift使用some声明关联类型协议属性init赋值报错原因分析

核心原因 #

Swift 的不透明类型（some 修饰的类型）有一个强制规则：底层具体类型必须在编译期确定唯一且固定，类型推断必须在属性声明阶段完成，不能推迟到初始化方法的执行逻辑中扫描推断。

两种写法的差异 #

1. 报错写法的问题

你将属性声明和赋值拆分到了两个阶段：

class someClass : ObservableObject {
    // 编译器解析到这一行时，需要立刻确定 some doSomethingProtocol 对应的具体类型
    private var reference : some doSomethingProtocol

    init(){
         // init 方法的实现是属性类型检查完成之后的步骤，编译器不会扫描 init 内部的赋值逻辑来反推属性的底层类型
         reference = doSomethingClass()
    }
}

编译器在解析类结构、检查属性类型合法性的阶段，没有在属性声明行找到可以用来推断类型的初始化表达式，因此直接抛出错误。

2. 正常编译写法的逻辑

你在声明属性的同时直接赋值了具体实例：

class someClass : ObservableObject {
    // 编译器解析到这一行时，可直接通过赋值的 doSomethingClass() 推断出 some doSomethingProtocol 的底层类型就是 doSomethingClass，满足编译期确定类型的要求
    private var reference : some doSomethingProtocol = doSomethingClass()

    init(){}
}

此时类型推断在属性声明阶段就能完成，符合不透明类型的语法规则，因此可以正常编译。

拓展：如果需要在 init 中动态传入遵循协议的实例，可改用泛型实现 #

如果你的需求是初始化时可以传入任意遵循 doSomethingProtocol 的实例，不透明类型无法满足该需求（它要求类型固定），可以把类改为泛型类：

class someClass<T: doSomethingProtocol> : ObservableObject {
    private var reference : T

    init(reference: T){
         self.reference = reference
    }
}

// 调用示例
let instance = someClass(reference: doSomethingClass())

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