Question

我正在编写解析器，我正在尝试插入迭代器作为模板。当我写template<typedef class Iterator = std::string::iterator>时，代码按预期编译。我想我应该能够删除默认值，所以我想写template<typedef class Iterator>。我认为这应该没问题，因为我以后专门研究模板。但是，这不会编译错误：Error (active) type name is not allowed。

这里发生了什么？为什么我会收到此错误？

示例代码：

#include <string>
#include <boost\spirit\include\qi.hpp>

namespace qi = boost::spirit::qi;

template<typedef class Iterator>  //<-- This does not compile
//template<typedef class Iterator = std::string::iterator>  //<-- This would compile
class Rules_template
{
private:
    typedef qi::rule<Iterator> skipper_rule;
    typedef qi::rule<Iterator> line_rule;
    typedef qi::rule<Iterator, std::string(), skipper_rule> string_rule;
    typedef qi::rule<Iterator, float, skipper_rule> float_rule;
    line_rule endofline = qi::lit("\r\n") | qi::lit("\n\r") | qi::lit('\n');
    skipper_rule skip = qi::lit(' ') | qi::lit('\t') | qi::lit('\f') | qi::lit('\v') | (qi::lit('\\') >> endofline);
    string_rule comment = qi::lexeme['#' >> *(qi::char_ - qi::char_('\n') - qi::char_('\r')) >> endofline];
public:
    string_rule & Comment() { return comment; }
    skipper_rule & Skip() { return skip; }
};

static Rules_template<std::string::iterator> Rules_str;

void CHECK(bool b)
{
    if (b)
        std::cout << "check ok" << std::endl;
    else
        std::cout << "check not ok" << std::endl;
}

int main(int argc, char ** argv)
{
    std::string test = "#This is a comment\n";
    std::string expect = "This is a comment";
    std::string actual;
    auto it = test.begin();
    CHECK(true == qi::phrase_parse(it, test.end(), Rules_str.Comment(), Rules_str.Skip(), actual));
    CHECK(it == test.end());
    CHECK(expect.compare(actual) == 0);
}

编辑1：

这可能是特定于编译器的。我在VS2015上遇到了这个错误。

Answer 1

当我使用Code :: Blocks编译器编译此代码时，出现此错误：

typedef declaration invalid in parameter declaration

当我将模板声明更改为：

时

template<class Iterator>

代码编译（0个错误，0个警告）并且能够执行。

模板声明更改为：

时的结果相同

template<class Iterator = std::string::iterator>

代码编译（0个错误，0个警告）并且能够执行。

在任何一种情况下执行都会产生以下输出：

check ok
check ok
check ok

类型名称不允许

1 个答案: