Xcode编译报错‘表达式类型缺少上下文无法确定’如何解决？

编译代码时遇到以下错误：
Type of expression is ambiguous without more context
奇怪的是该代码在另一台机器上可以正常运行。我查阅了相关帖子，但案例不符或仅给出我已尝试的通用方案（清理缓存、重启、重新安装pods）。我使用的是Xcode 13.4.1。

错误代码如下：

private var deleteDisposable: Disposable? 
func startDeleting() {
    deleteDisposable = Observable<Int> // 错误指向等号位置
        .interval(.seconds(60), scheduler: Schedulers.serialBackground)
        .map { [weak self] _ in self?.dao.count() ?? 0 }
        .flatMap { [weak self] number in
            if number! <= 10 {
                return self?.deleteOld() ?? Completable.empty()
            } else {
                return self?.delete() ?? Completable.empty()
            }
        }
        .subscribe(on: Schedulers.concurrentBackground)
        .observe(on: Schedulers.serialBackground)
        .subscribe()

    deleteDisposable?.disposed(by: disposeBag)
}

@编辑
deleteOld()和delete()方法实现类似：

func delete() -> Completable {
    Completable.create { [weak self] observer in
        self?.firstDao.delete()
        self?.secondDao.delete()
        observer(.completed)
        return Disposables.create()
    }
}

问题原因 #

Swift的类型推断在处理flatMap闭包的分支返回值时出现了歧义。虽然两个分支都返回Completable，但self?的可选链调用加上number!的强制解包，让编译器无法准确推断flatMap的泛型类型参数，最终导致整个表达式的类型模糊。

解决方法 #

• 显式指定flatMap的返回类型：帮编译器明确类型，消除歧义
• 移除不必要的强制解包：number是map中self?.dao.count() ?? 0的结果，本身就是非可选Int，无需number!
• 确保分支返回值类型一致：强化类型确定性，降低推断难度

修改后的代码示例：

private var deleteDisposable: Disposable? 
func startDeleting() {
    deleteDisposable = Observable<Int>
        .interval(.seconds(60), scheduler: Schedulers.serialBackground)
        .map { [weak self] _ in self?.dao.count() ?? 0 }
        .flatMap { [weak self] number -> Completable in // 显式指定返回类型
            if number <= 10 { // 移除强制解包
                return self?.deleteOld() ?? Completable.empty()
            } else {
                return self?.delete() ?? Completable.empty()
            }
        }
        .subscribe(on: Schedulers.concurrentBackground)
        .observe(on: Schedulers.serialBackground)
        .subscribe()

    deleteDisposable?.disposed(by: disposeBag)
}

另外注意：deleteDisposable?.disposed(by: disposeBag)建议紧跟在subscribe()之后，避免因变量未及时赋值导致的潜在内存泄漏风险。

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