为什么我会收到错误“协议……只能用作通用约束，因为它具有自身或关联的类型要求”？

Question

我在Int 上写了一个扩展，如下所示。

extension Int {
    func squared () -> Int {
        return self * self
    }
}

print(10.squared()) // works

上面的代码有效。现在我想扩展IntegerType 协议，以便 Int、UInt、Int64 等都符合。我的代码如下。

extension IntegerType {

    func squared () -> IntegerType { // this line creates error

        return self * self

    }
}

我得到错误：

Protocol 'IntegerType' 只能用作通用约束，因为它具有 Self 或关联的类型要求

我已经看过this问题及其视频和this问题，还是看不懂。我只知道有一些associatedType 在这种情况下是Self 但无法连接点。我觉得我对Generics 主题缺乏了解也是一个原因......

有人可以详细说明一下这个主题吗？为什么扩展会产生错误？

Answer 1

您只需返回Self

编辑/更新：

注意：您可以在 Swift 4 中扩展所有数值类型（整数和浮点数）来扩展数值协议

斯威夫特 4

extension Numeric {
    func squared() -> Self {
        return self * self
    }
}

---

斯威夫特 3

extension Integer {
    func squared() -> Self { 
        return self * self
    }
}

Answer 2

函数返回类型只能是具体的Type。

重点是类型。 任何自己完全定义的结构、类或协议都是纯类型。 但是当一个协议或结构依赖于另一个通用类型占位符（例如 T）时，这是一个部分类型。

类型是编译器必须分配特定内存的数据结构。

所以是这样的：

let a = Array<T>() 或 let b = T 不是编译器在编译时推断的足够信息。

因此，这行不通。

  extension IntegerType {

    func squared () -> IntegerType { // this line creates error

        return self * self

    }
}

这里，IntegerType 是一个部分类型。它是一个通用协议，只有在符合时我们才能知道确切的类型。类似于数组。数组本身不是一种类型。它是一个通用容器。只有当有人使用 Array() 或 Array()... 创建它时，它才有类型。

同样的事情也发生在你身上。

public protocol IntegerType : _IntegerType, RandomAccessIndexType {

然后，

public protocol RandomAccessIndexType : BidirectionalIndexType, Strideable, _RandomAccessAmbiguity {
@warn_unused_result
    public func advancedBy(n: Self.Distance) -> Self

然后，

   public protocol _RandomAccessAmbiguity {
    associatedtype Distance : _SignedIntegerType = Int
   }

因此，由于 RandomAccessIndexType 具有 Self 要求含义，除非有人遵守它，否则 Self 是未知占位符。它是部分类型。

由于 IntegerType 符合 RandomAccessIndexType 和 _RandomAccessAmbuiguity ，这也需要与距离相关的类型。

所以你也不能这样做

let a: IntegerType = 12

IntegerType 再次需要知道 Self 和 Distance（关联类型）。

然而，Int 提供了这样的细节

public struct Int : SignedIntegerType, Comparable, Equatable {
    /// A type that can represent the number of steps between pairs of
    /// values.
    public typealias Distance = Int

因此你可以这样做

let a:Int = 10

因为它为 SignedIntegerType 提供 Self 并为其其他对应物提供 Distance。

简单地说：

不能在具体类型可以使用的地方使用部分类型。部分类型适用于其他泛型并限制它们。