Swift中Protocol与泛型结合的类型约束问题

核心问题分析 #

你遇到的问题根源在于：

1. 原Store协议没有主关联类型，无法直接用Store<State, Effect>的泛型语法约束类型；
2. 使用any Store会触发类型擦除，导致编译器无法确定state/effect的具体类型，进而无法直接访问这些属性。

解决方案步骤 #

1. 给Store协议添加主关联类型

Swift 5.7及以上支持主关联类型，让协议可以像泛型类型一样通过尖括号指定关联类型约束，修改后的Store协议如下：

protocol Store<State, Effect> {
    associatedtype State : Any
    associatedtype Effect : Any

    var state: AnyPublisher<State, Never> { get }
    var effect: AnyPublisher<Effect, Never> { get }
}

添加<State, Effect>标记后，Store就具备了主关联类型，后续可以用Store<State, Effect>的形式表达“符合Store协议且关联类型为指定State/Effect”的类型约束。

2. 调整Container协议约束store类型

有两种方式实现store与Container的State/Effect关联一致：

方式一：使用不透明类型some（推荐，隐藏具体实现）

用some Store<State, Effect>约束store，既保证类型匹配，又对外隐藏具体的Store实现类：

protocol Container {
    associatedtype State : Any
    associatedtype Effect : Any
    associatedtype Intent : Any
    
    var store: some Store<State, Effect> { get }
    
    func post(intent: Intent)
}

方式二：使用关联类型暴露具体Store类型

如果需要对外明确store的具体类型，可以新增关联类型并约束为Store<State, Effect>：

protocol Container {
    associatedtype State : Any
    associatedtype Effect : Any
    associatedtype Intent : Any
    associatedtype StoreType: Store<State, Effect>
    
    var store: StoreType { get }
    
    func post(intent: Intent)
}

实现示例 #

以方式一为例，编写具体的实现类：

// 具体Store实现
class ConcreteStore: Store {
    typealias State = String
    typealias Effect = Int
    
    var state: AnyPublisher<String, Never> {
        Just("initial state").eraseToAnyPublisher()
    }
    
    var effect: AnyPublisher<Int, Never> {
        Empty().eraseToAnyPublisher()
    }
}

// 具体Container实现
class ConcreteContainer: Container {
    typealias State = String
    typealias Effect = Int
    typealias Intent = Bool
    
    var store: some Store<String, Int> {
        ConcreteStore()
    }
    
    func post(intent: Bool) {
        // 处理Intent逻辑
    }
}

此时订阅container.store.state时，编译器能明确推断出类型为AnyPublisher<String, Never>，不会再出现类型擦除的报错。

补充说明 #

对于从Kotlin转Swift的开发者，主关联类型的作用类似Kotlin中接口的泛型参数，让协议的泛型约束语法更直观。如果需要使用类型擦除的any Store<State, Effect>（比如在集合中存储不同的Container实例），也可以直接用该语法，此时访问state/effect时类型是明确的，不会报错。

内容的提问来源于stack exchange，提问作者Bastien Le Bret