在哪里可以找到能够报告C或C ++中的循环错误的词法分析器？

Question

我需要一个简单的词法分析器来报告C / C ++中的循环错误。

Answer 1

如果编写非法的for循环，编译器将大声抱怨：

for (int i)

在市场上的每个编译器上都会出现很大的错误。

但是，很多for循环的“错误”都是完全合法的。

我假设您正在尝试标记合法的for循环，这些循环并不意味着您想要它们表示什么。 当然，问题在于编译器无法知道您的意思 。 您可以合法地省略循环中这三个部分中的任何一个，并且通常不包含这三个部分。 此外，您还可以在每个部分中完成多项操作：

for (int i = 0, MAX_ITERS = 20; ; ++i, --MAX_ITERS) {
    if (MAX_ITERS == 0 || i > MAX_ITERS)
        break;
    if (i % 2 == 0)
        continue;
    std::cout << i << ',' << MAX_ITERS << '\n';
}

而且，当然，大多数循环错误对于编译器来说都是完全不可能的，例如，当您表示i <= 10时，写i < 10 i <= 10 。

Answer 2

我怀疑您想要的不是一个仅查看单个标记并且是编译器一部分的词法分析器，而是一个静态的分析器，其查看代码并建议潜在的错误。 查看以下问题：

• C ++代码分析工具
• C / C ++可以替代Lint吗？

Answer 3

flex / lex和bison / yacc是开发此类工具的两个很好的工具。 报告for循环错误似乎是您需要的非常具体的内容，因此您可能必须编写自己的词法分析器和解析器才能使其执行所需的操作。

野牛手册非常全面。

这么说，为什么不仅仅使用编译器的错误消息来查找是否编写了for循环错误？

Answer 4

对于纯词法分析，您可以使用正则表达式或数十种扫描仪生成器（flex / lex，ANTLR）中的任何一个。 另一方面，对于语法分析，您可能需要一个解析器生成器，该生成器可以读取上下文无关的语法。 但是，据我了解，大多数C ++解析器都是手写的。 我不确定，即使是LALR解析器也能解决问题。 您可能需要拿出大手笔，并使用诸如Bison的GLR支持之类的工具。 另外，有关词汇/句法分析的更多信息，我建议使用“ The Dragon Book” 。 祝好运！