当前位置:首页 > 文章列表 > Golang > Go问答 > 编写自定义错误处理程序在ANTLR的Go目标中

编写自定义错误处理程序在ANTLR的Go目标中

来源:stackoverflow 2024-03-09 09:36:25 0浏览 收藏

哈喽!今天心血来潮给大家带来了《编写自定义错误处理程序在ANTLR的Go目标中》,想必大家应该对Golang都不陌生吧,那么阅读本文就都不会很困难,以下内容主要涉及到,若是你正在学习Golang,千万别错过这篇文章~希望能帮助到你!

问题内容

我正在尝试将 antlr 项目从 c++ 迁移到 go。语法和代码生成大部分已经完成(基于 65038949 中提供的解决方案),但还有一个待完成的项目是在 go 中编写自定义错误报告器。

我正在寻找一个用于以下目的的自定义错误报告器:

  1. 我想打印我的自定义消息,可能包含额外信息(例如文件名,默认错误打印机不会打印该消息)。

  2. 对于每个错误,错误报告器都会更新全局计数器,并且在主程序中,如果此 error_count>0 则跳过进一步的处理。

以下是 c++ 项目中所做的事情:

  1. 此函数中定义了自定义消息:

    string myerrormessage(unsigned int l, unsigned int p, string m) {
        stringstream s;
        s << "err: line " << l << "::" << p << " " << m;
        global->errors++;
        return s.str();
    }
    
  2. antlr 运行时 (consoleerrorlistener.cpp) 已更新为调用上述函数:

    void consoleerrorlistener::syntaxerror(irecognizer *, token * ,
      size_t line, size_t charpositioninline, const std::string &msg, std::exception_ptr)  {
      std::cerr << myerrormessage(line, charpositioninline, msg) << std::endl;
    }
    
  3. 最后,主程序将跳过进一步的处理,如下所示:

    parser.top_rule();
    if(global->errors > 0) {
        exit(0);
    }
    

如何为antlr的go目标重写这些c++代码?

浏览 antlr 运行时代码(来自 github.com/antlr/antlr4/runtime/go/antlr)后的一些附加说明:

  • parser.go 有一个变量“_syntaxerrors”,它会在每次错误时递增,但似乎没有人使用它。该变量的用途是什么?解析后如何使用它来检查是否发生了任何错误?我做了以下操作,但显然这不起作用! (解决方法是在解析器中添加一个新变量 myerrorcount,并在 _syntaxerrors 也增加时增加它,但这看起来不是一个优雅的解决方案,因为我在这里编辑运行时代码!)

    tree := parser.Top_rule() // this is ok
    fmt.Printf("errors=%d\n", parser._SyntaxErrors) // this gives a compiler error
    //fmt.Printf("errors=%d\n", parser.MyErrorCount) // this is ok
    
  • 在上面的注释中,我在 antlr 代码中引入了一个新变量,并在用户代码中读取它 - 糟糕的编码风格,但有效。但我还需要做相反的事情 - antlr 错误报告器(error_listener.go:syntaxerror())需要读取具有文件名的用户代码变量并打印它。我可以通过在 antlr 中添加一个新函数来传递此参数并将此文件名注册到新变量中来实现此目的,但是有更好的方法吗?


解决方案


antlr 很棒,但是,有一点需要注意的是,在错误处理方面,它不是 go 惯用的。这使得整个错误过程对于 golang 工程师来说不直观。

为了在每个步骤(词法分析、解析、行走)注入您自己的错误处理,您必须注入带有恐慌的错误侦听器/处理程序。恐慌和恢复非常类似于 java 异常,我认为这就是它如此设计的原因(antlr 是用 java 编写的)。

lex/parse 错误收集(容易做)

您可以根据需要实现任意数量的 errorlistener。使用的默认值是 ConsoleErrorListenerInstance。它所做的只是打印到 SyntaxErrors 上的 stderr,因此我们将其删除。自定义错误报告的第一步是替换它。我制作了一个基本的错误,仅收集自定义类型中的错误,以便稍后使用/报告。

type customsyntaxerror struct {
    line, column int
    msg          string
}

type customerrorlistener struct {
    *antlr.defaulterrorlistener // embed default which ensures we fit the interface
    errors []error
}

func (c *customerrorlistener) syntaxerror(recognizer antlr.recognizer, offendingsymbol interface{}, line, column int, msg string, e antlr.recognitionexception) {
    c.errors = append(c.errors, &customsyntaxerror{
        line:   line,
        column: column,
        msg:    msg,
    })
}

您可以在解析器/词法分析器上注入错误侦听器(同时清除默认侦听器)。

lexererrors := &customerrorlistener{}
lexer := newmylexer(is)
lexer.removeerrorlisteners()
lexer.adderrorlistener(lexererrors)

parsererrors := &customerrorlistener{}
parser := newmyparser(stream)
p.removeerrorlisteners()
p.adderrorlistener(parsererrors)

当词法分析/解析完成时,两个数据结构都会出现词法分析/解析阶段发现的语法错误。您可以使用 syntaxerror 中给出的字段进行操作。您必须在其他地方寻找其他接口函数,例如 reportambuiguity

if len(lexererrors.errors) > 0 {
        fmt.printf("lexer %d errors found\n", len(lexererrors.errors))
        for _, e := range lexererrors.errors {
            fmt.println("\t", e.error())
        }
    }

    if len(parsererrors.errors) > 0 {
        fmt.printf("parser %d errors found\n", len(parsererrors.errors))
        for _, e := range parsererrors.errors {
            fmt.println("\t", e.error())
        }
    }

lex/parse 错误中止(不确定这有多可靠)

警告:这确实让人感觉很卡顿。如果只需要收集错误,就按上面所示的操作即可!

要中止 lex/parse,您必须在错误侦听器中引发恐慌。老实说,我不明白这个设计,但是词法分析/解析代码包含在恐慌恢复中,用于检查恐慌是否属于 recognitionexception 类型。此异常作为参数传递给您的 errorlistener,因此请修改 syntaxerror 表达式

func (c *customerrorlistener) syntaxerror(recognizer antlr.recognizer, offendingsymbol interface{}, line, column int, msg string, e antlr.recognitionexception) {
  // ...
  panic(e) // feel free to only panic on certain conditions. this stops parsing/lexing
}

这个紧急错误被捕获并传递给实现ErrorStrategyerrorhandler。我们关心的重要函数是recover()。恢复尝试从错误中恢复,消耗令牌流,直到找到预期的模式/令牌。既然我们希望这个中止,我们可以从 BailErrorStrategy 中获得灵感。这个策略仍然很糟糕,因为它使用恐慌来停止所有工作。您可以简单地省略实现。

type betterbailerrorstrategy struct {
    *antlr.defaulterrorstrategy
}

var _ antlr.errorstrategy = &betterbailerrorstrategy{}

func newbetterbailerrorstrategy() *betterbailerrorstrategy {

    b := new(betterbailerrorstrategy)

    b.defaulterrorstrategy = antlr.newdefaulterrorstrategy()

    return b
}

func (b *betterbailerrorstrategy) reporterror(recognizer antlr.parser, e antlr.recognitionexception) {
    // pass, do nothing
}


func (b *betterbailerrorstrategy) recover(recognizer antlr.parser, e antlr.recognitionexception) {
    // pass, do nothing
}

// make sure we don't attempt to recover from problems in subrules.//
func (b *betterbailerrorstrategy) sync(recognizer antlr.parser) {
    // pass, do nothing
}

然后添加到解析器

parser.SetErrorHandler(NewBetterBailErrorStrategy())

话虽这么说,我建议只收集听众的错误,而不是费心尝试提前中止。 bailerrorstrategy 似乎并没有真正发挥作用,而且在 golang 中使用恐慌来恢复感觉很笨拙,很容易搞砸。

以上就是本文的全部内容了,是否有顺利帮助你解决问题?若是能给你带来学习上的帮助,请大家多多支持golang学习网!更多关于Golang的相关知识,也可关注golang学习网公众号。

版本声明
本文转载于:stackoverflow 如有侵犯,请联系study_golang@163.com删除
Win11游戏显示缺少d3dx9解决方案Win11游戏显示缺少d3dx9解决方案
上一篇
Win11游戏显示缺少d3dx9解决方案
无法中止 Go 代码启动的进程
下一篇
无法中止 Go 代码启动的进程
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    542次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    508次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    497次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    484次学习
查看更多
AI推荐
  • 笔灵AI生成答辩PPT:高效制作学术与职场PPT的利器
    笔灵AI生成答辩PPT
    探索笔灵AI生成答辩PPT的强大功能,快速制作高质量答辩PPT。精准内容提取、多样模板匹配、数据可视化、配套自述稿生成,让您的学术和职场展示更加专业与高效。
    28次使用
  • 知网AIGC检测服务系统:精准识别学术文本中的AI生成内容
    知网AIGC检测服务系统
    知网AIGC检测服务系统,专注于检测学术文本中的疑似AI生成内容。依托知网海量高质量文献资源,结合先进的“知识增强AIGC检测技术”,系统能够从语言模式和语义逻辑两方面精准识别AI生成内容,适用于学术研究、教育和企业领域,确保文本的真实性和原创性。
    42次使用
  • AIGC检测服务:AIbiye助力确保论文原创性
    AIGC检测-Aibiye
    AIbiye官网推出的AIGC检测服务,专注于检测ChatGPT、Gemini、Claude等AIGC工具生成的文本,帮助用户确保论文的原创性和学术规范。支持txt和doc(x)格式,检测范围为论文正文,提供高准确性和便捷的用户体验。
    39次使用
  • 易笔AI论文平台:快速生成高质量学术论文的利器
    易笔AI论文
    易笔AI论文平台提供自动写作、格式校对、查重检测等功能,支持多种学术领域的论文生成。价格优惠,界面友好,操作简便,适用于学术研究者、学生及论文辅导机构。
    51次使用
  • 笔启AI论文写作平台:多类型论文生成与多语言支持
    笔启AI论文写作平台
    笔启AI论文写作平台提供多类型论文生成服务,支持多语言写作,满足学术研究者、学生和职场人士的需求。平台采用AI 4.0版本,确保论文质量和原创性,并提供查重保障和隐私保护。
    42次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码