如何让自定义MyPublisher协议实例像普通Publisher一样调用操作符？

问题根源 #

你定义的MyPublisher协议通过where约束固定了Output = MyType、Failure = Never，但返回any MyPublisher存在类型时，Swift编译器无法为Combine的泛型操作符（如map）推断出具体关联类型信息，导致调用失败；而去掉where约束后，assign方法需要明确的Output和Failure类型，同样会触发报错。

解决方案1：用泛型约束替代存在类型返回 #

将makeMyPublisher改为泛型函数，通过泛型约束限定返回遵循MyPublisher的具体类型，而非存在类型：

import Combine

protocol MyPublisher: Combine.Publisher where Output == MyType, Failure == Never {}

struct MyType {}

struct MyPublisherImpl: MyPublisher {
    func receive<S>(subscriber: S) where S : Subscriber, Failure == S.Failure, Output == S.Input {
        // 实现订阅逻辑
    }
}

func makeMyPublisher<T: MyPublisher>() -> T {
    return MyPublisherImpl() as! T
}

// 使用示例
let publisher = makeMyPublisher()
publisher.map { _ in "transformed" }
    .assign(to: \.text, on: UILabel())

解决方案2：为MyPublisher协议扩展操作符 #

直接在MyPublisher协议上扩展Combine操作符，让存在类型也能调用：

import Combine

protocol MyPublisher: Combine.Publisher where Output == MyType, Failure == Never {}

struct MyType {}

struct MyPublisherImpl: MyPublisher {
    func receive<S>(subscriber: S) where S : Subscriber, Failure == S.Failure, Output == S.Input {
        // 实现订阅逻辑
    }
}

// 为MyPublisher扩展常用操作符
extension MyPublisher {
    func map<T>(_ transform: @escaping (Output) -> T) -> AnyPublisher<T, Failure> {
        self.eraseToAnyPublisher().map(transform)
    }
    
    func filter(_ isIncluded: @escaping (Output) -> Bool) -> AnyPublisher<Output, Failure> {
        self.eraseToAnyPublisher().filter(isIncluded)
    }
    // 按需扩展其他操作符
}

func makeMyPublisher() -> any MyPublisher {
    return MyPublisherImpl()
}

// 使用示例
let publisher = makeMyPublisher()
publisher.map { _ in 123 }
    .assign(to: \.tag, on: UIView())

解决方案3：直接用AnyPublisher做类型擦除 #

如果不需要自定义协议，Combine官方的AnyPublisher是更简单的实现方式，直接隐藏内部实现细节：

import Combine

struct MyType {}

struct MyPublisherImpl: Combine.Publisher {
    typealias Output = MyType
    typealias Failure = Never
    
    func receive<S>(subscriber: S) where S : Subscriber, Failure == S.Failure, Output == S.Input {
        // 实现订阅逻辑
    }
}

func makeMyPublisher() -> AnyPublisher<MyType, Never> {
    return MyPublisherImpl().eraseToAnyPublisher()
}

// 使用示例
let publisher = makeMyPublisher()
publisher.map { _ in "hello" }
    .assign(to: \.text, on: UILabel())

关键说明 #

• 方案1通过泛型保留具体类型信息，规避存在类型的限制，但调用时需依赖类型推断或明确泛型参数。
• 方案2适合必须保留自定义协议的场景，通过扩展适配操作符到存在类型。
• 方案3是Combine官方推荐的类型擦除方案，无需自定义协议就能实现细节隐藏，代码最简洁。

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