How to skip comments in a block / block / nested block in Boost.Spirit?

Question

When analyzing a language using Boost.Spirit, how can I guarantee that I am missing

// line comments

/* block
   comments */ and

/* /* nested
   block */ comments */

when reading code? At the moment, I'm just doing phrase_parsein a predefined qi::grammar. I guess I need some kind of missing lexer, right?

Answer 1

No lexers required.

Here is an example of a grammar that implements it: A cross-platform way to get the line number of the INI file where this parameter is specified , but regardless of whether you can use a skipper for example:

using Skipper = qi::rule<Iterator>;

Skipper block_comment, single_line_comment, skipper;

single_line_comment = "//" >> *(char_ - eol) >> (eol|eoi);
block_comment = "/*" >> *(block_comment | char_ - "*/") > "*/";

skipper = single_line_comment | block_comment;

, ,

skipper = space | single_line_comment | block_comment;

, qi::expectation_failure<>, */.

, , .

Demo

Live On Coliru

#include <boost/spirit/include/qi.hpp>
namespace qi = boost::spirit::qi;

int main() {
    using Iterator = boost::spirit::istream_iterator;
    using Skipper  = qi::rule<Iterator>;

    Skipper block_comment, single_line_comment, skipper;

    {
        using namespace qi;
        single_line_comment = "//" >> *(char_ - eol) >> (eol|eoi);
        block_comment       = ("/*" >> *(block_comment | char_ - "*/")) > "*/";

        skipper             = space | single_line_comment | block_comment;
    }

    Iterator f(std::cin >> std::noskipws), l;

    std::vector<int> data;
    bool ok = phrase_parse(f, l, *qi::int_, skipper, data);
    if (ok) {
        std::copy(data.begin(), data.end(), std::ostream_iterator<int>(std::cout << "Parsed ", " "));
        std::cout << "\n";
    } else {
        std::cout << "Parse failed\n";
    }

    if (f!=l) {
        std::cout << "Remaining unparsed: '" << std::string(f,l) << "'\n";
    }
}

:

Parsed 123 456 567 901 

123 // line comments 234

/* block 345
   comments */ 456

567

/* 678 /* nested
   789 block */ comments 890 */

901