定義

特質(zhì)可以要求混入它的類擴(kuò)展自另一個(gè)類型，但是當(dāng)使用自身類型（self type）的聲明來定義特質(zhì)時(shí)（this: ClassName =>），這樣的特質(zhì)只能被混入給定類型的子類當(dāng)中。

如果嘗試將該特質(zhì)混入不符合自身類型所要求的類時(shí)，就會(huì)報(bào)錯(cuò)。

從技術(shù)角度上看，自身類型是在類中提到this時(shí)，對于this的假設(shè)性類型。從實(shí)用角度上看，自身類型指定了對于特質(zhì)能夠混入的具體類的需求。如果你的特質(zhì)僅用于混入另一個(gè)或幾個(gè)特質(zhì)，那么可以指定那些假設(shè)性的特質(zhì)。

說明

類聲明可以包含self類型的靜態(tài)對象，也可以具有指向self類型的指針，但是不能具有self類型的非靜態(tài)對象。

例如，以下程序可以正常運(yùn)行。

并且下面的程序也可以正常工作：

但是下面的程序產(chǎn)生編譯錯(cuò)誤：“字段“ self”具有不完整的類型”

如果非靜態(tài)對象是成員，則類的聲明不完整，并且編譯器無法找出該類對象的大小。

靜態(tài)變量不會(huì)增加對象的大小。因此，使用自類型的靜態(tài)變量計(jì)算大小不會(huì)出現(xiàn)問題。

對于編譯器，所有指針都具有固定的大小，而與它們指向的數(shù)據(jù)類型無關(guān)，因此這也沒有問題。

每日分享小知識(shí)，希望對你有幫助~

另外如果你想更好的提升你的編程能力，學(xué)好C語言C++編程！彎道超車，快人一步！筆者這里或許可以幫到你~

微信公眾號(hào)：C語言編程學(xué)習(xí)基地

分享（源碼、項(xiàng)目實(shí)戰(zhàn)視頻、項(xiàng)目筆記，基礎(chǔ)入門教程）

歡迎轉(zhuǎn)行和學(xué)習(xí)編程的伙伴，利用更多的資料學(xué)習(xí)成長比自己琢磨更快哦！