我有一个 Dictionary 扩展,它在 Xcode 12.5 和 Swift 5.4 发布之前一直运行良好。问题是,在 Swift5.4 中似乎发生了一个变化,使得可选的可选返回作为误报。在某些方面它确实有意义,但是现在我的扩展失败了。
考虑以下示例代码:
let dictionary: [String: Any] = ["foo": "bar"]
if let foo = dictionary["foo"] as? String? {
debugPrint("Foo exists")
}
if let bar = dictionary["bar"] as? String? {
debugPrint("bar exists")
}
在 Swift 5.4 之前,这将导致以下结果:
"Foo exists"
但是现在在 Swift 5.4 中,我得到以下结果:
"Foo exists"
"bar exists"
这是因为即使字典被定义为[String: Any]
, anString?
符合 typeAny
并因此nil
符合any
and 所以 if 情况会触发,因为 nil 是 any。
对我来说,这带来了我正在使用的 require 函数的问题,如果泛型类型设置为可选,它将触发。我的扩展:
enum DictionaryExtractionError: Error {
case missingProperty(String), casting(String)
}
extension Dictionary where Key == String, Value == Any {
func require<T>(_ name: String) throws -> T {
if let prop = self[name] as? T, (prop as Any?) != nil {
return prop
}
throw self[name] == nil ? DictionaryExtractionError.missingProperty(name) : DictionaryExtractionError.casting(name)
}
func require<T>(_ name: String, fallback: T) -> T {
do {
return try require(name) ?? fallback
} catch {
return fallback
}
}
}
let dictionary: [String: Any] = ["fooBar": "barFoo"]
let valid: String = dictionary.require("fooBar", fallback: "no Foobar")
let validMissing: String = dictionary.require("doesntExist", fallback: "no Foobar")
let inValidMissing: String? = dictionary.require("doesntExist", fallback: "no Foobar")
debugPrint(valid) // Should return: "barFoo"
debugPrint(validMissing) // Should return: "no Foobar"
debugPrint(inValidMissing) // Should return: Optional("no Foobar") <<<<<< This one is wrong
我的问题:有没有办法检查是否T
是可选类型?如果是这样,我可以调整我的代码来检查泛型类型在哪里是可选的,确保prop
不是零。