3 回答

TA貢獻1851條經驗 獲得超3個贊
A Thing<Vanilla>不是Thing<Flavor>。Thing不是協變的。Swift中無法表達Thing協變。這有充分的理由。如果沒有嚴格的規則就允許您要求的內容,則可以編寫以下代碼:
func addElement(array: inout [Any], object: Any) {
array.append(object)
}
var intArray: [Int] = [1]
addElement(array: &intArray, object: "Stuff")
Int是的子類型Any,因此如果[Int]是的子類型[Any],則可以使用此函數將字符串追加到int數組。這破壞了類型系統。不要那樣做
根據您的實際情況,有兩種解決方案。如果是值類型,則將其重新打包:
let thing = Thing<Vanilla>(value: Vanilla())
dict["foo"] = Thing(value: thing.value)
如果是參考類型,請在其旁邊加上類型橡皮擦。例如:
// struct unless you have to make this a class to fit into the system,
// but then it may be a bit more complicated
struct AnyThing {
let _value: () -> Flavor
var value: Flavor { return _value() }
init<T: Flavor>(thing: Thing<T>) {
_value = { return thing.value }
}
}
var dict = [String:AnyThing]()
dict["foo"] = AnyThing(thing: Thing<Vanilla>(value: Vanilla()))
類型擦除器的具體信息可能會有所不同,具體取決于您的基礎類型。
順便說一句:關于此問題的診斷已經相當不錯。如果您嘗試addElement在Xcode 9中調用上述代碼,則會得到以下信息:
Cannot pass immutable value as inout argument: implicit conversion from '[Int]' to '[Any]' requires a temporary
這告訴您的是,Swift愿意將[Int]您要求的位置[Any]作為數組的特殊情況傳遞給您(盡管這種特殊待遇并未擴展到其他泛型類型)。但是它只能通過制作數組的臨時(不可變)副本來允許它。(這是另一個很難解釋Swift性能的示例。在其他語言中看起來像“廣播”的情況下,Swift可能會復制一個副本?;蛘呖赡懿粫椭啤:茈y確定。)

TA貢獻1911條經驗 獲得超7個贊
解決此問題的一種方法是向其中添加一個初始化程序,Thing并創建一個Thing<Flavor>保存Vanilla對象的對象。
它看起來像:
class Thing<T> {
init(thing : T) {
}
}
protocol Flavor {}
class Vanilla: Flavor {}
var dict = [String:Thing<Flavor>]()
dict["foo"] = Thing<Flavor>(thing: Vanilla())

TA貢獻1844條經驗 獲得超8個贊
請注意,您的反例inout
僅說明了作為inout
參數傳遞的變量必須具有不變性(inout
讀和寫該變量都可以)。并不是因為任意泛型都是不變的(實際上,正如您在編輯中強調的那樣,這Array
是一種特殊情況- [Int]
確實是的子類型[Any]
,但是您的示例仍然正確地是非法的)。您也可以看到根本沒有泛型,例如func foo(a: inout Any, b: Any) { a = b }; var i = 1; foo(a: &i, b: "Stuff")
,這是非法的。
- 3 回答
- 0 關注
- 814 瀏覽
添加回答
舉報