["] { BEGIN(STRING_LITERAL); init_string_buffer(); }
<STRING_LITERAL>{
\\\\ { add_char_to_buffer('\\'); }
\\\" { add_char_to_buffer('\"'); }
\\. { /*Invalid escape. How do I treat this error?*/ }
["] { BEGIN(INITIAL); yylval = get_string_buffer(); return TK_STRING; }
}
如何处理无效转义的情况？现在我只是打印一条错误消息并调用exit但是我希望能够继续前进并在可能的情况下检测每个文件多个错误.
我的问题：
>我用什么功能打印出错误信息？以后野牛预计会出现同样的错误吗？如果我有词法分析器和解析器的单独文件,我在哪里放置yyerror的定义？
>我应该从我的行动中返回什么令牌代码？ 0为“文件结束”？一些特殊的TK_INVALID_STRING令牌？
>如何确保解析器可以在词法错误(无效文字,流浪标点字符等)后继续解析？
解决方法
它在很大程度上取决于您在应用程序中处理错误消息的方式.但这里有几种可能性：
>直接从词法分析器打印错误消息.告诉您错误检测系统编译不成功：您可以使用全局错误计数(yuk,globals！)或传递给yylex的共享数据结构作为附加参数.然后忽略这个角色并继续lexing.
>将类似TK_INVALID_STRING的内容返回给解析器.解析器需要有适当的错误产生,以便适当地处理和从这个错误中恢复,这是更多的工作,但具有将所有错误处理放入解析器的优点.但是,在字符串的特殊情况下,您可能希望完成字符串直到结束引用;否则,继续解析将毫无结果.
关于yyerror：yyerror没有什么神奇之处.这个功能完全是你的责任.野牛唯一做的就是用一组指定的参数调用它.如果你发现它对记录词法分析器中注意到的错误很有用(我认为可能是这样),那么继续使用它.您完全负责声明yyerror,因此将其定义放在lexer和解析器中#include的任何共享头文件中.或者使用野牛代码生成选项,以便将定义包含在使用bison创建的头文件中.无论什么都比较容易.一旦你弄清楚如何声明yyerror,你就可以在任何你想要的地方定义它：在lexer文件中,在bison文件中,或者(我的偏好)在一个单独的支持函数库中.
(FWIW,我已经尝试过选项2,在我看来它似乎太多工作;选项1对我来说很好.但味道各不相同,YMMV;我不会在这里捍卫我的选择,但我不喜欢不介意承认.)