Swift 使用带有两个选项的nil合并运算符时，类型推断失败

我们正在试图弄清楚这是Swift中的一个bug，还是我们误用了泛型、选项、类型推断和/或nil合并运算符

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

我们有一个协议

SomeProtocol

，在协议扩展中定义了两个通用函数：

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

字典当然包含key

someNumber

的实际值。但是，这将始终失败，并且实际值永远不会从

mapped（）

函数返回

要么注释掉第二个泛型函数，要么强制向下转换赋值的rhs上的值，都可以解决这个问题，但我们认为这应该按照当前编写的方式进行

---

下面是演示该问题的完整代码段，以及（临时）修复代码中标记为

选项1

和

选项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)")
}

<代码>导入基础 //一些协议 协议{ init（字典：NSDictionary？） } 扩展协议{ func映射（字典：NSDictionary？，键：String）->T{ guard let dictionary=字典else{ 归零 } 让源=字典[键] 开关电源{ 案例为T： 返回源为？T 违约： 打破 } 归零 } // --- //选项1：注释掉它会使它工作 // --- func映射（字典：NSDictionary？，键：String）->T{ 归零 } } //某种结构 结构SomeStruct{ 变量someNumber:双精度？=0.0 } 扩展SomeStruct:SomeProtocol{ init（字典：NSDictionary？）{ someNumber=self.mapped（字典，键：“someNumber”）？？someNumber //选项2：写下它可以让它工作 //someNumber=self.mapped（字典，键：“someNumber”）？？someNumber！ } } //测试代码 让test=SomeStruct（字典：NSDictionary（对象：1234.4567，forKey:“someNumber”）） 如果test.someNumber==1234.4567{ 打印（“成功\（test.someNumber！）） }否则{ 打印（“失败\（test.someNumber）”） } 请注意，这是一个遗漏了

映射的

函数的实际实现的示例，但是结果是相同的，为了解决这个问题，代码应该足够了

---

编辑：我之前报告过这个问题，现在它被标记为已修复，所以希望在Swift 3中不再发生这种情况。

---

您给了编译器太多的选项，但它选择了错误的选项（至少不是您想要的选项）。问题是，每个

T

都可以被提升到

T？

，包括

T？

（提升到

T？？？

）

哇。这样的类型。如此随意D

那么斯威夫特是如何开始弄明白这件事的呢。嗯，

someNumber

是

Double？

，因此它试图将其转换为：

Double? = Double?? ?? Double?

这样行吗？让我们从最具体的开始，寻找一个通用的

映射的

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

这行吗？当然
T
可以是
Double吗？
我们返回
Double？？？
所有问题都解决了

那么，为什么这一个有效呢

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

决议如下：

Double? = Optional(Double? ?? Double)

然后事情按照你认为的方式进行

要小心这么多的选择。
someNumber
真的必须是可选的吗？这些东西是否应该抛出？（我并不是建议<代码>投掷是可选问题的一般工作，但至少这个问题让你考虑一下这是否真的是一个错误条件）。
像
mapped
那样，只在返回值上键入parameterize几乎总是一个坏主意。这在Swift（或任何具有大量类型推断的泛型语言）中往往是一团乱麻，但在Swift中，当涉及到可选项时，它真的会爆炸。类型参数通常应出现在参数中。如果您尝试以下操作，您将看到问题：

let x = test.mapped(...)

它将无法推断
x
的类型。这不是一个反模式，有时麻烦是值得的（公平地说，你正在解决的问题可能就是其中之一），但如果你能避免它

但是选择权让你丧命


编辑：Dominik问了一个很好的问题，为什么当
mapped
的受约束版本被删除时，这种行为会有所不同。我不知道。显然，类型匹配引擎根据
映射的
是泛型的方式的多少，以稍微不同的顺序检查有效类型。通过将
print（T.self）
添加到
mapped
，您可以看到这一点。这可能被认为是编译器中的一个bug。
这是一个很好的解释。我明白你的意思，我也明白为什么
someNumber可以工作，但我不确定当您注释掉
映射的…
函数时，我是否看到了为什么代码可以按预期工作。你能再多评论一下吗？这样的选择，真让人头疼D
someNumber = self.mapped(dictionary, key: "someNumber") ?? someNumber!

Double? = Optional(Double? ?? Double)

let x = test.mapped(...)