background

用 ANTLR4 和 Python 写了个简单的计算器,代码在这里👉 keyi6/calculANTLR-python3

本文可以是一个 ANTLR4 的 Hello World 的进阶。

如果很想使用 C++,可以参考这个 repo empirical-soft/calculANTLR

introduction

ANTLR4(ANother Tool for Language Recognition) 是一款功能强大的语法分析器生成器,可以用来读取、处理、执行和转换结构化文本或二进制文件。它被广泛应用于学术界和工业界构建各种语言、工具和框架。

pic

ANTLR 有一套自己规定的定义语法的语法(⚠️禁止套娃),后缀为 .g 或者 .g4。通过这个文件,ANTLR 可以生成对应的 parser 和 lexer。并且 ANTLR 支持很多语言,所以用好 ANTLR 就能简单愉快的写一个编译器前端!

实现思路

安装流程不在此处赘述。

step1. 编写 Calculantlr.g4

1
2
3
4
5
6
7
8
9
10
11
grammar Calculantlr;

// non-terminals expressed as context-free grammar (BNF)
expr: left=expr op=('*'|'/') right=expr # OpExpr
| left=expr op=('+'|'-') right=expr # OpExpr
| atom=INT # AtomExpr
| '(' expr ')' # ParenExpr
;

// tokens expressed as regular expressions
INT : [0-9]+ ;

step2. 用 ANTLR 来生成 parser 和 lexer

1
antlr4 -Dlanguage=Python3 Calculantlr.g4 -visitor -o dist 

其中 -Dlanguage=Python3指定生成语言是 python;-visitor 是用来遍历 AST 用的,-o 指定输出的目录。

这一步会生成下面几个文件👇

1
2
3
4
5
6
7
8
9
dist
├── Calculantlr.interp
├── Calculantlr.tokens
├── CalculantlrLexer.interp
├── CalculantlrLexer.py
├── CalculantlrLexer.tokens
├── CalculantlrListener.py
├── CalculantlrParser.py
└── CalculantlrVisitor.py

step3. 如何使用生成的 parser 和 lexer

看官方关于 python 的文档只有这么一点点,不过依葫芦画瓢,这四句就建好了一个 AST 树。

1
2
3
4
5
6
7
8
9
10
11
12
13
from antlr4 import *
from dist.CalculantlrLexer import CalculantlrLexer
from dist.CalculantlrParser import CalculantlrParser

#...

# lexing
lexer = CalculantlrLexer(input_stream)
stream = CommonTokenStream(lexer)

# parsing
parser = CalculantlrParser(stream)
tree = parser.expr()

step4. 通过 Visitor 来遍历 AST

Visitor 的具体介绍可以看官方文档。看 dist/CalculantlrVisitor.py,这个 CalculantlrVisitor 继承了 ParseTreeVisitor,并且有:

  • visitAtomExpr
  • visitParenExpr
  • visitOpExpr

这个几个函数,分别对应了 Calculantlr.g4 的那几条规则(命名都一样)。

为了计算结果,我写了一个 CalcVisitor 继承自 CalculantlrVisitor,然后重写上面的三个函数,来实现表达式计算的功能。

visitAtomExpr

这个函数对应的👇这条语法。

1
2
expr:	...
| atom=INT # AtomExpr

要计算 AST 这个节点的值很简单,直接返回就好了。

1
2
def visitAtomExpr(self, ctx:CalculantlrParser.AtomExprContext):
return int(ctx.getText())

visitParenExpr

这个函数对应的👇这条语法。

1
2
expr:	...
| '(' expr ')' # ParenExpr

要计算 AST 这个节点的值也很简单,不管括号,直接返回 expr 的值就好了。

1
2
def visitParenExpr(self, ctx:CalculantlrParser.ParenExprContext):
return self.visit(ctx.expr())

visitOpExpr

这个函数对应的👇这两条语法。

1
2
3
expr:	left=expr op=('*'|'/') right=expr  # OpExpr
| left=expr op=('+'|'-') right=expr # OpExpr
...

思路是,计算左边,计算右边,然后计算自己并返回。

1
2
3
4
5
6
7
8
9
def visitOpExpr(self, ctx:CalculantlrParser.OpExprContext):
l = self.visit(ctx.left)
r = self.visit(ctx.right)

op = ctx.op.text
if op == '+': return l + r
elif op == '-': return l - r
elif op == '*': return l * r
elif op == '/': return l / r # 这里需要做个不被 0 除的保护

现在 CalcVisitor 这个类就写完了。这样调用,就能获得表达式的值了!

1
2
visitor = CalcVisitor()
ans = visitor.visit(tree)

step5 大功告成!

demo

写在后面

这是一个非常简单的 demo,ANTLR 除了做编译器前端之外还有很多很多作用。之前在知乎看到一个律师答主用 ANTLR 做一些法律文件(半结构化文本)的提取,GitHub 也有很多有趣的项目,例如 bramp/js-sequence-diagrams 做了一个时序图语言来方便画图,等等。

想在 mac OS 下安装 oracle?so easy!虽然 oracle 在 os X 下并没有 release,但是有了 docker 我们可以轻松实现。

安装docker

参考这个

在docker里安装Oracle

  1. 先下载oracle的image
    1
    docker pull wnameless/oracle-xe-11g
  2. 运行并开放窗口
    1
    docker run -d -p 49160:22 -p 49161:1521 wnameless/oracle-xe-11g
  3. 记下对应的IMAGE ID
    1
    docker image ls
    好了,现在可以在终端里通过
    1
    docker exec -it 你的IMAGEID /bin/bash
    这条命令在你的终端里跑oracle了。

但是,如果想使用GUI怎么办呢?

用SQL developer连接到你的oracle

下载SQL developer,然后用ssh连接到你的oracle。
默认信息为

1
2
3
4
5
hostname: localhost
port: 49161
sid: xe
username: system
password: oracle

注意连接的时候还有写Host和Port,用下面这条命令就能查询到你的oracle在的Host和Port。

1
docker ps
0%