我可以使用具有指定关联类型的协议吗？

下面的代码工作：我可以使用具有指定关联类型的协议吗？

protocol GenericStorage { 
    associatedtype Value 
    func store(value: Value) 
} 

protocol DataStorage { 
    func store(value: Data) 
} 

struct StringStorage: GenericStorage { 
    typealias Value = String 

    let wrapped: DataStorage 

    func convert(_ str: String) -> Data { 
     return Data(str.utf8) 
    } 

    func store(value: String) { 
     wrapped.store(value: convert(value)) 
    } 
}

我可以以完全避免冗余DataStorage协议使用GenericStorage协议与相关联的类型的Data为wrapped论点StringStorage？

我希望类似如下的代码（不工作）：

protocol GenericStorage { 
    associatedtype Value 
    func store(value: Value) 
} 

struct StringStorage: GenericStorage { 
    typealias Value = String 

    let wrapped: GenericStorage where Value = Data 

    func convert(_ str: String) -> Data { 
     return Data(str.utf8) 
    } 

    func store(value: String) { 
     wrapped.store(value: convert(value)) 
    } 
}

来源

2017-09-15 Max

没有更多的上下文，它很难给你一个确切的解决方案，因为很难判断你想要什么'wrapped.store（value：convert（value））'来做什么。但是，如果您删除typealias，'wrapped'声明并将'store'定义为'func store（value：String）{convert（value） }'，那么您的代码编译完全正常。但是从你的问题来看，'StringStorage'中'store'应该做什么并不是很清楚，我不知道这是你真正想要的。 –

@DávidPásztor我想要一个类型为'GenericStorage'的包装器，它调用另一个'GenericStorage'上的方法，尽管'Value'的实际关联类型可能不同。我对语言细节感兴趣。 – Max

为了一般工作，您需要提供'store'函数（可能是一个通用函数）的默认实现，否则编译器如何通过调用该类型的函数来推断您的意思是什么你之前没有指定符合'GenericStorage'。 –

根据该意见，你就需要把GenericStorage成一个通用的协议。但是，目前，你不能使协议是通用的。您只能将类型约束添加到关联的类型（在Swift4中引入）或协议的功能。

有关通用协议的更多信息，请参见Generics Manifesto。

来源

2017-09-15 18:51:54

我可以使用具有指定关联类型的协议吗？

回答

相关问题