struct - 动态编程语言解释器中的类/结构成员

Question

对于静态类型语言，成员访问很容易，只需在编译时计算成员的偏移量即可。但是 ruby​​ 或 python 是如何做到的呢？可能有更多具有相同成员名称的结构，您甚至不确定变量保存的对象类型。他们是否使用某种字典在运行时查找成员？

Answer 1

如果您从头开始实现动态类型语言，那么您可能会从这里开始 - 使用基于哈希表的字典之类的东西，这是一个非常好的解决方案。

一些针对大小而不是性能进行优化的动态语言运行时(例如Jerryscript，一种高度大小优化的Javascript解释器)专门使用这种方法，并且效果很好。

然而，大多数现代基于 JIT 的动态语言运行时，例如 V8 Javascript 引擎(在 Chrome 和 Node.js 中使用)或 Safari 中使用的 JSC Javascript 引擎，仅在无法使用时才使用此类字典作为后备。做得更好。

Here's an answer to another question我在其中描述了 V8 map 的工作原理以及它们如何使属性访问变得非常高效。它包含一个指向更详细描述的链接，以及由 V8 首席工程师之一 Lars Bak 制作的视频，如果您对这些东西的工作原理感兴趣，这将是很好的选择。

对于 Ruby(与 Javascript 一样)，有许多不同的实现(JRuby、MRI、Rubinius 等)，因此回答“Ruby 是如何做到的”这个问题很困难 - 每个实现都将在一个不同的方式(尽管由于语言设计的原因会有很多相似之处)。

由于您似乎一般都在询问动态语言中的概念，因此希望您会发现上面的链接为您提供了一些有关可能实现的有用信息。