Swift：泛型组合两个Operation的编译问题及解决咨询

你的代码编译失败，核心原因不是“禁止泛型间的赋值操作”，而是存在类型匹配的不确定性。any CombinedOperation作为存在类型，它的In和Out关联类型在编译阶段无法被编译器验证是否兼容——你无法保证第一个操作的Out类型恰好等于第二个操作的In类型，所以直接执行self.secondOperation.inData = self.firstOperation.outData会触发类型检查错误。

解决方案：通过泛型约束明确类型兼容性 #

将CombinationsOfTwoOperations改为泛型类，通过泛型约束强制两个操作的输入输出类型匹配，让编译器能确定赋值的合法性：

import Foundation

protocol OperationDataInterface {
    associatedtype In
    associatedtype Out
    
    var inData: In { get set }
    var outData: Out { get set }
}

typealias CombinedOperation = Operation & OperationDataInterface

// 泛型类，约束第一个操作的输出类型等于第二个操作的输入类型
class CombinationsOfTwoOperations<FirstOp: CombinedOperation, SecondOp: CombinedOperation> where FirstOp.Out == SecondOp.In {
    private let firstOperation: FirstOp
    private let secondOperation: SecondOp
    private var joinOperation: Operation?
    
    init(firstOp: FirstOp, secondOp: SecondOp) {
        self.firstOperation = firstOp
        self.secondOperation = secondOp
    }
    
    func build() {
        joinOperation = BlockOperation { [unowned self] in
            // 编译器已通过泛型约束确认类型匹配，赋值合法
            self.secondOperation.inData = self.firstOperation.outData
        }
        
        guard let joinOp = joinOperation else { return }
        joinOp.addDependency(firstOperation)
        secondOperation.addDependency(joinOp)
    }
}

关键修正点说明 #

• 泛型约束where FirstOp.Out == SecondOp.In：直接限定第一个操作的输出类型必须与第二个操作的输入类型一致，从根源消除类型不匹配的风险。
• 替换存在类型为具体泛型参数：将firstOperation和secondOperation的类型从any CombinedOperation改为具体的泛型参数类型，让编译器能明确识别它们的关联类型。
• 修复未初始化变量问题：原代码中joinOperation在初始化时未赋值，改为可选类型并在build中初始化，解决额外的编译错误。

如果需要支持更灵活的类型适配（比如通过转换让不同类型的操作串联），可以在build方法中加入类型转换逻辑，或者扩展OperationDataInterface增加转换能力，但核心思路始终是让编译器能明确类型兼容性。

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