Question

我在尝试将通用类型要求限制为仅引用类型时遇到问题。这是一些示例代码：

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。

这是泛型的限制吗？将协议标记为类足以对该协议进行弱引用，泛型中是否没有相应的内容？

Answer 1

简单的答案是，您不能拥有作为协议的泛型类型。

写出语法清楚地说明了这是如何工作的： class/struct GenericType<TypeName: TypeConstraints> {}

let thing = GenericType<Type>() where Type is a class or struct that adheres to any constraints

要求将类型视为类的协议意味着任何采用者都是类，但协议本身仍然不是类型。

泛型可能在某些时候支持协议，但它需要改变协议或泛型的一般方法。虽然您可以在幕后进行较少量的工作，但您可能会在某些时候实施。

如果你想看看他们的方向，你可以看看The Generics Manifesto。略读它我没有发现任何与您的用例直接相关的内容，但它非常具体，因此它可能不会包含在文档的参数中。

Answer 2

在我的特定情况下有效的另一个解决方案如下：

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<AnyObject>(element: dog as AnyObject)

访问元素时，我只需要执行向下转换回我的协议。当然，在使用具有值类型的类时，我将失去编译时的安全性，但在我的情况下这不是问题。

Swift通用引用类型

2 个答案: