带Self约束的扩展中使用不透明结果类型静态函数引发EXC_BAD_ACCESS崩溃

问题复现 #

以下代码在跨文件调用静态函数leet()时会触发EXC_BAD_ACCESS错误：

定义文件代码 #

protocol IntValue {
    func getValue() -> Int
}

struct LeetValue: IntValue {
    func getValue() -> Int {
        1337
    }
}

extension IntValue where Self == LeetValue {
    static func leet() -> some IntValue {
        LeetValue()
    }
}

func printValue(_ value: IntValue) {
    print("value: \(value.getValue())")
}

调用文件代码 #

printValue(.leet()) // 触发EXC_BAD_ACCESS崩溃

观察到的现象 #

• 若扩展与调用代码在同一文件中，不会崩溃
• 若将静态函数改为计算属性static var leet: some IntValue，跨文件调用printValue(.leet)也不会崩溃

原因分析 #

这是Swift 5.7.2的编译器bug，和不透明类型在带Self约束的扩展中的符号解析逻辑有关：

• 不透明结果类型确实是编译时确定具体类型（此处就是LeetValue），但跨文件场景下，编译器没有正确生成或导出该静态函数的类型元数据，导致运行时无法正确识别返回值的类型，进而触发内存访问错误。
• 同一文件调用时，编译器能直接推导类型，无需跨文件解析符号，因此无问题；计算属性的符号生成逻辑和静态函数不同，恰好规避了这个bug。

这并非误用不透明结果类型，属于编译器实现上的缺陷。

解决方案 #

可以通过以下几种方式规避该问题：

1. 返回具体类型：直接返回LeetValue而非不透明类型，类型明确，编译器能正确处理

static func leet() -> LeetValue {
    LeetValue()
}

2. 返回Self：利用扩展的Self == LeetValue约束，返回Self效果和具体类型一致

static func leet() -> Self {
    LeetValue()
}

3. 改用计算属性：如你已经发现的，这种写法能绕过编译器bug
4. 升级Swift版本：Swift 5.8及以上版本已修复该问题，升级后跨文件调用静态函数不会再崩溃

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