Boost::Spirit 中的字符列解析

Question

我正在为 Fortran 77 的一小部分开发基于 Boost Spirit 2.0 的解析器。我的问题我的问题是 Fortran 77 是面向列的，而我在 Spirit 中找不到任何可以允许其解析器具有列感知能力的内容。有什么办法可以做到这一点吗？

我实际上不必支持完整的晦涩的 Fortran 语法，但它确实需要能够忽略第一列中包含字符的行（Fortran 注释），并将第六列中包含字符的行识别为延续行。

似乎处理批处理文件的人至少会遇到与我相同的第一列问题。 Spirit 似乎有一个行尾解析器，但没有一个行首解析器（当然也不是一个column(x) 解析器）。

Answer 1

好吧，既然我现在有了答案，我想我应该分享它。

Fortran 77 可能像所有其他关心列的语言一样，是一种面向行的语言。这意味着您的解析器必须跟踪 EOL 并在解析中实际使用它。

另一个重要的事实是，就我而言，我并不关心解析 Fortran 可以放入那些早期控制列中的行号。我所需要的只是知道它何时告诉我以不同的方式扫描该行的其余部分。

考虑到这两点，我完全可以使用 Spirit 跳过解析器来处理这个问题。 我写的是

• 如果第一（注释）列包含字母字符，
• 跳过整行。如果整行上没有任何内容，则跳过整行。
• 如果第五列包含“.”，则忽略前面的 EOL 以及第五列之前的所有内容（续行）。这会将其固定到前一行。
• 跳过所有非 eol 空白（即使是空格在 Fortran 中也无关紧要。是的，这是一种奇怪的语言。）

这是代码：

        skip = 
            // Full line comment
            (spirit::eol >> spirit::ascii::alpha >> *(spirit::ascii::char_  - spirit::eol))
            [boost::bind (&fortran::parse_info::skipping_line, &pi)]
        |  
            // remaining line comment
            (spirit::ascii::char_ ('!') >> *(spirit::ascii::char_ - spirit::eol)
             [boost::bind (&fortran::parse_info::skipping_line_comment, &pi)])
        |
            // Continuation
            (spirit::eol >> spirit::ascii::blank >> 
             spirit::qi::repeat(4)[spirit::ascii::char_ - spirit::eol] >> ".")
            [boost::bind (&fortran::parse_info::skipping_continue, &pi)]

        |   
            // empty line 
            (spirit::eol >> 
             -(spirit::ascii::blank >> spirit::qi::repeat(0, 4)[spirit::ascii::char_ - spirit::eol] >> 
               *(spirit::ascii::blank) ) >> 
             &(spirit::eol | spirit::eoi))
            [boost::bind (&fortran::parse_info::skipping_empty, &pi)]
        |   
            // whitespace (this needs to be the last alternative).
            (spirit::ascii::space - spirit::eol)
            [boost::bind (&fortran::parse_info::skipping_space, &pi)]
        ;

我建议不要盲目地将其用于面向行的 Fortran，因为我忽略行号，并且不同编译器对于有效注释和连续字符有不同的规则。