目前正在学习 Ada 并真正享受它，有一件事情困扰着我:什么是 tagged类型？根据 John Barnes 的 Programming in Ada 2012，它表示实例化的对象在运行时带有标签。
我想我从来没有在 C++ 或 C 中听说过这样的事情，所以我有点迷茫。它是什么？我什么时候需要它(显然是为了拥有方法和继承？)？
最佳答案
它只是一个类。这是 Ada 中声明类层次结构根的一种方式。另一种方法是使用接口(interface)。
目前，这也是获取类型点符号的方法(但这将在 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可用于引用整个派生类型系列，并且必须显式使用它来实现动态调度。
关于ada - Ada 中的标记类型是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/68994118/