Entropic Thoughts
16 hours ago
- Ada将面向对象编程分解为独立的特性，如封装、重用、继承、抽象接口、类型扩展和动态分派，允许选择性使用。
- 在Ada中，包规范体和包体是分离的，提供了清晰的可见性和编译时结构。
- Ada要求对类型扩展和空记录进行显式声明，防止隐式假设。
- Ada中的内存管理使用受控类型和Finalize过程进行自动清理，类似于C++中的RAII。
- Ada使用基于包的可见性控制而非基于类的可见性，允许子包访问父包的内部。
- Ada中的构造函数是返回对象的函数，但对于继承可能存在问题；子包或子函数可以避免基本操作的继承。
- Ada中的前缀方法调用语法是语法糖；动态分派需要类宽类型，而不是语法本身。
- Ada与C竞争，而非Java，并为C的内存管理提供了更安全、更具表现力的替代方案。