使用带有两个选项的nil-coalescing运算符时,类型推断失败

Question

我们试图确定这是否是Swift中的错误或我们滥用泛型,选项,类型推断和/或零合并运算符.

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

我们SomeProtocol在协议扩展中定义了一个协议和两个通用函数:

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

我们的结构和类遵循此协议,然后在协议所需的init函数内解析它们的属性.

在init(...)函数内部,我们尝试设置属性的值,someNumber如下所示:

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

当然字典包含密钥的实际值someNumber.但是,这将始终失败,并且实际值将永远不会从mapped()函数返回.

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

---

下面是一个完整的代码片段,演示了该问题,以及两个选项(暂时)修复标记的问题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?我们回来Double??,一切都解决了.

那为什么这个有用呢？

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

这解决了:

Double? = Optional(Double? ?? Double)

事情就像你认为的那样.

注意这么多Optionals.难道someNumber真的要选购？这些东西应该是什么throw？(我不建议throw对可选问题进行一般性处理,但至少这个问题让你有时间考虑这是否真的是一个错误条件.)

在Swift中对返回值进行类型参数化几乎总是一个坏主意mapped.这往往是Swift中的一个真正的混乱(或任何具有大量类型推断的通用语言,但是当涉及Optionals时它在Swift中真的会爆炸).类型参数通常应出现在参数中.如果您尝试以下方法,您会看到问题:

let x = test.mapped(...)

它无法推断出类型x.这不是一种反模式,有时麻烦是值得的(而且公平地说,你正在解决的问题可能是其中一种情况),但如果可以,就要避免它.

但正是选择者正在杀死你.

编辑:Dominik提出了一个非常好的问题,即当mapped删除受约束的版本时,为什么这种行为会有所不同.我不知道.显然,类型匹配引擎会根据mapped通用的方式检查有效类型.你可以通过添加print(T.self)来看到这一点mapped<T>.这可能被认为是编译器中的一个错误.