扩展Swift中的所有类型？

Question

浏览Swift的库代码我发现:

extension T! : Printable {
  var description: String { get }
}

该代码段似乎使用"description"字段扩展了所有类型.当我尝试在我的代码中执行相同的操作时,我收到错误:

example.swift:10:11:非名义类型'T!' 不能延长

protocol MyProtocol {
  // ...
}

extension T! : MyProtocol { // error: Non-nominal...
  // ...
}

有类似的问题:

• 如何在Swift中扩展类型化数组？
• Swift中Optional <T>和可选类型之间有什么区别？扩展可选以携带错误信息？

但他们未能解决:

• 这里发生了什么？为什么库代码没问题,但我的代码......不是吗？
• 是否可以符合特定协议的所有类型或所有类型？

Answer 1

首先,它并没有扩展所有类型.它延伸T!,这是ImplicitlyUnwrappedOptional<T>.因此它扩展了隐式展开的可选类型,而不是所有类型.

"标题"并不是真正的Swift代码; 它是自动生成的.自动头生成器中可能存在错误,这使得在某些情况下不会生成真正的Swift代码.不要太过于字面意思.

您在自动生成的"标题"中注意到的一个奇怪的事情是某些内置语法收缩不一致地应用 - 类型声明不使用收缩,但扩展包括:

struct Array<T>
extension T[]

enum Optional<T>
extension T?

struct ImplicitlyUnwrappedOptional<T>
extension T!

自动页眉生成器中的某些代码可能过于贪婪地用其缩小语法替换上述类型.所以首先我们假装extension T!实际说extension ImplicitlyUnwrappedOptional<T>.

但是,extension ImplicitlyUnwrappedOptional<T>也没有编译,错误"使用未声明的类型'T'".实际上,在自动生成的"头"中,我们有许多带有类型参数的扩展声明实例,例如extension Dictionary<KeyType, ValueType>,不能在Swift中编译.这是自动标题生成的另一个错误.

但删除type参数有效:

extension ImplicitlyUnwrappedOptional : MyProtocol {
  // ...
}

这正是这个答案所示的内容.