我想使用通用协议类型作为函数返回类型,如下所示:
protocol P {
associatedtype T
func get() -> T?
func set(v: T)
}
class C<T>: P {
private var v: T?
func get() -> T? {
return v
}
func set(v: T) {
self.v = v
}
}
class Factory {
func createC<T>() -> P<T> {
return C<T>()
}
}
但这段代码编译错误抱怨:
有没有办法用Swift实现类似的功能?
答案 0 :(得分:5)
问题是您无法使用语法P<T>
。 P
是一个协议,意味着它不能被视为泛型类型(Cannot specialize non-generic type 'P'
),即使它可能具有给定的associatedtype
。
事实上,因为它有associatedtype
,你现在甚至不能直接使用协议类型本身 - 你只能将它用作通用约束。
您的问题的一个解决方案是简单地将您的功能签名更改为createC<T>() -> C<T>
,因为这正是它返回的内容。
class Factory {
func createC<T>() -> C<T> {
return C<T>()
}
}
我不完全确定将返回类型作为协议来获得什么。据推测,您的示例只是对实际代码的简化,并且您希望能够返回符合P
的任意实例。在这种情况下,您可以使用type erasure:
class AnyP<T> : P {
private let _get : () -> T?
private let _set : (T) -> ()
init<U:P where U.T == T>(_ base:U) {
_get = base.get
_set = base.set
}
func get() -> T? {return _get()}
func set(v: T) {_set(v)}
}
的
class Factory {
func createC<T>() -> AnyP<T> {
return AnyP(C<T>())
}
}
答案 1 :(得分:1)
Swift 5.1支持使用不透明类型返回关联的类型。使用不透明类型,您的代码将成功构建。 Ref
protocol P {
associatedtype T
func get() -> T?
func set(v: T)
}
class C<T>: P {
private var v: T?
func get() -> T? {
return v
}
func set(v: T) {
self.v = v
}
}
class Factory {
func createC<T>() -> some P {
return C<T>()
}