木兰语言 0.0.17.4 发现依赖库风险/不支持 in;发布 Gitee Reward 首批悬赏任务

科技资讯 投稿 37100 0 评论

木兰语言 0.0.17.4 发现依赖库风险/不支持 in;发布 Gitee Reward 首批悬赏任务

依赖库风险

不知从何时开始,运行原始木兰的 逆向项目 时,就会报 rply 警告 ParserGeneratorWarning: Token '|=' is unused 而且任何求值都报错 “IndexError: list index out of range”。

一直没细究,本周才发现是因为木兰语法中的 “|” (位或)操作符在 rply 0.7.8 中成为了保留字,详见此 issue,就是在今年一月 rply 发布了 0.7.8 后就有此问题。

具体说,木兰逆向中有 @pg_.production('bin_expr : expr | expr' 这一语法规则,也就是表达式的位或运算,而在 rply 0.7.8 中包含了 这个 PR,将 | 作为语法规则的“或者”,也即 BNF 中 | 的原始语义。导致木兰的位或语法规则不能再识别。

为此问题 跟帖 尚未得到社区回应,想得到几种解决方案:

  • 限定用户安装 0.7.7 版本的 rply

  • 向 rply 提 PR,通过转义等方法使语法规则重新支持 | 字符

  • 另开 rply 分支并自行发布版本,可以回退问题 PR

限定 rply 版本的问题是,0.7.7 并没有这个错误定位信息的修正,影响调试和试用,如果两个 rply 版本在本机共存的话会增加开发测试的复杂度。

从之前的几次交流看,感觉 rply 社区已不大活跃,也许该早日考虑自行维护发布版本。

__contains__ 代替 in

去年挺早时候 就发觉木兰不支持 Python 中的 in 关键词,一直没发现比 __contains__ 更通用的变通办法,但还未死心。本周在重现 ast 生成木兰的这部分功能时,发现 Python 的 'a' in d 会被转换为木兰的 (d.__contains__('a',原可执行文件也确认了。看来在这个版本中,木兰并无更好的 in 替代语法。可惜!

类似地,Python 中的链式比较比如 'a' in 'ab' in d,会转换为木兰的“且”表达式 ('ab'.__contains__('a' and d.__contains__('ab'。个人感觉这个 Python 的链式语法并不像 in 那样常用,易用性问题似乎没那么大。

编程笔记 » 木兰语言 0.0.17.4 发现依赖库风险/不支持 in;发布 Gitee Reward 首批悬赏任务

赞同 (45) or 分享 (0)
游客 发表我的评论   换个身份
取消评论

表情
(0)个小伙伴在吐槽