Swift:带有可选链接和 nil-coalescing 的编译时错误

Question

我对 Swift 中的可选链接和 nil-coalescing 有一个奇怪的问题。 谁能解释为什么以下代码无法编译:

class A<T> {
    var val: T
    var x: A<T>?
    var y: A<T>?
    init(t:T){
        val = t
    }
    func test() -> [T] {
        return (self.x?.test() ?? []) + [val] + (self.y?.test() ?? [])
    }
}

但是写的时候

func test() -> [T] {
    return (self.x?.test() ?? []) + ([val] + (self.y?.test() ?? []))
}

是吗？ 错误说:

Cannot convert value of type '[T]?' to expected argument type '[_]?'

对我来说，它看起来很像编译器错误。

Answer 1

复杂表达式的类型推断很困难。 [_] 通常意味着类型未知 - 无法推断。简化表达式可以在 99% 的时间内解决问题:

class A<T> {
    var val: T
    var x: A<T>?
    var y: A<T>?
    init(t:T){
        val = t
    }
    func test() -> [T] {
        let xResult = self.x?.test() ?? []
        let yResult = self.y?.test() ?? []

        return xResult + [val] + yResult
    }
}

另外 99% 的时间，类型推断问题可以通过显式指定类型来解决:

return (self.x?.test() as [T]? ?? []) + [val] + (self.y?.test() ?? [])

您自己找到了解决方法。带括号的解决方法删除了一定数量的类型推断路径。

报告为 SR-4309