Question

我对Swift的Dictionary结构上的泛型方法有两个几乎完全相同的断言，但是一个成功，另一个失败。我认为它是XCTAssert的工作原理，但无法理解原因。有谁知道为什么？

如果该方法不是通用的，例如，T为String，则两个测试都会成功。

extension Dictionary {
    func safeElement<T>(key: Key, fallback: T) -> T {
        if let value = self[key] as? T {
            return value
        }
        return fallback
    }
}

class DictionaryTests: XCTestCase {
    let dict = ["foo": "bar"]

    func testSafeElement() {
        // This succeeds
        let bar = dict.safeElement("foo", fallback: "")
        XCTAssertEqual(bar, "bar")

        // This fails
        XCTAssertEqual(dict.safeElement("foo", fallback: ""), "bar")
    }
}

更新

我更多地修补它，事实证明，如果你传递一个类型作为参数，那么两种情况都会成功。但我想这种类型的冗长并不是人们想要的。

extension Dictionary {
    func safeElement<T>(key: Key, fallback: T, type: T.Type) -> T {
        if let value = self[key] as? T {
            return value
        }
        return fallback
    }
}

class DictionaryTests: XCTestCase {
    let dict = ["foo": "bar"]

    func testSafeElement() {
        // This succeeds
        let bar = dict.safeElement("foo", fallback: "", type: String.self)
        XCTAssertEqual(bar, "bar")

        // This also succeeds
        XCTAssertEqual(dict.safeElement("foo", fallback: "", type: String.self), "bar")
    }
}

Answer 1

如果添加打印声明：

func safeElement<T>(key: Key, fallback: T) -> T {
    print("calling for \(T.self)")

您可以看到两个测试之间的输出差异：

calling for String
calling for Optional<String>

这可能是因为XCTAssertEqual的参数被声明为@autoclosure expression1: () -> T?，因此编译器会尝试选择一个返回可选项的safeElement版本，它可以通过{{{{{{ 1}}。但是你的T==String?做错了，因为字典的值类型是非可选的as? T。

听起来像a bug。

XCTAssert与Swift中的泛型方法

1 个答案: