翻译自:https://docs.swift.org/swift-book/LanguageGuide/Extensions.html
扩展为现有类、结构、枚举或协议类型添加了新功能。这包括扩展您无法访问原始源代码(称为追溯建模)的类型的能力。扩展类似于Objective-C中的类别。(与Objective-C类别不同,Swift扩展没有名称。)
Swift中的扩展可以:
在 Swift 中,您甚至可以扩展协议,以提供其要求的实现,或添加符合要求的类型可以利用的其他功能。有关更多详细信息,请参阅协议扩展。
注意
扩展可以为类型添加新功能,但它们不能覆盖现有功能。
使用extension
关键字声明扩展:
扩展可以扩展现有类型,使其采用一个或多个协议。要添加协议一致性,您编写协议名称的方式与为类或结构编写协议名称的方式相同:
以这种方式添加协议一致性在使用扩展添加协议一致性中进行了描述。
扩展可用于扩展现有的泛型类型,如扩展通用类型中所述。您还可以扩展泛型类型以有条件地添加功能,如带有通用Where子句的扩展中所述。
注意
如果您定义了一个扩展来向现有类型添加新功能,则该新功能将在该类型的所有现有实例上可用,即使它们是在定义扩展之前创建的。
扩展可以将计算实例属性和计算类型属性添加到现有类型中。此示例为Swift的内置Double
类型添加了五个计算实例属性,为使用距离单元提供基本支持:
这些计算属性表示,Double
值应被视为一定的长度单位。虽然它们是作为计算属性实现的,但这些属性的名称可以附加到带有点语法的浮点字面值中,作为使用该字面值执行距离转换的一种方式。
在本例中,1.0
的Double
值被视为表示“一米”。这就是为什么m
计算属性返回self
——表达式1.m
被认为是计算aDouble值1.0
的原因。
其他单位需要一些转换才能表示为以米为单位的值。一公里与1000米相同,因此计算km
属性将值乘以1_000.00
,转换为以米为单位的数字。同样,一米有3.28084英尺,因此ft
计算属性将底层Double
值除以3.28084
,将其从英尺转换为米。
这些属性是只读计算属性,因此它们在没有get
关键字的情况下表示,以便简短。它们的返回值为Double
类型,无论何时接受Double
,都可以在数学计算中使用:
注意
扩展可以添加新的计算属性,但它们不能添加存储的属性,也不能向现有属性添加属性观察器。
扩展可以为现有类型添加新的初始化器。这使您能够扩展其他类型,以接受自己的自定义类型作为初始化参数,或提供未作为类型原始实现的一部分的其他初始化选项。
扩展可以向类添加新的方便初始化器,但它们不能向类添加新的指定初始化器或去初始化器。指定的初始化器和去初始化器必须始终由原始类实现提供。
如果您使用扩展程序将初始化器添加到为其所有存储属性提供默认值且不定义任何自定义初始化器的值类型中,您可以从扩展的初始化器中调用该值类型的默认初始化器和成员初始化器。如果您将初始化器写为值类型原始实现的一部分,则情况并非如此,如值类型的初始化委托所述。
如果您使用扩展程序将初始化器添加到另一个模块中声明的结构中,则新初始化器在从定义模块调用初始化器之前无法访问self
。
下面的示例定义了一个自定义Rect
结构来表示几何矩形。该示例还定义了两个名为Size
和Point
的支持结构,这两个结构都为其所有属性提供0.0
的默认值:
由于Rect
结构为其所有属性提供默认值,因此它会自动接收默认初始化器和成员初始化器,如默认初始化器所述。这些初始化器可用于创建新的Rect
实例:
您可以扩展Rect
结构,以提供具有特定中心点和大小的额外初始化器:
这个新的初始化器首先根据提供的center
和size
值计算适当的原点。然后,初始化器调用结构的自动成员初始化器init(origin:size:)
该初始化器将新的原点和大小值存储在适当的属性中:
注意
如果您提供带有扩展的新初始化器,您仍然有责任确保初始化器完成后每个实例都已完全初始化。
扩展可以向现有类型添加新的实例方法和类型方法。以下示例为Int
类型添加了一个名为repetitions
的新实例方法:
The repetitions(task:)
method takes a single argument of type () -> Void
, which indicates a function that has no parameters and doesn’t return a value.
定义此扩展后,您可以在任何整数上调用repetitions(task:)
方法来执行多次任务:
使用扩展添加的实例方法也可以修改(或突变)实例本身。修改self
或其属性的结构和枚举方法必须将实例方法标记为mutating
,就像原始实现的突变方法一样。
以下示例在Swift的Int
类型中添加了一种名为square
的新突变方法,该方法将原始值平方:
扩展可以向现有类型添加新的下标。此示例为Swift的内置Int
类型添加了整数下标。此下标[n]
从数字右侧返回小数n
位:
123456789[0]
退货9
123456789[1]
退货8
…等等:
如果Int
值没有足够的数字来满足请求的索引,下标实现将返回0
,就像数字在左侧填充了零一样:
扩展可以向现有类、结构和枚举添加新的嵌套类型:
此示例为Int
添加了一个新的嵌套枚举。这个枚举称为Kind
,表示特定整数所代表的数字类型。具体来说,它表示数字是负数、零还是正数。
此示例还向Int
添加了一个新的计算实例属性,称为kind
,该属性返回该整数的适当Kind
枚举情况。
嵌套枚举现在可以与任何Int
值一起使用:
此函数printIntegerKinds(_:)
接受Int
值的输入数组,并依次迭代这些值。对于数组中的每个整数,函数考虑该整数的kind
计算属性,并打印适当的描述。
注意
number.kind
已经知道是Int.Kind
类型。因此,所有Int.Kind
大小写值都可以在switch
语句中以速记形式书写,例如.negative
而不是Int.Kind.negative
。