斯威夫特：如何保持一個泛型類型的任何可能的情況下在一個變量

Question

的什麼，我試圖做的是這樣的蒸餾：

public struct HolderOfWrappers 
{ 
    let anyWrappedItem: MyResource<Any> 
} 

public struct MyResource<A> 
{ 
    let wrappedItem : A 
    let convert: String -> A 
} 

func holdResource<A>(resource: MyResource<A>) -> HolderOfWrappers 
{ 
    // Error on this line, A is not Any... 
    let wrapHolder : HolderOfWrappers = HolderOfWrappers(resource) 
    return wrapHolder 
} 

既然這樣，這個代碼產生編譯器錯誤在最後holdResource方法，其中我試圖建立一個HolderOfWrappers：

Cannot convert the expression's type 'MyResource<A>' to type '(anyWrappedItem: MyResource<Any>)' 

這是可以理解的代碼表示HolderOfWrappers只能適用於任何類型的，不屬於任何可能的類型建立了一個MyResource。我與HolderOfWrappers後我真的是這樣的：

public struct HolderOfWrappers 
{ 
    let anyWrappedItem: MyResource<> 
} 

甚至MyResource<*> - 我想這個代碼，我想，可以容納任何類型MyResource的變量說。如果我嘗試使用任何一種語法，我都會得到一個它期望的類型的編譯器錯誤。

我可以只有anyWrappedItem類型Any，但然後你失去了類型信息供將來使用。我也不希望HolderOfWrapper是通用的（因爲後來我只是有同樣的問題）。

這幾乎就像我試圖把泛型類型作爲anyWrappedItem存儲變量的協議，不會因爲其他原因工作...

Answer 1

我想你可以通過在你的HolderOfWrappersinit方法中加入一個通用參數來做你想要的。基本上，init方法使用resource您提供，這樣只產生一個新的MyResource：

public struct HolderOfWrappers { 

    let anyWrappedItem: MyResource<Any> 

    public init<A>(resource: MyResource<A>) { 
     self.anyWrappedItem = MyResource(wrappedItem: resource.wrappedItem, convert: resource.convert) 
    } 
} 

我認爲這會做你想要什麼。我不知道自從初始化一個全新的MyResource而不是僅僅複製一個，它是否會變慢。

無論如何，這使得它使HolderOfWrappers本身不是通用的，將填補anyWrappedItem一個MyResource<Any>持有相同的值，你在通過resource。

Answer 2

這個怎麼樣

protocol Wrapper {} 

public struct HolderOfWrappers { 
    let anyWrappedItem: MyResource<Wrapper> 
} 

public struct MyResource<A> { 
    let wrappedItem : A 
    let convert: String -> A 
} 

func holdResource(resource: MyResource<Wrapper>) -> HolderOfWrappers { 
    // Error on this line, A is not Any... 
    let wrapHolder : HolderOfWrappers = HolderOfWrappers(anyWrappedItem: resource) 
    return wrapHolder 
} 

當然

缺點是您必須爲您傳入MyResource的任何類型A執行extension A: Wrapper { }。