属性将值与特定的类、结构体或枚举关联。存储属性会将常量和变量存储为实例的一部分，⽽计算属性则是直接计算(而不是存
储)值。计算属性可以用于类、结构体和枚举，⽽存储属性只能用于类和结构体。
存储属性和计算属性通常与特定类型的实例关联。但是，属性也可以直接与类型本身关联，这种属性称为类型属性。
另外，还可以定义属性观察器来监控属性值的变化，以此来触发自定义的操作。属性观察器可以添加到类本身定义的存储属性
上，也可以添加到从⽗类继承的属性上。
存储属性
简单来说，一个存储属性就是存储在特定类或结构体实例里的一个常量或变量。存储属性可以是变量存储属性(用关键字var 定
义)，也可以是常量存储属性(⽤关键字 let 定义)。
可以在定义存储属性的时候指定默认值，请参考默认构造器 一节。也可以在构造过程中设置或修改存储属性的值，甚⾄修改常量
存储属性的值(常量属性没有初始值的情况下)，请参考《构造过程中常量属性的修改》 一节。
下⾯的例子定义了一个名为 FixedLengthRange 的结构体，该结构体用于描述整数区间，且这个范围值在被创建后不能被修改。
struct FixedLengthRange {
var firstValue: Int
let length: Int
}
var rangeOfThreeItems = FixedLengthRange(firstValue: 0, length: 3) // 该区间表示整数 0，1，2
rangeOfThreeItems.firstValue = 6 // 该区间现在表示整数 6，7，8
FixedLengthRange 的实例包含一个名为 firstValue 的变量存储属性和一个名为 length 的常量存储属性。在上面的例子中，
length 在创建实例的时候被初始化，且之后无法修改它的值，因为它是一个常量存储属性。
常量结构体实例的存储属性
如果创建了一个结构体实例并将其赋值给一个常量，则无法修改该实例的任何属性，即使被声明为可变属性也不行:
let rangeOfFourItems = FixedLengthRange(firstValue: 0, length: 4) // 该区间表示整数 0，1，2，3
rangeOfFourItems.firstValue = 6 // 尽管 firstValue 是个可变属性，但这⾥还是会报错
因为 rangeOfFourItems 被声明成了常量(用 let 关键字)，所以即使 firstValue 是一个可变属性，也无法再修改它了。
这种⾏为是由于结构体属于值类型。当值类型的实例被声明为常量的时候，它的所有属性也就成了常量。
属于引用类型的类则不一样。把一个引用类型的实例赋给一个常量后，依然可以修改该实例的可变属性。
延时加载存储属性
延时加载存储属性是指当第一次被调用的时候才会计算其初始值的属性。在属性声明前使用 lazy 来标示一个延时加载存储属
性。
注意
必须将延时加载属性声明成变量(使用 var 关键字)，因为属性的初始值可能在实例构造完成之后才会得到。⽽常量属性在构造过
程完成之前必须要有初始值，因此无法声明成延时加载。
当属性的值依赖于一些外部因素且这些外部因素只有在构造过程结束之后才会知道的时候，延时加载属性就会很有用。或者当获
得属性的值因为需要复杂或者⼤量的计算，⽽需要采用需要的时候再计算的⽅式，延时加载属性也会很有用。
下⾯的例子使用了延时加载存储属性来避免复杂类中不必要的初始化工作。例子中定义了 DataImporter 和DataManager 两个
类，下⾯是部分代码:
class DataImporter {
/*
DataImporter 是一个负责将外部文件中的数据导入的类。 这个类的初始化会消耗不少时间。
*/
var fileName = "data.txt"
// 这里会提供数据导入功能
}
class DataManager {
lazy var importer = DataImporter()var data = [String]()
// 这⾥会提供数据管理功能
}
let manager = DataManager()
manager.data.append("Some data")
manager.data.append("Some more data")
// DataImporter 实例的 importer 属性还没有被创建
DataManager 类包含⼀个名为 data 的存储属性，初始值是一个空的字符串数组。这里没有给出全部代码，只需知 DataManager
类的目的是管理和提供对这个字符串数组的访问即可。
DataManager 的一个功能是从文件中导入数据。这个功能由 DataImporter 类提供， DataImporter 完成初始化需要消耗不少时间:
因为它的实例在初始化时可能需要打开文件并读取文件中的内容到内存中。
DataManager 管理数据时也可能不从文件中导入数据。所以当 DataManager 的实例被创建时，没必要创建一个DataImporter 的
实例，更明智的做法是第一次用到 DataImporter 的时候才去创建它。
由于使用了 lazy ， DataImporter 的实例 importer 属性只有在第一次被访问的时候才被创建。比如访问它的属性 fileName 时:
print(manager.importer.fileName)
// DataImporter 实例的 importer 属性现在被创建了
// 输出“data.txt”
注意
如果一个被标记为 lazy 的属性在没有初始化时就同时被多个线程访问，则无法保证该属性只会被初始化一次。
存储属性和实例变量
如果您有过 Objective-C 经验，应该知道 Objective-C 为类实例存储值和引用提供两种方法。除了属性之外，还可以使用实例变
量作为一个备份存储将变量值赋值给属性。
Swift 编程语⾔中把这些理论统一⽤属性来实现。Swift 中的属性没有对应的实例变量，属性的备份存储也⽆法直接访问。 这就
避免了不同场景下访问方式的困扰，同时也将属性的定义简化成一个语句。属性的全部信息——包括命名、类型和内存管理特征
——作为类型定义的一部分，都定义在一个地方。
计算属性
除存储属性外，类、结构体和枚举可以定义计算属性。计算属性不直接存储值，而是提供一个 getter 和一个可选的 setter，来
间接获取和设置其他属性或变量的值。
struct Point {
var x = 0.0, y = 0.0
}
struct Size {
var width = 0.0, height = 0.0
}
struct Rect {
var origin = Point()
var size = Size()
var center: Point {
get {
let centerX = origin.x + (size.width / 2)
let centerY = origin.y + (size.height / 2)
return Point(x: centerX, y: centerY)
}
set(newCenter) {
origin.x = newCenter.x - (size.width / 2)
origin.y = newCenter.y - (size.height / 2)
}
}
}
var square = Rect(origin: Point(x: 0.0, y: 0.0), size: Size(width: 10.0, height: 10.0))
let initialSquareCenter = square.center
square.center = Point(x: 15.0, y: 15.0)
print("square.origin is now at (\(square.origin.x), \(square.origin.y))")
// 打印“square.origin is now at (10.0, 10.0)”
这个例子定义了 3 个结构体来描述几何形状:
Point 封装了一个 (x, y) 的坐标
Size 封装了一个 width 和一个 height Rect 表示一个有原点和尺寸的矩形
Rect 也提供了一个名为 center 的计算属性。一个 Rect 的中心点可以从 origin (原点)和 size (⼤小) 算出，所以不需要将中⼼点以
Point 类型的值来保存。 Rect 的计算属性 center 提供了自定义的 getter 和 setter 来获取和设置矩形的中心点，就像它有一个存
储属性一样。
上述例子中创建了一个名为 square 的 Rect 实例，初始值原点是 (0, 0) ，宽度高度都是 10 。如下图中蓝色正方形所示。
square 的 center 属性可以通过点运算符( square.center )来访问，这会调用该属性的 getter 来获取它的值。 跟直接返回已经存
在的值不同，getter 实际上通过计算然后返回一个新的 Point 来表示 square 的中心点。如代码所示，它正确返回了中心点 (5, 5)
。
center 属性之后被设置了一个新的值 (15, 15) ，表示向右上方移动正方形到如下图橙色正方形所示的位置。设置属性 center 的值
会调用它的 setter 来修改属性 origin 的 x 和 y 的值，从⽽实现移动正方形到新的位置。
简化 Setter 声明
如果计算属性的 setter 没有定义表示新值的参数名，则可以使用默认名称 newValue 。下面是使用了简化 setter 声明的Rect 结
构体代码:
struct AlternativeRect {
var origin = Point()
var size = Size()
var center: Point {
get {
let centerX = origin.x + (size.width / 2)
let centerY = origin.y + (size.height / 2)
return Point(x: centerX, y: centerY)
}
set {
origin.x = newValue.x - (size.width / 2)
origin.y = newValue.y - (size.height / 2)
}
}
}
简化 Getter 声明
如果整个 getter 是单一表达式，getter 会隐式地返回这个表达式结果。下面是另一个版本的 Rect 结构体，用到了简化的 getter
和 setter 声明:
struct CompactRect {
var origin = Point()
var size = Size()
var center: Point {
get {
Point(x: origin.x + (size.width / 2), y: origin.y + (size.height / 2))
}
set {
origin.x = newValue.x - (size.width / 2)
origin.y = newValue.y - (size.height / 2)
}
}
}
在 getter 中忽略 return 与在函数中忽略 return 的规则相同，请参考《隐式返回的函数》。
只读计算属性
只有 getter 没有 setter 的计算属性叫只读计算属性。只读计算属性总是返回一个值，可以通过点运算符访问，但不能设置新的
值。
注意
必须使用 var 关键字定义计算属性，包括只读计算属性，因为它们的值不是固定的。 let 关键字只用来声明常量属性，表示初始
化后再也无法修改的值。
只读计算属性的声明可以去掉 get 关键字和花括号:
struct Cuboid {
var width = 0.0, height = 0.0, depth = 0.0
var volume: Double {
return width * height * depth
}
}
let fourByFiveByTwo = Cuboid(width: 4.0, height: 5.0, depth: 2.0)
print("the volume of fourByFiveByTwo is \(fourByFiveByTwo.volume)")
// 打印“the volume of fourByFiveByTwo is 40.0”
这个例子定义了一个名为 Cuboid 的结构体，表示三维空间的⽴方体，包含 width 、 height 和 depth 属性。结构体还有一个名为
volume 的只读计算属性用来返回⽴方体的体积。为 volume 提供 setter 毫⽆意义，因为无法确定如何修改 width 、 height 和
depth 三者的值来匹配新的 volume 。然而， Cuboid 提供一个只读计算属性来让外部用户直接获取体积是很有用的。
注意这里的 return 不能省略
属性观察器
属性观察器监控和响应属性值的变化，每次属性被设置值的时候都会调用属性观察器，即使新值和当前值相同的时候也不例外。
你可以为除了延时加载存储属性之外的其他存储属性添加属性观察器，你也可以在子类中通过重写属性的方式为继承的属性(包括
存储属性和计算属性)添加属性观察器。你不必为非重写的计算属性添加属性观察器，因为你可以直接通过它的 setter 监控和响
应值的变化。属性重写请参考《重写》。
可以为属性添加其中一个或两个观察器:
willSet 在新的值被设置之前调用
didSet 在新的值被设置之后调用
willSet 观察器会将新的属性值作为常量参数传入，在 willSet 的实现代码中可以为这个参数指定一个名称，如果不指定则参数仍
然可用，这时使用默认名称 newValue 表示。
同样， didSet 观察器会将旧的属性值作为参数传⼊，可以为该参数指定一个名称或者使用默认参数名 oldValue 。如果在
didSet ⽅法中再次对该属性赋值，那么新值会覆盖旧的值。
注意
在父类初始化方法调用之后，在子类构造器中给父类的属性赋值时，会调用父类属性的 willSet 和 didSet 观察器。而在父类初始
化方法调用之前，给子类的属性赋值时不会调⽤子类属性的观察器。
有关构造器代理的更多信息，请参考《值类型的构造器代理》和《类的构造器代理》。
下⾯是⼀个 willSet 和 didSet 实际运用的例子，其中定义了一个名为 StepCounter 的类，⽤来统计一个人步⾏时的总步数。这个
类可以跟计步器或其他日常锻炼的统计装置的输入数据配合使用。
class StepCounter {
var totalSteps: Int = 0 {
willSet(newTotalSteps) {
print("将 totalSteps 的值设置为 \(newTotalSteps)")
}
didSet {
if totalSteps > oldValue {
print("增加了 \(totalSteps - oldValue) 步")
}
}
}
}
let stepCounter = StepCounter()
stepCounter.totalSteps = 200
// 将 totalSteps 的值设置为 200
// 增加了 200 步
stepCounter.totalSteps = 360
// 将 totalSteps 的值设置为 360
// 增加了 160 步
stepCounter.totalSteps = 896
// 将 totalSteps 的值设置为 896
// 增加了 536 步
StepCounter 类定义了一个叫 totalSteps 的 Int 类型的属性。它是一个存储属性，包含 willSet 和didSet 观察器。
当 totalSteps 被设置新值的时候，它的 willSet 和 didSet 观察器都会被调用，即使新值和当前值完全相同时也会被调用。
例子中的 willSet 观察器将表示新值的参数自定义为 newTotalSteps ，这个观察器只是简单的将新的值输出。didSet 观察器在
totalSteps 的值改变后被调用，它把新值和旧值进⾏对比，如果总步数增加了，就输出一个消息表示增加了多少步。 didSet 没有
为旧值提供自定义名称，所以默认值 oldValue 表示旧值的参数名。
注意
如果将带有观察器的属性通过 in-out 方式传入函数， willSet 和 didSet 也会调用。这是因为 in-out 参数采⽤了拷入拷出内存模
式:即在函数内部使用的是参数的 copy，函数结束后，又对参数重新赋值。关于 in-out 参数详细的介绍，请参考《输入输出参
数》
全局变量和局部变量
计算属性和观察属性所描述的功能也可以用于全局变量和局部变量。全局变量是在函数、⽅法、闭包或任何类型之外定义的变量。
局部变量是在函数、⽅法或闭包内部定义的变量。
前面章节提到的全局或局部变量都属于存储型变量，跟存储属性类似，它为特定类型的值提供存储空间，并允许读取和写入。
另外，在全局或局部范围都可以定义计算型变量和为存储型变量定义观察器。计算型变量跟计算属性一样，返回一个计算结果而不
是存储值，声明格式也完全一样。
注意
全局的常量或变量都是延迟计算的，跟延时加载存储属性相似，不同的地方在于，全局的常量或变量不需要标记 lazy 修饰符。
局部范围的常量和变量从不延迟计算。
类型属性
实例属性属于一个特定类型的实例，每创建一个实例，实例都拥有属于⾃己的一套属性值，实例之间的属性相互独立。
你也可以为类型本身定义属性，⽆论创建了多少个该类型的实例，这些属性都只有唯⼀一份。这种属性就是类型属性。
类型属性用于定义某个类型所有实例共享的数据，⽐如所有实例都能用的一个常量(就像 C 语言中的静态常量)，或者所有实例都
能访问的一个变量(就像 C 语言中的静态变量)。
存储型类型属性可以是变量或常量，计算型类型属性跟实例的计算型属性一样只能定义成变量属性。
注意
跟实例的存储型属性不同，必须给存储型类型属性指定默认值，因为类型本身没有构造器，也就无法在初始化过程中使用构造器给
类型属性赋值。
存储型类型属性是延迟初始化的，它们只有在第一次被访问的时候才会被初始化。即使它们被多个线程同时访问，系统也保证只
会对其进⾏一次初始化，并且不需要对其使用 lazy 修饰符。
类型属性语法
在 C 或 Objective-C 中，与某个类型关联的静态常量和静态变量，是作为 global(全局)静态变量定义的。但是在 Swift 中，类型
属性是作为类型定义的一部分写在类型最外层的花括号内，因此它的作用范围也就在类型支持的范围内。
使用关键字 static 来定义类型属性。在为类定义计算型类型属性时，可以改用关键字 class 来支持子类对父类的实现进⾏重写。
下⾯的例子演示了存储型和计算型类型属性的语法:
struct SomeStructure {
static var storedTypeProperty = "Some value."
static var computedTypeProperty: Int {
return 1
}
}
enum SomeEnumeration {
static var storedTypeProperty = "Some value."
static var computedTypeProperty: Int {
return 6
}
}
class SomeClass {
static var storedTypeProperty = "Some value."
static var computedTypeProperty: Int {
return 27
}
//下面是一个支持重写的类型属性
class var overrideableComputedTypeProperty: Int {
return 107
}
}
注意
例子中的计算型类型属性是只读的，但也可以定义可读可写的计算型类型属性，跟计算型实例属性的语法相同。
获取和设置类型属性的值
跟实例属性一样，类型属性也是通过点运算符来访问。但是，类型属性是通过类型本身来访问，⽽不是通过实例。比如:
print(SomeStructure.storedTypeProperty)
// 打印“Some value.”
SomeStructure.storedTypeProperty = "Another value."
print(SomeStructure.storedTypeProperty)
// 打印“Another value.”
print(SomeEnumeration.computedTypeProperty)
// 打印“6”
print(SomeClass.computedTypeProperty)
// 打印“27”
下⾯的例子定义了一个结构体，使用两个存储型类型属性来表示两个声道的⾳量，每个声道具有 0 到 10 之间的整数⾳量。
下图展示了如何把两个声道结合来模拟⽴体声的⾳量。当声道的⾳量是 0 ，没有一个灯会亮;当声道的⾳量是 10 ，所有灯点亮。
本图中，左声道的⾳量是 9 ，右声道的⾳量是 7 :
上⾯所描述的声道模型使用 AudioChannel 结构体的实例来表示:
struct AudioChannel {
static let thresholdLevel = 10
static var maxInputLevelForAllChannels = 0
var currentLevel: Int = 0 {
didSet {
if currentLevel > AudioChannel.thresholdLevel {
// 将当前⾳量限制在阈值之内
currentLevel = AudioChannel.thresholdLevel
}
if currentLevel > AudioChannel.maxInputLevelForAllChannels {
// 存储当前⾳量作为新的最大输入⾳量
AudioChannel.maxInputLevelForAllChannels = currentLevel
}
}
}
}
AudioChannel 结构定义了 2 个存储型类型属性来实现上述功能。第一个是 thresholdLevel ，表示⾳量的最大上限阈值，它是⼀
个值为 10 的常量，对所有实例都可见，如果⾳量高于 10 ，则取最大上限值 10 (⻅后面描述)。
第二个类型属性是变量存储型属性 maxInputLevelForAllChannels ，它用来表示所有 AudioChannel 实例的最大输入⾳量，初始值
是 0 。
AudioChannel 也定义了一个名为 currentLevel 的存储型实例属性，表示当前声道现在的⾳量，取值为 0 到 10 。
属性 currentLevel 包含 didSet 属性观察器来检查每次设置后的属性值，它做如下两个检查:
如果 currentLevel 的新值大于允许的阈值 thresholdLevel ，属性观察器将 currentLevel 的值限定为阈值 thresholdLevel 。
如果修正后的 currentLevel 值大于静态类型属性 maxInputLevelForAllChannels 的值，属性观察器就将新值保存在
maxInputLevelForAllChannels 中。
注意
在第一个检查过程中， didSet 属性观察器将 currentLevel 设置成了不同的值，但这不会造成属性观察器被再次调用。可以使用
结构体 AudioChannel 创建两个声道 leftChannel 和 rightChannel ，用以表示立体声系统的⾳量:
var leftChannel = AudioChannel()
var rightChannel = AudioChannel()
如果将左声道的 currentLevel 设置成 7 ，类型属性 maxInputLevelForAllChannels 也会更新成 7 :
leftChannel.currentLevel = 7
print(leftChannel.currentLevel)
// 输出“7”
print(AudioChannel.maxInputLevelForAllChannels)
// 输出“7”
如果试图将右声道的 currentLevel 设置成 11 ，它会被修正到最大值 10 ，同时 maxInputLevelForAllChannels 的值也会更新到10:
rightChannel.currentLevel = 11print(rightChannel.currentLevel)
// 输出“10”
print(AudioChannel.maxInputLevelForAllChannels)
// 输出“10”
注意这章不停的说变量和属性的关系，其实他们是从不同的角度来说的，属性包括了变量和常量。
132
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
