将 nil-coalescing 运算符与两个可选值一起使用时类型推断失败

Question

我们正在尝试确定这是 Swift 中的错误还是我们滥用泛型、可选、类型推断 and/or nil 合并运算符。

我们的框架包含一些用于将字典解析为模型的代码，我们遇到了具有默认值的可选属性的问题。

我们有一个协议 SomeProtocol 和协议扩展中定义的两个通用函数：

mapped<T>(...) -> T?
mapped<T : SomeProtocol>(...) -> T?

我们的结构和类遵守此协议，然后在协议要求的初始化函数中解析它们的属性。

在 init(...) 函数中，我们尝试像这样设置属性 someNumber 的值：

someNumber = self.mapped(dictionary, key: "someNumber") ?? someNumber

字典当然包含键 someNumber 的实际值。然而，这总是会失败并且实际值永远不会从 mapped() 函数返回。

注释掉第二个泛型函数或强制向下转换赋值右侧的值将解决此问题，但我们认为这应该按照当前编写的方式工作。

下面是演示该问题的完整代码片段，以及（暂时）修复代码中标记为 OPTION 1 和 OPTION 2 的问题的两个选项：

import Foundation

// Some protocol

protocol SomeProtocol {
    init(dictionary: NSDictionary?)
}

extension SomeProtocol {
    func mapped<T>(dictionary: NSDictionary?, key: String) -> T? {
        guard let dictionary = dictionary else {
            return nil
        }

        let source = dictionary[key]
        switch source {

        case is T:
            return source as? T

        default:
            break
        }

        return nil
    }

    // ---
    // OPTION 1: Commenting out this makes it work
    // ---

    func mapped<T where T:SomeProtocol>(dictionary: NSDictionary?, key: String) -> T? {
        return nil
    }
}

// Some struct

struct SomeStruct {
    var someNumber: Double? = 0.0
}

extension SomeStruct: SomeProtocol {
    init(dictionary: NSDictionary?) {
        someNumber = self.mapped(dictionary, key: "someNumber") ?? someNumber

        // OPTION 2: Writing this makes it work
        // someNumber = self.mapped(dictionary, key: "someNumber") ?? someNumber!
    }
}

// Test code

let test = SomeStruct(dictionary: NSDictionary(object: 1234.4567, forKey: "someNumber"))
if test.someNumber == 1234.4567 {
    print("success \(test.someNumber!)")
} else {
    print("failure \(test.someNumber)")
}

请注意，这是一个缺少 mapped 函数实际实现的示例，但结果是相同的，对于这个问题，代码应该足够了。

编辑：我之前报告过这个问题，现在它被标记为已修复，所以希望在 Swift 3.
https://bugs.swift.org/browse/SR-574

Answer 1

您为编译器提供了太多选项，它选择了错误的选项（至少不是您想要的选项）。问题是每个 T 都可以被简单地提升到 T?，包括 T?（提升到 T??）。

someNumber = self.mapped(dictionary, key: "someNumber") ?? someNumber

哇。这样的类型。所以可选。 :D

那么 Swift 是如何开始解决这个问题的。好吧，someNumber 是 Double?，所以它试图把它变成：

Double? = Double?? ?? Double?

有用吗？让我们寻找一个通用的 mapped，从最具体的开始。

func mapped<T where T:SomeProtocol>(dictionary: NSDictionary?, key: String) -> T? {

要完成这项工作，T 必须是 Double?。是Double?:SomeProtocol？没有。继续前进。

func mapped<T>(dictionary: NSDictionary?, key: String) -> T? {

这个有用吗？当然！ T 可以是 Double? 我们 return Double?? 一切都解决了。

那么为什么这个有效？

someNumber = self.mapped(dictionary, key: "someNumber") ?? someNumber!

这解析为：

Double? = Optional(Double? ?? Double)

然后事情就会按照您认为应该的方式进行。

小心这么多可选。 someNumber 真的必须是可选的吗？这些东西都应该 throw 吗？（我不是说 throw 是可选问题的一般 work-around，但至少这个问题给了你时间考虑这是否真的是一个错误条件。）

像 mapped 那样 type-parameterize 专门针对 Swift 中的 return 值几乎总是一个坏主意。这在 Swift 中往往是一个真正的混乱（或任何具有大量类型推断的通用语言，但当涉及 Optionals 时它在 Swift 中确实会爆炸）。类型参数通常应出现在参数中。如果您尝试类似的操作，就会发现问题所在：

let x = test.mapped(...)

它将无法推断出 x 的类型。这不是 anti-pattern，有时麻烦是值得的（公平地说，您正在解决的问题可能是其中一种情况），但请尽可能避免。

但真正要了你命的是选项。

编辑：Dominik 提出了一个很好的问题，即为什么当 mapped 的受限版本被删除时它的行为会有所不同。我不知道。显然，类型匹配引擎检查有效类型的顺序略有不同，具体取决于 mapped 有多少种通用方式。您可以通过将 print(T.self) 添加到 mapped<T> 来查看。这可能被认为是编译器中的错误。

将 nil-coalescing 运算符与两个可选值一起使用时类型推断失败

Type inference fails when using nil-coalescing operator with two optionals

generics

optional

swift