`
OneAPM_Official
  • 浏览: 24686 次
  • 性别: Icon_minigender_1
  • 来自: 北京
社区版块
存档分类
最新评论

如何用 ANTLR 4 实现自己的脚本语言?

阅读更多

ANTLR 是一个 Java 实现的词法/语法分析生成程序,目前最新版本为 4.5.2,支持 Java,C#,JavaScript 等语言,这里我们用 ANTLR 4.5.2 来实现一个自己的脚本语言。

 

因为某些未知原因,ANTLR 官方的文档似乎有些地方和 4.5.2 版的实际情况不太吻合,所以,有些部分,我们必须多方查找和自己实践得到,所幸 ANTLR 的文档比较丰富,其在 Github 上例子程序也很多,足够我们探索的了。

 

如果你没有编译原理的基础,只要写过正则表达式,应该也能很快理解其规则,进而编写自己的规则文件,事实上,因为结构更清晰, ANTLR 的规则文件,比正则表达式要简单得多。

 

我使用 C# 版本,所以下载了 antlr-4.5.2-complete.jar 和 C# 的支持库 Antlr4.Runtime.dll。

ANTLR 官方网址 http://www.antlr.org/ 
ANTLR 官方 Github https://github.com/antlr/antlr4 
大量语法文件例子 https://github.com/antlr/grammars-v4 

 

因为文章中不适合贴全部的代码,建议下载了 TinyScript 的代码后,和此文章对照阅读和实践。

 

本文程序的 Github https://github.com/Lifeng-Liang/TinyScript 


好了,进入正题,我们要定义一个解释型的脚本语言,就起个名叫 TinyScript 好了,规则文件名 TinyScript.g4 ,简单起见,暂不实现函数,具体实现的功能如下:

 

变量,支持的数据类型为 decimal,bool,string,不支持 null 
变量赋值支持自动类型推断,用 var 标识 
四则运算,支持字符串通过 + 进行连接 
支持比较运算符,支持与或非运算符 
if 语句,语句块必须用大括号包裹 
while,do/while,for 循环,同样语句块必须用大括号包裹 
一个内置的输出函数 print,可以输出表达式的值到控制台 
先说四则运算。四则运算里,除了括号外,需要先乘除,后加减,这个规则在 ANTLR 里怎么实现呢?

 

在 ANTLR 里,我们写的规则,会生成解析器的代码,这个解析器,会把目标脚本,解析成一个抽象语法树。这颗抽象语法树上,越是靠近叶子节点的地方,结合优先级越高,越是靠近根的地方,结合优先级越低,根据这个特点,我们就可以让 ANTLR 帮我们完成以上的规则:

addExpression
: mulExpression (('+' | '-') mulExpression)*
;
mulExpression
: primaryExpression (('*' | '/') primaryExpression)*
;
primaryExpression
: Decimal
| '(' addExpression ')'
;

 

上面展示的 ANTLR 规则,在 primaryExpression 中,包括两个可选项,要么是数字,要么是括号表达式,是最高优先级,然后是 mulExpression,优先级最低的是 addExpression 。括号表达式内,是一个 addExpression ,所以,这是一个循环结构,可以处理无限长的四则运算式,比如 1+2*3-(4+5)/6+7+8,会被解析为如下的语法树:

addExpression : 1 + child1_1 - child1_2 + 7 + 8
child1_1 mulExpression : 2 * 3
child1_2 mulExpression : child1_2_1 / 6
child1_2_1 addExpression : 4 + 5

 

以上的语法树,其实是我简化了的,比如,其中的数字 1 其实应该是 ·mulExpression ,而这个 mulExpression 只有一项 primaryExpression,而这个 primaryExpression,是 Decimal,其值为 1 。

 

PS: 在 ANTLR 中,大写字母开头的标识符,如上面的 Decimal,是词法分析器解析的,而小写字母开头的标识符,如 addExpression,是语法分析器解析的,它可以通过 override Visitor 的相应函数,改成我们自己的处理。因为缺省情况下,ANTLR 4 生成的是 listener,而我想要使用 visitor,所以命令行输入为:

   java -jar C:\Projects\ScriptParser\ts\antlr-4.5.2-complete.jar -visitor -no-listener TinyScript.g4

 

用上面的命令生成代码后,我们需要知道怎么才能启动它,可惜这里,至少对于 C#,文档写的要么不全,要么不正确,最后,我找到了正确的打开方式:

using (var ais = new AntlrInputStream(new FileStream(fileName,     FileMode.Open)))
{
var lexer = new TinyScriptLexer(ais);
var tokens = new CommonTokenStream(lexer);
var parser = new TinyScriptParser(tokens);
parser.BuildParseTree = true;
var tree = parser.program();
var visitor = new MyVisitor();
visitor.Visit(tree);
}

 

上面的 MyVisitor,是我们需要实现的,它从生成的 TinyScriptBaseVisitor 继承, TinyScriptBaseVisitor 是个泛型类,研究后,它的泛型参数是设计用来传递返回值的,因为要支持多种数据类型,所以我把它定义为 object 。

 

在实现 MyVisitor 时,只要每个节点都做好自己的工作就可以了。下面我们以 VisitMulExpression 函数来简单介绍一下如何实现乘除运算:

public override object VisitMulExpression([NotNull]     TinyScriptParser.MulExpressionContext context)
{
var a = VisitPrimaryExpression(context.primaryExpression(0));
for (int i = 1; i < context.ChildCount; i += 2)
{
var op = context.GetChild(i).GetText();
var b =     (decimal)VisitPrimaryExpression((TinyScriptParser.PrimaryExpressionContext)context.GetChild(i + 1));
switch (op)
{
case "*":
a = (decimal)a * b;
break;
case "/":
a = (decimal)a / b;
break;
}
}
return a;
}

 

因为 mulExpression 的定义中,至少有一个 primaryExpression,然后,可以有任意多乘除运算符及相应的 primaryExpression ,对应在 VisitMulExpression 函数中,就是第一个子节点是 primaryExpression ,(如果有的话)第二个子节点是运算符,第三个子节点是 primaryExpression,第四个子节点是运算符……所以,上面的代码,先通过 VisitPrimaryExpression 取出第一个节点值,保存在变量 a 中,然后,通过循环获取运算符和另一个值,并进行相应的运算,并把结果保存在 a 中,最后把运算结果 a 返回。因为在 VisitMulExpression 中,只会处理乘除运算,它们是同等的优先级,我们也就不用考虑这个问题,直接运算下去就可以了。

 

要注意的是,如果 mulExpression 只有一个 primaryExpression 节点,它就不一定是 decimal ,所以 a 的类型是 object ,而在进行运算时,才会把它强制类型转换成 decimal,因为这时我们已经确定它是 decimal 类型了。

 

PS:在这里,我们有两种方式取得子节点的值,如果定义中用了标识符,就可以直接使用这个标识符名作为函数调用,如上面的 context.primaryExpression(0) ,表示取第一个 primaryExpression ;另一种方法是调用 GetChild 函数,GetChild 函数因为是通用函数,所以经常需要强制类型转换为我们需要的类型。

 

下面,我们来说说变量定义及自动类型推断。

 

为了实现变量,我们在我们的 Visitor 中定义一个 Dictionary 类型的变量 Variables ,用来保存变量和它的值,在 VisitDeclareExpression 函数中,根据变量类型,在 Variables 中插入相应的键值对,然后,在赋值时,检查要被赋值的表达式的值的类型,是否和 Variables 中的一致,如果不一致,则抛出异常。

public override object VisitAssign([NotNull] TinyScriptParser.AssignContext     context)
{
var name = context.Identifier().GetText();
object obj;
if (!Variables.TryGetValue(name, out obj))
{
throw context.Exception("Variable [{0}] should be definded first.", name);
}
var r = base.VisitAssign(context);
if (obj != null)
{
if (obj.GetType() != r.GetType())
{
throw context.Exception("Cannot assign [{1}] type value to a variable with  type [{0}].", obj.GetType().Name, r.GetType().Name);
}
}
Variables[name] = r;
return null;
}

 

当然,我们也可以选择不在乎赋值语句两边是否类型相同,这样,它的行为方式就和很多脚本语言如 JavaScript 比较类似,变量在使用中可以改变类型。

 

不知道你是否注意到了,在上面的描述中,我们说到,我们其实知道表达式的结果的类型,并能在类型不匹配的时候抛出异常,那么,如果我们选择在定义类型时,如果变量类型是 var 的话,我们就不处理类型不匹配的问题,就是实现了自动类型推断!有点小颠覆吧?似乎很高级的这个语言特性,其实是顺理成章就可以得到的,不需要什么高大上的技术。在我们的脚本里,要做到这一点,只要在 VisitDeclareExpression 函数中,遇到 var 时,在插入变量时,变量值是 null 就可以了。

 

下面,我们再来看看 if 语句的处理,我们顶一个一个必须用大括号包裹的语句组类型 blockStatement , if 语句定义如下:

ifStatement
: 'if' quoteExpr blockStatement
| 'if' quoteExpr blockStatement 'else' blockStatement
;

 

当然,其实,上面的定义和下面这种写法是等价的:

ifStatement
: 'if' quoteExpr blockStatement ('else' blockStatement)?
;

 

然后,我们在 VisitIfStatement 函数中,真的写一个 if 语句,用来执行不同的 blockStatement 就可以了:

public override object VisitIfStatement([NotNull]     TinyScriptParser.IfStatementContext context)
{
var condition = (bool)VisitQuoteExpr(context.quoteExpr());
if (condition)
{
VisitBlockStatement(context.blockStatement(0));
}
else if (context.ChildCount == 5)
{
VisitBlockStatement(context.blockStatement(1));
}
return null;
}

 

最后那个 return null 是表明,我们的 if 语句不产生任何值。加上对 Visitor 内取值遍历等的理解,这个 if 语句的处理是否看起来非常清晰明了?

 

最后,来看看循环语句,我们以 for 循环为例,先看定义:

forStatement
: 'for' '(' commonExpression ';' expression ';' assignAbleStatement ')'   blockStatement
;

 

再看实现:

public override object VisitForStatement([NotNull] TinyScriptParser.ForStatementContext context)
{
for (VisitCommonExpression(context.commonExpression());
(bool)VisitExpression(context.expression());
VisitAssignAbleStatement(context.assignAbleStatement()))
{
VisitBlockStatement(context.blockStatement());
}
return null;
}

 

嗯,你没看错,我们真的用了一个 for 循环来实现 for 循环 :slight_smile:

好了,如果你下载了整个程序,并编译成功,我们现在可以编写一些脚本来做测试了,比如下面这个计算 1 到 100 的和的程序 sum.ts :

var sum = 0;
for(var i=1; i<=100; i=i+1) {
sum = sum + i;
}
print("sum 1 to 100 is : " + sum);

 

运行 ts sum.ts ,控制台输出:

sum 1 to 100 is : 5050

 

当然,这个脚本语言功能还比较弱,比如不支持函数,比如字符串不支持转义符等;也有一些实现的不太严格地方,比如强制类型转换如果出错,出错信息不准确等。不过,它是一个好的开始,可以让我们在此基础上,设计更完善、易用的语言。

 

OneAPM 为您提供端到端的 Java 应用性能解决方案,我们支持所有常见的 Java 框架及应用服务器,助您快速发现系统瓶颈,定位异常根本原因。分钟级部署,即刻体验,Java 监控从来没有如此简单。想阅读更多技术文章,请访问 OneAPM 官方技术博客

 

本文转自 OneAPM 官方博客

 

 
分享到:
评论

相关推荐

    应用ANTLR实现过程式语言操作语义的动态演示

    总的来说,通过ANTLR实现的过程式语言操作语义的动态演示系统为教育环境提供了有力的支持,它创新性地将抽象的理论转化为可视化的学习体验,有助于提高学生对编程语言语义的理解和兴趣。这样的工具对于提升计算机...

    The Definitive ANTLR 4 Reference.pdf

    它广泛应用于构建语言、工具和框架,从脚本语言和配置文件到DSL(领域特定语言)和嵌入式语法。ANTLR 4生成的解析器基于LL(*)解析算法,具有强大的错误恢复和错误报告能力,使其在处理语法错误时具有更高的灵活性。 ...

    The Definitive ANTLR4Reference 学习笔记

    ANTLR(Another Tool for ...开发者可以使用这些API来集成ANTLR解析器到自己的应用程序中,从而执行语言特定的逻辑。最后,ANTLR的手册还提供了一个语法参考,可以作为开发者在编写和理解ANTLR语法时的词典查询。

    开源项目-antlr-antlr4.zip

    这个开源项目"antlr4-go"是ANTLR4针对Go语言的目标实现,意味着它允许开发人员在Go语言环境中构建解析器和词法分析器。 ANTLR4的工作原理基于上下文无关语法(Context-Free Grammar,CFG),它可以从输入的语言规范...

    ANTLR实现计算器 ANTLR入门

    标题和描述提到的“ANTLR实现计算器 ANTLR入门”意味着本文档将介绍如何利用ANTLR工具来实现一个简单的计算器。ANTLR(Another Tool for Language Recognition)是一个强大的语法分析器生成器,它能够帮助开发者创建...

    antlr4 .7.1的complete 和 runtime

    ANTLR的完整版本中,你将找到ANTLR的Java源代码、库文件、文档、示例以及用于生成目标语言(如Java、C#、Python等)解析器的Ant构建脚本。 `antlr_runtime-4.7.1`则是ANTLR的运行时库,它是你的应用程序在运行时...

    VB 实现简单脚本语言编译器及执行器

    在VB(Visual Basic)编程环境中实现一个简单的脚本语言编译器及执行器是一项具有挑战性的任务,它涉及到计算机科学中的编译原理、解析技术、虚拟机设计等多个领域。VB本身是一个面向对象的编程语言,通常用于快速...

    编译原理基于antlr的编译器

    在这个基于ANTLR的编译器项目中,主要目标是实现Swift编程语言到JavaScript的翻译。Swift是一种由Apple开发的开源编程语言,广泛应用于iOS、macOS和其他Apple平台的应用开发;而JavaScript则是Web开发中不可或缺的一...

    antlr4-short-course

    ANTLR 4简明教程是一本介绍ANTLR 4使用方法的书籍,内容基于最新版ANTLR 4的语法编写,作者在阅读官方参考书时整理了自己的读书笔记,并在此基础上增加了新的内容。这本书以开源形式编写,源码托管在GitHub上,方便...

    antlr4-cpp-runtime-4.13.1-source.zip

    一旦安装成功,就可以在自己的C++项目中导入ANTLR4库,利用其强大的语法解析能力处理自定义语言或格式。 总结来说,ANTLR4是一个强大的工具,它的C++运行时库提供了在C++应用中解析复杂语法的能力。"antlr4-cpp-...

    利用Antlr实现的命令行解析器

    Antlr(ANother Tool for Language Recognition)是一款强大的...这种能力在开发复杂命令行工具、脚本语言或自定义解释器时非常有用,因为Antlr自动化了许多低级的解析工作,使开发者能够专注于高级逻辑和功能实现。

    antlr-haskell:Haskell的语言解析准引用程序,主要基于ANTLR4

    在实际应用中,ANTLR-Haskell可以帮助Haskell开发者构建自定义的解析器,例如用于解析配置文件、脚本语言,甚至自定义的数据交换格式。通过ANTLR4,用户可以定义一套清晰的上下文无关文法(Context-Free Grammar, ...

    antlr-2.7.7.jar

    ANTLR-2.7.7是ANTLR的一个较旧版本,虽然新的版本(如ANTLR 4)提供了更多的特性和改进,但老版本仍然在某些场景下被使用,可能是因为兼容性、稳定性或者特定需求。在使用ANTLR-2.7.7.jar时,开发者需要注意这个版本...

    Antlr简介及中文手册

    通过使用ANTLR,可以更快速、准确地实现语言解析,适用于各种需要解析和转换文本格式的场景,如编译器、脚本解释器、数据格式转换工具等。 在实际项目中,ANTLR不仅可以用于传统的编译器和解释器开发,还可以应用于...

    antlr.jar-2.7.6

    在实际开发中,ANTLR不仅限于Hibernate,还可以用于构建各种自定义的语言或工具,比如配置文件解析器、DSL(领域特定语言)的实现,甚至是可以处理复杂逻辑的脚本引擎。ANTLR的强大之处在于它的灵活性和可扩展性,...

    ANTLR-4-Resource-Code:ANTLR4权威指南源代码-代

    1. **ANTLR Grammar Files**:这些文件(扩展名为.g4)是ANTLR 4 的语法定义文件,用以描述要解析的语言结构。ANTLR 会根据这些文件生成解析器和词法分析器。 2. **Source Code Examples**:书中提到的各种示例程序...

    MFPL:一种称为 MFPL 的编程语言的语法设计和实现。 用 ANTLR4 开发

    MFPL(可能代表“My First Programming Language”)是一种编程语言,其语法设计和实现是基于ANTLR4工具进行的。...通过学习和使用MFPL,你可以深入了解ANTLR4工具的使用,以及编程语言设计与实现的基本过程。

    solidity-antlr4:ANTLR4的固态语法

    通过使用这个项目,开发者可以构建自定义工具来检查Solidity代码的语法错误,进行类型检查,提取函数签名,甚至实现自己的编译器后端。此外,对于教学和学习Solidity,这个解析器也能提供深入理解语言结构的机会。 ...

    smt-antlr4-javascript-parser:该项目在构建时将生成 ANTLR4 JavaScript 解析类

    ANTLR4 是一个强大的解析器生成器,用于读取、处理、执行或翻译结构化文本或二进制...通过深入理解ANTLR4的工作原理和这个项目的具体实现,我们可以更好地掌握JavaScript的解析技术,为自己的项目带来更多的可能性。

Global site tag (gtag.js) - Google Analytics