ada - Ada 中的标记类型是什么？

Question

目前正在学习 Ada 并真正享受其中，有一件事情困扰着我：什么是tagged类型？根据 John Barnes 在 Ada 2012 中的编程，它表明实例化的对象在运行时带有标签。

我在 C++ 或 CI 中从未听说过这样的事情，所以我有点迷茫。它是什么？我什么时候需要它（显然是为了拥有方法和继承？）？

标签： ada

Answer 1

它只是一个类。这是 Ada 中声明类层次结构根的一种方式。另一种方法是使用接口。

目前，它也是获取类型的点符号的方法（但这将在 Ada 2022 中推广）。

请参阅https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/chapters/08_Classes_and_Object_Oriented_Programming.html

所以你很少直接操作标签，就像 vtables 在幕后提供调度一样，但你不需要在 C++ 中考虑它们。

与这些语言的一个显着区别是T'Class可以用来引用整个派生类型家族，并且必须显式使用它来实现动态调度。