類型繼承子句被用來指定一個命名型類型繼承哪個類且適配哪些協(xié)議。類型繼承子句開始于冒號:
,緊跟由,
隔開的類型標(biāo)識符列表。
類可以繼承單個超類,適配任意數(shù)量的協(xié)議。當(dāng)定義一個類時,超類的名字必須出現(xiàn)在類型標(biāo)識符列表首位,然后跟上該類需要適配的任意數(shù)量的協(xié)議。如果一個類不是從其它類繼承而來,那么列表可以以協(xié)議開頭。關(guān)于類繼承更多的討論和例子,見章節(jié)“繼承”。
其它命名型類型可能只繼承或適配一個協(xié)議列表。協(xié)議類型可能繼承于其它任意數(shù)量的協(xié)議。當(dāng)一個協(xié)議類型繼承于其它協(xié)議時,其它協(xié)議的條件集合會被集成在一起,然后其它從當(dāng)前協(xié)議繼承的任意類型必須適配所有這些條件。
枚舉定義中的類型繼承子句可以是一個協(xié)議列表,或是指定原始值的枚舉,一個單獨的指定原始值類型的命名型類型。使用類型繼承子句來指定原始值類型的枚舉定義的例子,見章節(jié)“原始值”。
類型繼承子句語法
類型繼承子句 → : 類型繼承列表
類型繼承列表 → 類型標(biāo)識 | 類型標(biāo)識 , 類型繼承列表