dynamic - 动态类型语言是如何在静态类型语言之上实现的？

Question

我最近才真正掌握了静态类型和动态类型之间的区别，从 C++ 开始，然后转向 Python 和 JavaScript。我不明白的是如何在静态类型语言(例如 C)之上实现动态类型语言(例如 Python)。我似乎记得曾经读过一些关于 void 指针的东西，但我并没有真正明白。

Answer 1

d-t 语言中的每个变量都表示为一个 struct { type, value }，其中一个值是联合/另一个结构/指针等。

在 C++ 中，例如，如果您创建一个基本抽象类 MyVariable 和派生的 MyInt、MyString 等，您可以获得相似(“相似”)的结果。您可以通过更多的工作，像在动态类型语言中一样使用这些变量. (我不太了解 C++，但我认为您需要使用友元运算符函数在运行时更改变量类型，或者可能不会，无论如何)

这个结果由同样的东西归档，运行时类型信息，它在对象中存储实际类型的信息

虽然我不会推荐它:)