我在尝试将通用类型要求限制为仅引用类型时遇到问题。下面是一些示例代码:
class WeakHolder<Element: AnyObject> {
weak var element: Element?
init(element: Element) {
self.element = element
}
}
protocol Animal: class { }
class Dog: Animal { }
let dog: Animal = Dog()
let holder = WeakHolder<Animal>(element: dog) // Error: Using "Animal" as a concrete type conforming to protocol 'AnyObject' is not supported.
如果我将通用要求更改为 <Element: class>
, 我收到错误 class constraint can only appear on protocol declarations
.
这是泛型的限制吗?将协议(protocol)标记为类就足以对该协议(protocol)进行弱引用,泛型中没有等效项吗?
最佳答案
简单的答案是,您不能拥有作为协议(protocol)的通用类型。
写出语法可以清楚地说明它是如何工作的:
class/struct GenericType<TypeName: TypeConstraints> {}
let thing = GenericType<Type>() where Type is a class or struct that adheres to any constraints
要求采用类型成为类的协议(protocol)意味着任何采用者都是类,但协议(protocol)本身仍然不是类型。
泛型有可能在某个时候支持协议(protocol),但这需要将通用方法更改为协议(protocol)或泛型。尽管您的具体示例可能会在幕后进行少量工作,但有可能在某个时候实现。
可以看看The Generics Manifesto如果你想看到他们前进的方向。略读了一下,我没有发现任何与您的用例直接相关的内容,但它非常具体,因此可能不会包含在文档的参数中。
关于Swift 泛型引用类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/40897924/