代码之家 › 专栏 › 技术社区 › dangee1705

将赋值表达式编译为字节码[已关闭]

interpreter bytecode compiler-construction parsing c

dangee1705 · 技术社区 · 6 年前

a + 2

变成

TOKEN_NAME
TOKEN_ADD
TOKEN_INT

然后将其解析并转换为字节码,看起来像

LOAD_VARIABLE (this is the a)
LOAD_CONSTANT (this is the 2)
ADD

a[0][1] = 2

会变成

TOKEN_NAME
TOKEN_L_BRACKET
TOKEN_INT
TOKEN_R_BRACKET
TOKEN_L_BRACKET
TOKEN_INT
TOKEN_R_BRACKET
TOKEN_ASSIGN
TOKEN_INT

我需要加载一个,在该对象上做一个下标(0下标),然后将2存储到1下标中。我要补充的是,解析器实际上是LL(1),这使得这一点特别困难。

我想不出一种方法来确保左侧表达式的最后一部分(我要分配给它的部分)没有加载,而是将值(2)存储到其中。

提前谢谢。

1 回复 | 直到 6 年前

chqrlie 6 年前

可以使用简单的回溯方法构造引用:

编译表达式,就像读取表达式一样
如果下一个操作需要左值,请回顾上一个字节码操作
根据下表转换最后一个操作:
- LOAD_VALUE 转换为 GET_VALUE_REF
- LOAD_PROPERTY 转换为 GET_PROPERTY_REF 加载属性 a.b )
- LOAD_ELEMENT 转换为 GET_ELEMENT_REF 加载元件 a[b] )
- 任何其他操作码都会生成无效的左值错误。

这种方法对于最常见的语义来说已经足够了。对于C,您可以添加对解引用运算符的支持 * : GET_POINTER_VALUE GET_POINTER_REF 这基本上是禁止的。

要实现这一点,您需要跟踪编译器生成的最后一个操作码,并有可能将其修补到另一个字节码中。

表达 a[0][2] 将编译为

LOAD_VARIABLE a (this is the a)
LOAD_CONSTANT 0 (this is the 0)
GET_ELEMENT
LOAD_CONSTANT 2 (this is the 2)
GET_ELEMENT

a[0][2] = 3

LOAD_VARIABLE a
LOAD_CONSTANT 0
GET_ELEMENT
LOAD_CONSTANT 2
GET_ELEMENT_REF
LOAD_CONSTANT 3
STORE_REF

如果不需要引用(需要引用 a[b] += c

a[0][2]=3

LOAD_VARIABLE a
LOAD_CONSTANT 0
GET_ELEMENT
LOAD_CONSTANT 2
LOAD_CONSTANT 3
STORE_ELEMENT (uses 3 stack slots)

虽然 a[0][2] += 3

LOAD_VARIABLE a
LOAD_CONSTANT 0
GET_ELEMENT
LOAD_CONSTANT 2
GET_ELEMENT_REF
LOAD_REF
LOAD_CONSTANT 3
ADD
STORE_REF

推荐文章

joaofbsm · 将Java字节码重新组装为时出错。使用Krakatau的类文件

7 年前

Jonathan S. Fisher · Javassist报告字段在构造函数中初始化后为空

7 年前

isapir · 类池。get(className)抛出RuntimeException无法找到类

7 年前

Carlos Melo · 如何使用ByteBuddy重新设置接口默认方法的基础?

8 年前

Lukas Eder · 如何使用调试日志信息动态生成堆栈帧

8 年前

Valentin Lorentz · Python 3字节码格式

9 年前

Kevin Daly · 如何向ByteBuddy中的类添加字段,并在方法拦截器中设置/获取该值

9 年前

Lev Kuznetsov · 使用Byte Buddy截取默认构造函数

9 年前

Kevin Daly · 如何使用Byte Buddy从接口构建Java类的具体实现?

9 年前

batman · Java中何时执行二进制运算符?

9 年前