swift - XCTAssert 在 Swift 中使用泛型方法

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 返回一个可选的，它可以通过制作 T==String? 轻松完成。但是你的 是什么？ T 做了错误的事情，因为字典的值类型是一个非可选的 String。

听起来像 a bug .