Ada语言中的tagged类型是什么？适用场景有哪些？

基本定义 #

tagged类型是Ada实现面向对象特性的核心基础类型，你在C中其实已经接触过等价的底层逻辑，只是C没有把这个概念显式暴露给开发者而已。John Barnes在书中提到的「运行时携带的标签」，本质上是和C++虚函数表指针（vptr）功能高度相似的隐含字段，用于在运行时标识对象的实际类型，支持动态分派。
和普通的Ada记录类型相比，tagged类型的声明只需要额外添加tagged关键字即可：

type Shape is tagged record
   X, Y : Float := 0.0;
end record;

以上就是最基础的tagged记录类型声明示例。

和面向对象特性的对应关系 #

你的猜测是正确的，tagged类型就是Ada面向对象三大特性的实现载体：

• 继承：只有tagged类型支持派生子类型，你可以基于已有tagged类型扩展字段和操作，和C++的类继承逻辑完全一致。比如可以从Shape派生出Circle类型：

  type Circle is new Shape with record
     Radius : Float := 1.0;
  end record;
  

• 动态分派（多态）：只有tagged类型的对象可以作为分派参数，调用对应的类域方法时会根据运行时的实际类型调用匹配的实现，等价于C++中的虚函数调用。
• 封装：你可以通过Ada的包可见性控制，把tagged类型的实现细节隐藏在包体中，只对外暴露公开的操作接口，和C++的类访问控制功能对应。

适用场景 #

只有当你需要用到面向对象相关特性时才需要使用tagged类型，普通业务逻辑用普通记录类型即可，典型适用场景包括：

• 需要实现类型继承，复用已有类型的字段和操作逻辑
• 需要用到运行时多态，根据对象实际类型动态调用对应方法
• 需要对类型进行运行时类型识别（RTTI），判断对象的实际类型

补充说明：C++中只要类定义了虚函数就会自动生成隐含的vptr字段，和Ada的tagged类型的标签功能完全一致，区别只是Ada把这个特性显式作为类型的标记属性暴露出来，让开发者可以明确控制是否需要承担面向对象相关的运行时开销，不需要相关特性的场景使用普通记录类型就不会产生额外消耗。

内容的提问来源于stack exchange，提问作者Louis Etienne