编程语言的抽象机制

所谓的抽象：只声明、未定义；

抽象机制决定了软件的架构；

 

关键词：动态、扩展、多态

 

抽象的载体：

类型抽象：协议、接口、虚基类、抽象类、泛型、基类、高阶类型；

函数抽象：高阶函数、依赖抽象类型的函数；

 

抽象的具体化：

继承、实现、构造；

 

抽象类型变量的声明（抽象的关联）：

变量、参量、返回值；

 

抽象类型的赋值；

构造返回、依赖注入；类型系统

 

抽象的运行时：

多态机制、字面量实例化。类型系统；

 

接口类和抽象类、基类的区别：

接口类关注接口隔离和关注点分离、接口分离；

抽象类和基类关注共同功能。