Swift代码类型检查错误：关联类型协议继承UIView引发问题

问题现象 #

当ResourceView协议继承自UIView时，执行resourceViews.map { $0.resource }会触发类型检查错误；但如果该协议仅继承自普通协议（非类类型），则代码可以正常编译运行。测试代码如下：

import UIKit

class SwiftTestController: UIViewController {
    override func viewDidLoad() {
        super.viewDidLoad()
        test()
    }
    
    func test() {
        let resourceViews: Array<any ResourceView> = []
        // 此处触发类型检查错误
        let resources = resourceViews.map { $0.resource }
    }
}

protocol ResourceComponent {}

// 正常编译的版本
//protocol ResourceView: ResourceComponent {
//    associatedtype R: Resource
//    var resource: R { get set }
//}

// 触发错误的版本（继承UIView）
protocol ResourceView: UIView, ResourceComponent {
    associatedtype R: Resource
    var resource: R { get set }
}

protocol Resource {}

原因分析 #

1. 类专属协议的类型限制：当协议继承自类（如UIView），该协议会成为类专属协议。Swift对于这类同时带有关联类型的类专属协议，在使用any存在类型进行集合操作时，编译器无法推断出map操作后数组的统一元素类型——因为每个遵循ResourceView的UIView子类，其关联类型R可以是任意遵循Resource的类型，编译器无法为存在类型集合推断出一个公共的返回类型。
2. 非类协议的推断灵活性：当协议仅继承自普通协议时，编译器对存在类型的关联类型推断逻辑更宽松，能够通过类型擦除处理集合中不同元素的关联类型，从而顺利完成map操作的类型检查。

修复方案 #

方案一：拆分协议与类继承职责 #

让ResourceView专注于资源相关的关联类型定义，具体的视图类自行继承UIView并遵循ResourceView协议：

import UIKit

class SwiftTestController: UIViewController {
    override func viewDidLoad() {
        super.viewDidLoad()
        test()
    }
    
    func test() {
        let resourceViews: Array<any ResourceView> = []
        let resources = resourceViews.map { $0.resource }
    }
}

protocol ResourceComponent {}

protocol ResourceView: ResourceComponent {
    associatedtype R: Resource
    var resource: R { get set }
}

// 具体视图类同时继承UIView并遵循ResourceView
class ImageResourceView: UIView, ResourceView {
    typealias R = ImageResource
    var resource: ImageResource = ImageResource()
}

protocol Resource {}
struct ImageResource: Resource {}

方案二：添加类型擦除的资源属性 #

在ResourceView协议中新增一个返回any Resource的属性，通过协议扩展提供默认实现，让编译器能够确定map后的数组类型：

import UIKit

class SwiftTestController: UIViewController {
    override func viewDidLoad() {
        super.viewDidLoad()
        test()
    }
    
    func test() {
        let resourceViews: Array<any ResourceView> = []
        // 使用类型擦除后的属性
        let resources = resourceViews.map { $0.erasedResource }
    }
}

protocol ResourceComponent {}

protocol ResourceView: UIView, ResourceComponent {
    associatedtype R: Resource
    var resource: R { get set }
    // 类型擦除的属性
    var erasedResource: any Resource { get }
}

// 协议扩展提供默认实现
extension ResourceView {
    var erasedResource: any Resource {
        return resource
    }
}

protocol Resource {}
struct ImageResource: Resource {}
class ImageResourceView: UIView, ResourceView {
    typealias R = ImageResource
    var resource: ImageResource = ImageResource()
}

方案三：使用泛型函数替代存在类型 #

如果不需要动态多态的集合，可以用泛型函数限定类型，让编译器明确推断出返回类型：

import UIKit

class SwiftTestController: UIViewController {
    override func viewDidLoad() {
        super.viewDidLoad()
        let views: [ImageResourceView] = []
        test(views: views)
    }
    
    // 泛型函数限定ResourceView的关联类型
    func test<R: Resource, V: ResourceView>(views: [V]) where V.R == R {
        let resources = views.map { $0.resource }
    }
}

protocol ResourceComponent {}

protocol ResourceView: UIView, ResourceComponent {
    associatedtype R: Resource
    var resource: R { get set }
}

protocol Resource {}
struct ImageResource: Resource {}
class ImageResourceView: UIView, ResourceView {
    typealias R = ImageResource
    var resource: ImageResource = ImageResource()
}

内容的提问来源于stack exchange，提问作者K.F