SwiftUI中带关联类型的@State读写属性编译错误解决咨询

这个编译错误的核心在于Swift的类型擦除机制与@State的存储要求冲突：

• 当你用any A声明@State属性时，编译器会对协议A进行类型擦除，但协议包含带关联类型的读写属性时，编译器无法确定关联类型的具体实现（比如UnitMass/UnitArea）的内存布局，而@State需要明确的内存信息来管理属性的存储和突变。
• 只读属性（{ get }）不需要处理突变，编译器只需生成读取逻辑的擦除代码，因此可以正常编译；但读写属性需要支持修改，类型擦除后无法统一不同关联类型的存储逻辑，导致编译失败。

方案1：使用泛型View（优先推荐，无类型擦除问题） #

如果不需要在运行时动态切换不同的A实现，直接给ContentView添加泛型约束，让编译器明确具体类型：

struct ContentView<T: A>: View {
    @State var a: T

    var body: some View {
        Text("\(a.units.count)")
    }
}

// 使用时传入具体实现类型
ContentView(a: B())

这种方式完全避开类型擦除，@State能正常处理泛型类型的存储和突变，编译和运行都不会有问题。

方案2：创建类型擦除包装器（支持动态切换实现） #

如果必须在运行时使用不同的A实现，需要手动实现一个类型擦除的包装器，把关联类型的读写操作封装起来，让包装器满足Hashable和@State的存储要求：

// 类型擦除的包装器
struct ErasedA: Hashable {
    private var base: any A
    
    // 初始化时传入具体的A实现
    init<T: A>(_ base: T) {
        self.base = base
    }
    
    // 封装units的读写逻辑
    var units: [any Dimension] {
        get { base.units.map { $0 as any Dimension } }
        set {
            // 确保传入的数组能转换为当前base的关联类型数组
            guard let typedUnits = newValue as? [type(of: base).UnitType] else {
                return
            }
            // 因为是值类型，需要创建可变副本修改后替换原实例
            var mutableBase = base
            mutableBase.units = typedUnits
            base = mutableBase
        }
    }
    
    // 实现Hashable协议
    func hash(into hasher: inout Hasher) {
        base.hash(into: &hasher)
    }
    
    static func == (lhs: ErasedA, rhs: ErasedA) -> Bool {
        lhs.base == rhs.base
    }
}

// 修改ContentView使用包装器
struct ContentView: View {
    @State var a: ErasedA

    var body: some View {
        Text("\(a.units.count)")
    }
}

// 使用时传入包装后的实例
ContentView(a: ErasedA(B()))

注意：如果需要修改关联类型属性，要确保传入的新值类型与当前base的关联类型匹配，否则修改会被忽略（可以根据需求添加错误处理逻辑）。

方案3：重构协议，移除关联类型（如果业务允许） #

如果业务场景不需要关联类型，可以把协议中的UnitType直接替换为any Dimension，这样协议就不需要关联类型，读写属性也能正常编译：

protocol A: Hashable {
    var units: [any Dimension] { get set }
}

struct B: A {
    var units: [any Dimension] = [UnitMass.grams]
}

struct ContentView: View {
    @State var a: any A

    var body: some View {
        Text("\(a.units.count)")
    }
}

这种方式最简单，但会失去关联类型的类型安全优势，需要根据业务需求权衡。

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