Swift基类静态方法创建子类型实例传入闭包时Self无法访问子类成员报错

编译错误的产生逻辑 #

这个报错和运行时实际类型没有任何冲突，本质是Swift对Self关键字的静态解析规则导致的：
Self在类上下文中的语义，会根据出现的位置产生完全不同的编译期行为：

• 当Self作为方法返回值类型出现时，语义为「匹配调用该方法时的实际类类型」，因此你代码里通过Bar.createSubtype()拿到的返回值，会正确对齐Bar的类型。
• 当Self作为方法输入参数类型（包括方法接收的闭包的参数类型）出现时，语义为「定义该方法的原始类本身」，也就是Foo，不会随调用方的子类类型动态变化。

对应到你的代码：
createSubtype是定义在Foo类中的方法，闭包参数的类型标注为(Self) -> Void，在编译器的静态校验逻辑里，这个位置的Self就是Foo本身，仅包含Foo类定义的所有成员。你在闭包里访问o.v时，编译器只会检查Foo是否定义了v属性，发现不存在就会抛出Value of type 'Self' has no member 'v'的错误。

这里有个高频混淆点：Swift的所有类型校验完全发生在编译阶段，属于静态语言的设计特性，编译器完全不感知代码运行时的实际类型。你打印看到的o运行时为Bar类型，是代码执行后的结果，这个信息不会反向参与编译期的语法校验，自然不会让编译器自动放开对Foo类型的成员访问限制。

强制类型转换可正常运行的原因 #

你写的(o as! Bar).v = 1能通过编译，本质是你手动给编译器提供了明确的类型提示：告知当前位置的代码，该变量的类型为Bar，请按Bar的规则校验成员访问，相当于绕开了参数位置上Self被解析为Foo的静态约束。

无需强制转换的实现方案 #

如果不想每次手动写类型转换，可以将方法的逻辑和泛型参数绑定，让编译器自动把闭包参数推导为具体的子类类型，示例修改如下：

class Foo {
    required init() {}
    static func createSubtype<T: Foo>(initialize: (T) -> Void) -> T {
        let instance = T()
        initialize(instance)
        return instance
    }
}

class Bar: Foo {
    var v: Int?
}

// 编译器会根据返回值上下文，自动将闭包参数o推导为Bar类型，可直接访问子类属性
let bar = Bar.createSubtype() { o in
    o.v = 1
}

该写法既保留了基类统一初始化的逻辑，也不需要手动做类型强转。

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