问题描述
gactions push
我正在尝试存储一个异构的更新数组,以便以后可以使用它们来设置值。像这样的东西。
class MyObject {
var title:String? = nil
var value:Int? = nil
var otherData:[String] = []
}
然而,这当然在 getUpdates() 中读取 class SomeFormThing {
func getUpdates() -> [WritableKeyPath<MyObject,Any> : Any] {
var updates:[WritableKeyPath<MyObject,Any> : Any]
updates[\MyObject.title] = "New Title"
updates[\MyObject.value] = 0
updates[\MyObject.value] = ["Other","Values"]
return updates
}
}
class SyncManager {
var form:SomeFormThing = SomeFormThing()
var sync:MyObject = MyObject()
func updateValues() {
let updates = form.getUpdates()
for key in updates.keys {
sync[forKeyPath: key] = updates[key]
}
}
}
的行上存在编译问题。
需要有一组异构的可写键路径,然后我可以用它来设置值。鉴于泛型通常是如何工作的,我不明白为什么 String 不能等同于 Any 泛型,因为类型是向下转型。
解决方法
Swift 集合不喜欢异构。此外,键路径是泛型,为了类型安全,泛型不是协变的。
所以你不能在一个集合中组合不同的类型——除非你键入擦除。当然,如果你这样做,你必须稍后取消类型擦除,这很麻烦。这就像一个蟑螂汽车旅馆:包裹的类型进去但它们不会出来,除非你用手引出它们。
例如:
struct MyObject {
var title:String
var value:Int
}
// okay,roaches go in...
let kp1 = \MyObject.title
let kp2 = \MyObject.value
let dict : [PartialKeyPath<MyObject>:Any] = [kp1:"Yo",kp2:1]
var object = MyObject(title: "Ha",value: 0)
// but now what? how can we apply our `dict` entries to `object`? well...
for (kp,val) in dict {
switch (kp,val) {
case (let kp2 as WritableKeyPath<MyObject,String>,let val2 as String):
object[keyPath:kp2] = val2
case (let kp2 as WritableKeyPath<MyObject,Int>,let val2 as Int):
object[keyPath:kp2] = val2
default:break
}
}
print(object) // yep,we did it,sort of
所以你看,你可以做到,但你必须单独处理每一种可能的属性类型。您已将 PartialKeyPath 的 Partial 和 Any 中的类型隐藏起来,现在将它们强制公开由您决定。
也就是说,我实际执行此操作的方法是为 MyObject 提供一个通用的 update
方法,并且一次只调用一个更改:
struct MyObject {
var title:String
var value:Int
mutating func update<T>(_ kp:WritableKeyPath<Self,T>,to val:T) {
self[keyPath:kp] = val
}
}
所以:
object.update(\.title,to: "Teehee")
object.update(\.value,to: 42)
请注意,您不能直接从 dict
中的条目执行此操作,因为您隐藏了类型。泛型不会等到运行时才查看“真正”是什么类型;它是由编译器解析的,因此类型必须是已知的——通过说 PartialKeyPath 和 Any 你已经un 知道类型。