Question

在Swift 4中，我创建了以下协议，以确定某些内容是否有+运算符

protocol Addable { static func +(lhs: Self, rhs: Self) -> Self }

现在我已经创建了一个名为Vector<T>的类，其中T当然是通用类型。

class Vector<T: Addable>: Addable {
 var values: [T]

 init(values: [T]) {
  self.values = values
 }

 static func +(lhs: Vector<T>, rhs: Vector<T>) -> Self {
  return lhs
 }
}

+运算符实现的return lhs部分只是暂时的。但由于某种原因，这给了我以下错误： Cannot convert return expression of type 'Vector<T>' to return type 'Self'

知道我在这里做错了什么吗？我还没有得到线索。

Answer 1

从评论中移出：

问题是由阶级无效性引起的。看起来Swift无法推断非最终类的返回Self类型，因为当前类及其子类中的Self意味着不同。但由于某些原因，参数中Self没有这样的问题。

这个问题的解决方案是：

制作课程final，并将Self设置为正确的类型并且可以正常使用
将class替换为struct，并设置正确的类型
默认添加associatedtype Self：
```
protocol Addable {
    associatedtype S = Self
    static func + (lhs: Self, rhs: Self) -> S
}
```
后期选项适用于非最终类，但应检查相关类型，它仍然等于Self。

无法在Swift中为泛型类创建运算符

1 个答案: