c++ - 解析器生成器的选择

Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。

想改善这个问题吗？更新问题，以便将其作为on-topic用于堆栈溢出。

6年前关闭。

Improve this question

好的，我知道这个问题听起来似乎是基于意见的，但是由于我有几个特定的选择标准，因此我认为这非常适合SO。所以，我在这里

过去，我从事过很多编译器/解释器的工作(显然是一种业余爱好)，由于某种原因，我坚持使用Lex/Yacc(或Flex/Bison)，现在他们如何称呼他们很困惑... 大声笑)。

但是，由于我发现自己目前正在玩另一个业余口译员项目，因此我认为我应该尝试一些不同的尝试，以避免我不喜欢Lex/Yacc。

因此，即:

更好的 C++友好(比C友好)

好的文档(最好是已实现的一些现有语法+有关如何编译/使用它们的说明-听起来很明显，是吧？)

可能是LALR，LL(*)，递归下降，我并不在乎(注意:输入有关您希望使用哪种类型以及哪种类型的实现会很棒；尽管我从未真正了解老实说，他们的优缺点，即使我确实知道他们指的是什么)

将Lexer部分和Parser语法组合到一个文件中一点都不好。从来没有真正了解它为什么要一分为二。

最后但并非最不重要的一点:我一直都...问题。我的意思是-至少就Lex/Yacc而言，解析错误消息或多或少是神秘的(Syntax Error ... Yuhuu!)，并且它们很少有助于诊断问题。 (嗯，除非您是开发口译员的人……大声笑)。那么，关于错误报告的问题，有什么比Lex/Yacc好吗？

好吧，我希望那不是太冗长。我全耳! :-)

最佳答案

自1969年以来，我一直在构建解析器生成器和解析器。

递归，YACC和JavaCC是您听到的典型答案。

这些是您祖父的解析器生成器，它们会接受语法上的限制。总是((特别是在Stack Overflow上)，一些可怜的灵魂问“如何解决这种移位/减少”问题(对于YACC等LR解析器生成器)或“如何消除左递归”的问题(如递归下降或LL解析器生成器) JavaCC)。更糟糕的是，它们无法处理像大多数复杂语言中确实存在语法歧义的语法。

GLR(和GLL)解析器允许您编写无上下文语法...并对其进行解析，而无需大惊小怪。这是真正的生产力提高。这是有代价的:您可能会得到模棱两可的解析结果，但是有很多方法可以解决这个问题。 (请参见discussion of C++ parsing troubles that neither YACC nor JavaCC can handle by themselves)。

野牛(广泛可用)有一个GLR option；用它!最近的多语言程序操纵工具似乎都使用GLL或GLR。我们的DMS软件再造工具包使用GLR并解析C++(MS和GNU变体中的完整C++ 14!)，Java，COBOL和许多其他复杂的语言； GLR一直是我职业生涯中最好的技术选择之一。 Stratego使用GLR。我认为RascalMPL使用GLL。 Scott McPeak的Elkhound GLR解析器生成器基于C++，并且我敢肯定，它生成C++代码(OP要求基于C++的答案)。

这些天的热门话题是PEG和ANTLR4。这些比LL或LR解析器更好，但在尝试塑造语法时仍然让人感到悲痛。 (使用PEG，假设可以找到这样的订单，则必须订购产品以处理具有优先级的模糊规则。使用ANTLR4，您仍然可以指定前瞻性来解决歧义；不知道它如何处理无限前瞻性)。 AFAIK，没有人使用这两种技术构建实用的C++解析器，因此它们没有辜负自己的声誉。

我认为GLR和GLL是更好的答案。

关于c++ - 解析器生成器的选择，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/22108506/

上一篇：c++ - 2个 vector 的和值

下一篇：c++ - CMake 和 Flex/Bison

gcc - 为什么我的 flex/yacc 编译器在另一台 Linux 机器上无法正确编译

c - 避免警告 : unreferenced find_rule label

c++ - 将指针数组传递给另一个类

C++ 元编程 : Store integer by type

使用指向同一类对象的指针的 C++ 类构造函数

php - 如何在 php 中解析长值？

vba - VBA中从字符串中提取数字

c++ - 如何访问 std::string 的每个成员？

android - 如何在 Android 中获取 html 源代码？