定义

特质可以要求混入它的类扩展自另一个类型，但是当使用自身类型（self type）的声明来定义特质时（this: ClassName =>），这样的特质只能被混入给定类型的子类当中。

如果尝试将该特质混入不符合自身类型所要求的类时，就会报错。

从技术角度上看，自身类型是在类中提到this时，对于this的假设性类型。从实用角度上看，自身类型指定了对于特质能够混入的具体类的需求。如果你的特质仅用于混入另一个或几个特质，那么可以指定那些假设性的特质。

说明

类声明可以包含self类型的静态对象，也可以具有指向self类型的指针，但是不能具有self类型的非静态对象。

例如，以下程序可以正常运行。

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

但是下面的程序产生编译错误：“字段“ self”具有不完整的类型”

如果非静态对象是成员，则类的声明不完整，并且编译器无法找出该类对象的大小。

静态变量不会增加对象的大小。因此，使用自类型的静态变量计算大小不会出现问题。

对于编译器，所有指针都具有固定的大小，而与它们指向的数据类型无关，因此这也没有问题。

每日分享小知识，希望对你有帮助~

另外如果你想更好的提升你的编程能力，学好C语言C++编程！弯道超车，快人一步！笔者这里或许可以帮到你~

微信公众号：C语言编程学习基地

分享（源码、项目实战视频、项目笔记，基础入门教程）

欢迎转行和学习编程的伙伴，利用更多的资料学习成长比自己琢磨更快哦！