0

0

Golang设计模式之解释器模式 Go语言构建简单领域特定语言(DSL)

P粉602998670

P粉602998670

发布时间:2026-03-15 14:33:31

|

889人浏览过

|

来源于php中文网

原创

Go中不适合用经典解释器模式写DSL,应优先用text/scanner+递归下降实现轻量解析,避免goyacc和反射执行,强调错误定位、结构化上下文与安全执行。

golang设计模式之解释器模式 go语言构建简单领域特定语言(dsl)

解释器模式在 Go 里真不适合写 DSL

Go 没有泛型(旧版)、缺乏运算符重载、函数类型不支持隐式转换,加上标准库对 AST 解析支持弱,硬套经典解释器模式只会让代码又长又难维护。你真正需要的不是 Expression 接口和一堆 TerminalExpression 实现,而是能快速验证语义、方便调试、上线后不崩溃的轻量解析逻辑。

text/scanner + 简单递归下降比手写解释器更稳

Go 标准库的 text/scanner 足够应付大多数配置类或规则类 DSL(比如权限表达式 user.role == "admin" && time.hour > 9)。它不生成完整 AST,但能精准定位错误位置,且无第三方依赖。

  • scanner.Mode 开启 ScanCommentsScanFloats,避免自己处理数字格式
  • 跳过空格和注释后,scanner.TokenText() 返回的是原始 token 字面量,别直接拿 scanner.Scan() 的 int 类型做 switch —— 容易漏 scanner.Identscanner.String 的边界
  • 递归下降时,每个解析函数(如 parseExpr())只负责一层优先级,用 peek() 预读下一个 token 再决定是否进入子表达式,否则会把 a + b * c 解错

goyacc 生成的 parser 在 Go 项目里反而容易翻车

一旦 DSL 规则变复杂(比如要支持函数调用、嵌套括号、自定义操作符),手写递归下降很快失控,这时有人会想上 yacc。但 go yacc 生成的代码默认不带错误恢复,一个语法错误就 panic;而且它输出的是全局状态机,跟 Go 的 error-first 风格拧着来。

  • 必须手动改 yacc 生成的 Parse() 函数,把 panic() 替成返回 fmt.Errorf("syntax error at %d", s.line)
  • %type 声明的类型不能是 interface{},得是具体 struct,否则运行时类型断言失败没提示
  • 生成的 yyParse 不接受 io.Reader,只能传 []byte,大文件直接内存爆掉 —— 得自己加 buffer 分块喂

DSL 的执行阶段别用反射调变量名

解析完 AST 或 token 流之后,执行层最容易犯的错是:看到 "user.name" 就去 reflect.ValueOf(ctx).FieldByName("user").FieldByName("name")。这在单元测试里跑得欢,一到线上就 panic:字段未导出、嵌套层级不对、nil 指针全靠运气。

灵机语音
灵机语音

灵机语音

下载

立即学习go语言免费学习笔记(深入)”;

  • 提前约定上下文结构体,用嵌入式 map[string]interface{} 做 fallback,比如 ctx.Get("user.name") 内部走点号分隔 + 逐层查 map,而不是反射
  • 所有变量访问都走统一 getter 接口,比如 func(ctx Context, path string) (interface{}, bool),这样后续可以加缓存、审计日志、超时控制
  • 禁止在执行阶段动态 eval 任意字符串 —— Go 没有安全沙箱,os/exec.Command("sh", "-c", userInput) 这种事,DSL 设计者比用户更早想到

DSL 的难点从来不在“怎么解析”,而在于“怎么让业务方改错一条规则时不连累整个服务”。越早把错误位置、变量绑定、执行超时这些细节钉死,后面省的 debug 时间越多。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
golang如何定义变量
golang如何定义变量

golang定义变量的方法:1、声明变量并赋予初始值“var age int =值”;2、声明变量但不赋初始值“var age int”;3、使用短变量声明“age :=值”等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

211

2024.02.23

golang有哪些数据转换方法
golang有哪些数据转换方法

golang数据转换方法:1、类型转换操作符;2、类型断言;3、字符串和数字之间的转换;4、JSON序列化和反序列化;5、使用标准库进行数据转换;6、使用第三方库进行数据转换;7、自定义数据转换函数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

247

2024.02.23

golang常用库有哪些
golang常用库有哪些

golang常用库有:1、标准库;2、字符串处理库;3、网络库;4、加密库;5、压缩库;6、xml和json解析库;7、日期和时间库;8、数据库操作库;9、文件操作库;10、图像处理库。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

356

2024.02.23

golang和python的区别是什么
golang和python的区别是什么

golang和python的区别是:1、golang是一种编译型语言,而python是一种解释型语言;2、golang天生支持并发编程,而python对并发与并行的支持相对较弱等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

214

2024.03.05

golang是免费的吗
golang是免费的吗

golang是免费的。golang是google开发的一种静态强类型、编译型、并发型,并具有垃圾回收功能的开源编程语言,采用bsd开源协议。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

410

2024.05.21

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

510

2025.06.09

golang相关判断方法
golang相关判断方法

本专题整合了golang相关判断方法,想了解更详细的相关内容,请阅读下面的文章。

201

2025.06.10

golang数组使用方法
golang数组使用方法

本专题整合了golang数组用法,想了解更多的相关内容,请阅读专题下面的文章。

1519

2025.06.17

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

69

2026.03.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Go 教程
Go 教程

共32课时 | 6.3万人学习

Go语言实战之 GraphQL
Go语言实战之 GraphQL

共10课时 | 0.9万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号