斯威夫特：如何保持一个泛型类型的任何可能的情况下在一个变量

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 { }。