類和結(jié)構(gòu)體是人們構(gòu)建代碼所用的一種通用且靈活的構(gòu)造體。我們可以使用完全相同的語法規(guī)則來為類和結(jié)構(gòu)體定義屬性(常量、變量)和添加方法枣宫,從而擴展類和結(jié)構(gòu)體的功能。
與其他編程語言所不同的是咒精,Swift 并不要求為自定義類和結(jié)構(gòu)去創(chuàng)建獨立的接口和實現(xiàn)文件镶柱。所要做的是在一個單一文件中定義一個類或者結(jié)構(gòu)體,系統(tǒng)將會自動生成面向其它代碼的外部接口模叙。
注意
通常一個類
的實例被稱為對象
。然而在 Swift 中鞋屈,類和結(jié)構(gòu)體的關(guān)系要比在其他語言中更加的密切范咨,本文中所討論的大部分功能都可以用在類和結(jié)構(gòu)體上。因此厂庇,我們會主要使用實例
而不是對象
渠啊。
類和結(jié)構(gòu)體對比
Swift 中類和結(jié)構(gòu)體有很多共同點。共同處在于:
- 定義屬性用于存儲值
- 定義方法用于提供功能
- 定義附屬腳本用于訪問值
- 定義構(gòu)造器用于生成初始化值
- 通過擴展以增加默認(rèn)實現(xiàn)的功能
- 實現(xiàn)協(xié)議以提供某種標(biāo)準(zhǔn)功能
與結(jié)構(gòu)體相比权旷,類還有如下的附加功能:
- 繼承允許一個類繼承另一個類的特征
- 類型轉(zhuǎn)換允許在運行時檢查和解釋一個類實例的類型
- 解構(gòu)器允許一個類實例釋放任何其所被分配的資源
- 引用計數(shù)允許對一個類的多次引用
注意
結(jié)構(gòu)體總是通過被復(fù)制的方式在代碼中傳遞替蛉,不使用引用計數(shù)。
定義語法
類和結(jié)構(gòu)體有著類似的定義方式。我們通過關(guān)鍵字class
和struct
來分別表示類和結(jié)構(gòu)體躲查,并在一對大括號中定義它們的具體內(nèi)容:
class SomeClass {
// class definition goes here
}
struct SomeStructure {
// structure definition goes here
}
注意
在每次定義一個新類或者結(jié)構(gòu)體的時候它浅,實際上是定義了一個新的 Swift 類型。因此請使用UpperCamelCase
這種方式來命名(如SomeClass
和SomeStructure
等)镣煮,以便符合標(biāo)準(zhǔn) Swift 類型的大寫命名風(fēng)格(如String
姐霍,Int
和Bool
)。相反的典唇,請使用lowerCamelCase
這種方式為屬性和方法命名(如framerate
和incrementCount
)镊折,以便和類型名區(qū)分。
以下是定義結(jié)構(gòu)體和定義類的示例:
struct Resolution {
var width = 0
var height = 0
}
class VideoMode {
var resolution = Resolution()
var interlaced = false
var frameRate = 0.0
var name: String?
}
在上面的示例中我們定義了一個名為Resolution
的結(jié)構(gòu)體介衔,用來描述一個顯示器的像素分辨率恨胚。這個結(jié)構(gòu)體包含了兩個名為width
和height
的存儲屬性。存儲屬性是被捆綁和存儲在類或結(jié)構(gòu)體中的常量或變量炎咖。當(dāng)這兩個屬性被初始化為整數(shù)0
的時候赃泡,它們會被推斷為Int
類型。
在上面的示例中我們還定義了一個名為VideoMode
的類塘装,用來描述一個視頻顯示器的特定模式急迂。這個類包含了四個變量存儲屬性。第一個是分辨率
蹦肴,它被初始化為一個新的Resolution
結(jié)構(gòu)體的實例僚碎,屬性類型被推斷為Resolution
。新VideoMode
實例同時還會初始化其它三個屬性阴幌,它們分別是勺阐,初始值為false
的interlaced
,初始值為0.0
的frameRate
矛双,以及值為可選String
的name
渊抽。name
屬性會被自動賦予一個默認(rèn)值nil
,意為“沒有name
值”议忽,因為它是一個可選類型懒闷。
類和結(jié)構(gòu)體實例
Resolution
結(jié)構(gòu)體和VideoMode
類的定義僅描述了什么是Resolution
和VideoMode
。它們并沒有描述一個特定的分辨率(resolution)或者視頻模式(video mode)栈幸。為了描述一個特定的分辨率或者視頻模式愤估,我們需要生成一個它們的實例。
生成結(jié)構(gòu)體和類實例的語法非常相似:
let someResolution = Resolution()
let someVideoMode = VideoMode()
結(jié)構(gòu)體和類都使用構(gòu)造器語法來生成新的實例速址。構(gòu)造器語法的最簡單形式是在結(jié)構(gòu)體或者類的類型名稱后跟隨一對空括號玩焰,如Resolution()
或VideoMode()
。通過這種方式所創(chuàng)建的類或者結(jié)構(gòu)體實例芍锚,其屬性均會被初始化為默認(rèn)值昔园。
屬性訪問
通過使用點語法(dot syntax)蔓榄,可以訪問實例的屬性。其語法規(guī)則是默刚,實例名后面緊跟屬性名甥郑,兩者通過點號(.
)連接:
print("The width of someResolution is \(someResolution.width)")
// 輸出 "The width of someResolution is 0"
在上面的例子中,someResolution.width
引用someResolution
的width
屬性羡棵,返回width
的初始值0
壹若。
也可以訪問子屬性,如VideoMode
中Resolution
屬性的width
屬性:
print("The width of someVideoMode is \(someVideoMode.resolution.width)")
// 輸出 "The width of someVideoMode is 0"
也可以使用點語法為變量屬性賦值:
someVideoMode.resolution.width = 1280
print("The width of someVideoMode is now \(someVideoMode.resolution.width)")
// 輸出 "The width of someVideoMode is now 1280"
注意
與 Objective-C 語言不同的是皂冰,Swift 允許直接設(shè)置結(jié)構(gòu)體屬性的子屬性店展。上面的最后一個例子,就是直接設(shè)置了someVideoMode
中resolution
屬性的width
這個子屬性秃流,以上操作并不需要重新為整個resolution
屬性設(shè)置新值赂蕴。
結(jié)構(gòu)體類型的成員逐一構(gòu)造器(Memberwise Initializers for Structure Types)
所有結(jié)構(gòu)體都有一個自動生成的成員逐一構(gòu)造器,用于初始化新結(jié)構(gòu)體實例中成員的屬性舶胀。新實例中各個屬性的初始值可以通過屬性的名稱傳遞到成員逐一構(gòu)造器之中:
let vga = Resolution(width:640, height: 480)
與結(jié)構(gòu)體不同概说,類實例沒有默認(rèn)的成員逐一構(gòu)造器。
結(jié)構(gòu)體和枚舉是值類型
值類型被賦予給一個變量嚣伐、常量或者被傳遞給一個函數(shù)的時候糖赔,其值會被拷貝。
在之前的章節(jié)中轩端,我們已經(jīng)大量使用了值類型放典。實際上,在 Swift 中基茵,所有的基本類型:整數(shù)(Integer)奋构、浮點數(shù)(floating-point)、布爾值(Boolean)拱层、字符串(string)弥臼、數(shù)組(array)和字典(dictionary),都是值類型根灯,并且在底層都是以結(jié)構(gòu)體的形式所實現(xiàn)径缅。
在 Swift 中,所有的結(jié)構(gòu)體和枚舉類型都是值類型烙肺。這意味著它們的實例芥驳,以及實例中所包含的任何值類型屬性,在代碼中傳遞的時候都會被復(fù)制茬高。
請看下面這個示例,其使用了前一個示例中的Resolution
結(jié)構(gòu)體:
let hd = Resolution(width: 1920, height: 1080)
var cinema = hd
在以上示例中假抄,聲明了一個名為hd
的常量怎栽,其值為一個初始化為全高清視頻分辨率(1920
像素寬丽猬,1080
像素高)的Resolution
實例。
然后示例中又聲明了一個名為cinema
的變量熏瞄,并將hd
賦值給它脚祟。因為Resolution
是一個結(jié)構(gòu)體,所以cinema
的值其實是hd
的一個拷貝副本强饮,而不是hd
本身由桌。盡管hd
和cinema
有著相同的寬(width)和高(height),但是在幕后它們是兩個完全不同的實例邮丰。
下面行您,為了符合數(shù)碼影院放映的需求(2048
像素寬,1080
像素高)剪廉,cinema
的width
屬性需要作如下修改:
cinema.width = 2048
這里娃循,將會顯示cinema
的width
屬性確已改為了2048
:
print("cinema is now \(cinema.width) pixels wide")
// 輸出 "cinema is now 2048 pixels wide"
然而,初始的hd
實例中width
屬性還是1920
:
print("hd is still \(hd.width) pixels wide")
// 輸出 "hd is still 1920 pixels wide"
在將hd
賦予給cinema
的時候斗蒋,實際上是將hd
中所存儲的值進(jìn)行拷貝捌斧,然后將拷貝的數(shù)據(jù)存儲到新的cinema
實例中。結(jié)果就是兩個完全獨立的實例碰巧包含有相同的數(shù)值泉沾。由于兩者相互獨立捞蚂,因此將cinema
的width
修改為2048
并不會影響hd
中的width
的值。
枚舉也遵循相同的行為準(zhǔn)則:
enum CompassPoint {
case North, South, East, West
}
var currentDirection = CompassPoint.West
let rememberedDirection = currentDirection
currentDirection = .East
if rememberedDirection == .West {
print("The remembered direction is still .West")
}
// 輸出 "The remembered direction is still .West"
上例中rememberedDirection
被賦予了currentDirection
的值跷究,實際上它被賦予的是值的一個拷貝姓迅。賦值過程結(jié)束后再修改currentDirection
的值并不影響rememberedDirection
所儲存的原始值的拷貝。
類是引用類型
與值類型不同揭朝,引用類型在被賦予到一個變量队贱、常量或者被傳遞到一個函數(shù)時,其值不會被拷貝潭袱。因此柱嫌,引用的是已存在的實例本身而不是其拷貝。
請看下面這個示例屯换,其使用了之前定義的VideoMode
類:
let tenEighty = VideoMode()
tenEighty.resolution = hd
tenEighty.interlaced = true
tenEighty.name = "1080i"
tenEighty.frameRate = 25.0
以上示例中编丘,聲明了一個名為tenEighty
的常量,其引用了一個VideoMode
類的新實例彤悔。在之前的示例中嘉抓,這個視頻模式(video mode)被賦予了HD分辨率(1920
*1080
)的一個拷貝(即hd
實例)。同時設(shè)置為interlaced
晕窑,命名為“1080i”
抑片。最后,其幀率是25.0
幀每秒杨赤。
然后敞斋,tenEighty
被賦予名為alsoTenEighty
的新常量截汪,同時對alsoTenEighty
的幀率進(jìn)行修改:
let alsoTenEighty = tenEighty
alsoTenEighty.frameRate = 30.0
因為類是引用類型,所以tenEight
和alsoTenEight
實際上引用的是相同的VideoMode
實例植捎。換句話說衙解,它們是同一個實例的兩種叫法。
下面焰枢,通過查看tenEighty
的frameRate
屬性蚓峦,我們會發(fā)現(xiàn)它正確的顯示了所引用的VideoMode
實例的新幀率,其值為30.0
:
print("The frameRate property of tenEighty is now \(tenEighty.frameRate)")
// 輸出 "The frameRate property of theEighty is now 30.0"
需要注意的是tenEighty
和alsoTenEighty
被聲明為常量而不是變量济锄。然而依然可以改變tenEighty.frameRate
和alsoTenEighty.frameRate
暑椰,因為tenEighty
和alsoTenEighty
這兩個常量的值并未改變。它們并不“存儲”這個VideoMode
實例拟淮,而僅僅是對VideoMode
實例的引用干茉。所以,改變的是被引用的VideoMode
的frameRate
屬性很泊,而不是引用VideoMode
的常量的值角虫。
恒等運算符
因為類是引用類型,有可能有多個常量和變量在幕后同時引用同一個類實例委造。(對于結(jié)構(gòu)體和枚舉來說戳鹅,這并不成立。因為它們作為值類型昏兆,在被賦予到常量枫虏、變量或者傳遞到函數(shù)時,其值總是會被拷貝爬虱。)
如果能夠判定兩個常量或者變量是否引用同一個類實例將會很有幫助隶债。為了達(dá)到這個目的,Swift 內(nèi)建了兩個恒等運算符:
- 等價于(
===
) - 不等價于(
!==
)
運用這兩個運算符檢測兩個常量或者變量是否引用同一個實例:
if tenEighty === alsoTenEighty {
print("tenEighty and alsoTenEighty refer to the same Resolution instance.")
}
//輸出 "tenEighty and alsoTenEighty refer to the same Resolution instance."
請注意跑筝,“等價于”(用三個等號表示死讹,===
)與“等于”(用兩個等號表示,==
)的不同:
- “等價于”表示兩個類類型(class type)的常量或者變量引用同一個類實例曲梗。
- “等于”表示兩個實例的值“相等”或“相同”赞警,判定時要遵照設(shè)計者定義的評判標(biāo)準(zhǔn),因此相對于“相等”來說虏两,這是一種更加合適的叫法愧旦。
當(dāng)在定義自定義類和結(jié)構(gòu)體的時候,有義務(wù)來決定判定兩個實例“相等”的標(biāo)準(zhǔn)定罢。
指針
如果有 C笤虫,C++ 或者 Objective-C 語言的經(jīng)驗,那么也許會知道這些語言使用指針來引用內(nèi)存中的地址。一個引用某個引用類型實例的 Swift 常量或者變量耕皮,與 C 語言中的指針類似境蜕,但是并不直接指向某個內(nèi)存地址,也不要求使用星號(*
)來表明是在創(chuàng)建一個引用凌停。Swift 中的這些引用與其它的常量或變量的定義方式相同。
類和結(jié)構(gòu)體的選擇
在代碼中售滤,可以使用類和結(jié)構(gòu)體來定義自定義數(shù)據(jù)類型罚拟。
然而,結(jié)構(gòu)體實例總是通過值傳遞完箩,類實例總是通過引用傳遞赐俗。這意味兩者適用不同的任務(wù)。在考慮一個工程項目的數(shù)據(jù)結(jié)構(gòu)和功能的時候弊知,需要決定每個數(shù)據(jù)結(jié)構(gòu)是定義成類還是結(jié)構(gòu)體阻逮。
按照通用的準(zhǔn)則,當(dāng)符合一條或多條以下條件時秩彤,請考慮構(gòu)建結(jié)構(gòu)體:
- 該數(shù)據(jù)結(jié)構(gòu)的主要目的是用來封裝少量相關(guān)簡單數(shù)據(jù)值叔扼。
- 有理由預(yù)計該數(shù)據(jù)結(jié)構(gòu)的實例在被賦值或傳遞時,封裝的數(shù)據(jù)將會被拷貝而不是被引用漫雷。
- 該數(shù)據(jù)結(jié)構(gòu)中儲存的值類型屬性瓜富,也應(yīng)該被拷貝,而不是被引用降盹。
- 該數(shù)據(jù)結(jié)構(gòu)不需要去繼承另一個既有類型的屬性或者行為与柑。
舉例來說,以下情境中適合使用結(jié)構(gòu)體:
- 幾何形狀的大小蓄坏,封裝一個
width
屬性和height
屬性价捧,兩者均為Double
類型。 - 一定范圍內(nèi)的路徑涡戳,封裝一個
start
屬性和length
屬性结蟋,兩者均為Int
類型。 - 三維坐標(biāo)系內(nèi)一點妹蔽,封裝
x
椎眯,y
和z
屬性,三者均為Double
類型胳岂。
在所有其它案例中编整,定義一個類,生成一個它的實例乳丰,并通過引用來管理和傳遞掌测。實際中,這意味著絕大部分的自定義數(shù)據(jù)構(gòu)造都應(yīng)該是類,而非結(jié)構(gòu)體汞斧。
字符串(String)夜郁、數(shù)組(Array)、和字典(Dictionary)類型的賦值與復(fù)制行為
Swift 中粘勒,許多基本類型竞端,諸如String
,Array
和Dictionary
類型均以結(jié)構(gòu)體的形式實現(xiàn)庙睡。這意味著被賦值給新的常量或變量事富,或者被傳入函數(shù)或方法中時,它們的值會被拷貝乘陪。
Objective-C 中NSString
统台,NSArray
和NSDictionary
類型均以類的形式實現(xiàn),而并非結(jié)構(gòu)體啡邑。它們在被賦值或者被傳入函數(shù)或方法時贱勃,不會發(fā)生值拷貝,而是傳遞現(xiàn)有實例的引用谤逼。
注意
以上是對字符串贵扰、數(shù)組、字典的“拷貝”行為的描述森缠。在代碼中拔鹰,拷貝行為看起來似乎總會發(fā)生。然而贵涵,Swift 在幕后只在絕對必要時才執(zhí)行實際的拷貝列肢。Swift 管理所有的值拷貝以確保性能最優(yōu)化,所以沒必要去回避賦值來保證性能最優(yōu)化宾茂。