作者刘文涛
转载请注明出处
类和结构体
类和结构体是人们构建代码所用的一种通用且灵活的构造体。我们可以使用完全相同的语法规则来为类和结构体定义属性(常量、变量)和添加方法,从而扩展类和结构体的功能。
与其他编程语言不同的是,Swift并不要求你为自定义类和结构去创建独立的接口和实现文件。你所需要做的是在一个单一文件中定义一个类或者结构体,系统将会自动生成面向其它代码的外部接口。
注意:
通常一个类的实例被称为对象。然而在Swift中,类和结构体的关系要比在其他语言中更加密切,本章中所讨论的大部分功能都可以用在类和结构体上。
类和结构体对比
Swift 中类和结构体有很多共同点,共同之处在于:
• 定义属性用于存储值
• 定义方法用于提供功能
• 定义下标操作使得可以通过下标语法来访问实例所包含的值
• 定义构造器用于生产初始值
• 通过扩展以增加默认实现的功能
• 实现协议以提供某种标准功能
与结构体相比,类还有如下的附近功能:
• 继承允许一个类继承另一个类的特征
• 类型转换允许在运行时检查和解释一个类实例的类型
• 析构器允许一个类实例释放任何其所被分配的资源
• 引用计数允许对一个类的多次引用
####定义语法
类和结构体有着类似的定义方式。我们通过关键字 class
和 struct
来分别表示类和结构体,并在一对大括号中定义他们的具体内容:
|
|
注意
在你每次定义一个新类或者结构体的时候,实际上你是定义了一个新的Swift类型。因此请使用 UpperCamelCase 这种方式来命名(如SomeClass 和 SomeStructure等),以便符合标准Swift类型的大写命名风格 (如 String, Int 和 Bool)。相反的,请使用 lowerCamelCase 这种方式为属性和方法命名 (如 framerate 和 incrementCount),以便和类型名区分。
以下是定义结构体和定义类的示例:
|
|
在上面的示例中我们定义了一个名为 Resolution
的结构体,用来描述一个显示器的像素分辨率。这个结构体包含了两个名为 width
和 height
的存储属性。存储属性是被捆绑和存储在类或结构体中的常量或变量。当这两个属性被初始化为整数 0 的时候,他们会被推断为 Int 类型。
在上面的示例中我们还定义了一个名为 VideoMode
的类,用来描述一个视频显示器的特定模式。这个类包含了四个变量存储属性。第一个是 分辨率
,它被初始化为一个新的 Resolution
结构体的实例,属性类型被推断为 Resolution
。新 VideoMode
实例同时还会初始化其它三个属性,它们分别是,初始值为 false
的 interlaced
,初始值为 0.0
的 frameRate
,以及值为可选 String
的 name
。 name
属性会被自动赋予一个默认值 nil
,意为“没有name 值”,因为它是一个可选类型。
类和结构体实例
Resolution
结构体和 VideoMode
类的定义仅描述了什么是Resolution
和 VideoMode
。他们并没有描述一个特定的分辨率(resolution)或者视频模式(video mode)。为了描述一个特定的分辨率或者视频模式,我们需要生成一个它们的实例。
生成结构体和类实例的语法非常相似:
|
|
结构体和类都使用构造器语法来生成新的实例。构造器语法的最简单形式是在结构体或者类的类型名称后跟随一对空括号,如 Resolution()
或 VideoMode()
。通过这种方式所创建的类或者结构体实例,其属性均会被初始化为默认值。
属性访问
通过使用点语法,你可以访问实例的属性。其语法规则是,实例名后面紧跟属性名,两者通过点号( . )连接:
|
|
在上面的例子中, someResolution.width
引用 someResolution
的 width
属性,返回 width
的初始值 0 。
你也可以访问子属性,如 VideoMode
中 Resolution
属性的 width
属性
|
|
你也可以使用点语法为变量属性赋值:
|
|
注意:
与OC 语言不同的是,Swift 允许直接设置结构体属性的子属性。上面的最后一个例子,就是直接设置了 someVideoMode
中 resolution
属性的 width
这个子属性,以上操作并不需要重新为整个 resolution
属性设置新值。
结构体类型的成员逐一构造器
所有结构体都有一个自动生成的成员逐一构造器,用于初始化新结构体实例中成员的属性。新实例中各个属性的初始值可以通过属性的名称传递到成员逐一构造器之中:
|
|
与结构体不同,类实例没有默认的成员逐一构造器。
结构体和枚举是值类型
值类型被赋予给一个变量、常量或者被传递给一个函数的时候,其值会被拷贝。
在之前的章节中,我们已经大量使用了值类型。实际上,在 Swift 中,所有的基本类型:整数(Integer)、浮 点数(floating-point)、布尔值(Boolean)、字符串(string)、数组(array)和字典(dictionary),都是 值类型,并且在底层都是以结构体的形式所实现。
在 Swift 中,所有的结构体和枚举类型都是值类型。这意味着它们的实例,以及实例中所包含的任何值类型属 性,在代码中传递的时候都会被复制。
请看下面这个示例,其使用了前一个示例中的 Resolution
结构体:
|
|
在以上示例中,声明了一个名为hd的常量,其值为一个初始化为全高清视频分辨率(1920 像素宽,1080 像素高)的 Resolution
实例。
然后示例中又声明了一个名为 cinema
的变量,并将 hd
赋值给它。因为 Resolution
是一个结构体,所以 cinema
的值其实是 hd
的一个拷贝副本,而不是 hd
本身。尽管 hd
和 cinema
有着相同的宽 (width)
和高 (height)
,但是在幕后它们是两个完全不同的实例。
类是引用类型
与值类型不同,引用类型在被赋予到一个变量、常量或者被传递到一个函数时,其值不会被拷贝。因此,引用的是已存在的实例本身而不是其拷贝。
请看下面这个示例,其使用了之前定义的 VideoMode
类
|
|
以上示例中,声明了一个名为 tenEighty
的常量,其引用了一个 VideoMode
类的新实例。在之前的示例中,这个视频模式(video mode)
被赋予了HD分辨率( 1920 * 1080 )
的一个拷贝(即 hd
实例)。同时设置为 interlaced
,命名为 “1080i”
。最后,其帧率是 25.0
帧每秒。
然后, tenEighty
被赋予名为 alsoTenEighty
的新常量,同时对 alsoTenEighty
的帧率进行修改
|
|
因为类是引用类型,所以 tenEight
和 alsoTenEight
实际上引用的是相同的 VideoMode
实例。换句话说,它们是同一个实例的两种叫法。
通过查看 tenEighty
的 frameRate
属性,我们会发现它正确的显示了所引用的 VideoMode
实例的新帧率,其值为 30.0
。
需要注意的是 tenEight
和 alsoTenEight
被声明为常量而不是变量。然而你依然可以改变 tenEighty.frameRate
和 alsoTenEighty.frameRate
,因为 tenEight
和 alsoTenEight
这两个常量的值并未改变。它们并不 “存储”这个 VideoMode
实例,而仅仅是对 VideoMode
实例的引用。所以,改变的是被引用的 VideoMode
的 frameRate
属性,而不是引用 VideoMode
的常量的值。
恒等运算符
因为类是引用类型,有可能有多个常量和变量在幕后同时引用同一个类实例。(对于结构体和枚举来说,这并不成立。因为它们作为值类型,在被赋予到常量、变量或者传递到函数时,其值总是会被拷贝。)
如果能够判定两个常量或者变量是否引用同一个类实例将会很有帮助。为了达到这个目的,Swift内建了两个恒等运算符:
• 等价于 (===)
• 不等价于 (!==)
运用这两个运算符检测两个常量或者变量是否引用同一个实例
|
|
请注意,“等价于”(用三个等号表示, ===
)与“等于”(用两个等号表示, ==
)的不同:
• “等价于”表示两个类类型(class type)的常量或者变量引用同一个类实例。
• “等于”表示两个实例的值“相等”或“相同”,判定时要遵照设计者定义的评判标准,因此相对于“相等”来说,这是一种更加合适的叫法。
指针
一个引用某个引用类型实例的 Swift 常量或者变量,与 C 语言中的指针类似,但是并不直接指向某个内存地址,也不要求你是用星号(*
)来表明你在创建一个引用。Swift 中的这些引用与其它的常量或变量的定义方式相同。
类和结构体的选择
在你的代码中,你可以使用类和结构体来定义你的自定义数据类型。
然而,结构体实例总是通过值传递,类实例总是通过引用传递。这意味两者使用不同的任务。当你在考虑一个工程项目的数据结构和功能的时候,你需要决定每个数据结构是定义成类还是结构体。
按照通用的准则,当符合一条或多条以下条件时,请考虑构建结构体:
• 该数据结构的主要目的是用来封装少量相关简单数据值。
• 有理由预计该数据结构的实例在被赋值或传递时,封装的数据将会被拷贝而不是被引用。
• 该数据结构中储存的值类型属性,也应该被拷贝,而不是被引用。
• 该数据结构不需要去继承另一个既有类型的属性或者行为。
举例来说,以下情境中适合使用结构体:
• 几何形状的大小,封装一个 width 属性和 height 属性,两者均为 Double 类型。
• 一定范围内的路径,封装一个 start 属性和 length 属性,两者均为 Int 类型。
• 三维坐标系内一点,封装 x , y 和 z 属性,三者均为 Double 类型。
在所有其它案例中,定义一个类,生成一个它的实例,并通过引用来管理和传递。实际中,这意味着绝大部分的自定义数据构造都应该是类,而非结构体。
字符串、数组和字典类型的赋值与复制行为
Swift 中,许多基本类型,诸如 String
,Array
和 Dictionary
类型均以结构体的形式实现。这意味着被赋值给信的常量或者变量,或者被传入函数或方法中时,它们的值会被拷贝。
OC 中 NSString
, NSArray
和 NSDictionary
类型均以类的形式实现,而并非结构体。它们在被赋值或者被传入函数或方法时,不会发生值拷贝,而是传递现有实例的引用。
注意 以上是对字符串、数组、字典的“拷贝”行为的描述。在你的代码中,拷贝行为看起来似乎总会发生。然而,Sw ift 在幕后只在绝对必要时才执行实际的拷贝。Swift 管理所有的值拷贝以确保性能最优化,所以你没必要去回 避赋值来保证性能最优化。