在 Flex 中匹配 `\`

Question

我正在尝试在 flex 中创建一个简单的状态机，它必须确保跨越多行的字符串必须具有 \ 用于换行。具体来说：

"this is \
ok"

"this is not
ok"

第一个有效。第二个不是。

我有以下状态机：

expectstring     BEGIN(expectstr);
<expectstr>[^\n]     {num_lines++;}
<expectstr>\         {flag = true;}
<expectstr>\n        {printf("%s\n", flag ? "True" : False);}

但是当我尝试编译这个状态机时，flex 告诉我\ 的规则无法匹配。这是为什么呢？

我查看了this，但无法弄清楚。

Answer 1

在 flex 中，以下模式匹配换行符以外的任何内容：

.

你也可以这样写

[^\n]

但是.比较正常。

为了匹配反斜杠，你可以写

\\
"\\"
[\\]

同样，第一种方式是通常的方式。

重要的是要了解[...] 是一种表示一组字符的方式，并且大多数正则表达式运算符只是括号内的普通字符。同样，"..." 是一种表示字符序列的方式，大多数正则表达式运算符只是引号内的普通字符。

因此，

• [a|b] 匹配一个字符，如果它是 a、| 或 b
• "a|b" 匹配三字符序列 a | b
• and|but 匹配三个字符序列 an 中的任何一个。

d 或 but 由于 flex 允许您匹配正则表达式，因此您实际上不需要手动构建状态机。只需使用适当的正则表达式。例如，以下将匹配以 " 开头和结尾的字符串，其中 \ 可用于转义自身以及换行符，其中换行符（除了逃脱的）是非法的。我认为这是你的目标。

\"([^"\n\\]|\\(.|\n))*\"

您应该确保您了解它的工作原理；互联网上有很多关于正则表达式的很好的解释（甚至更糟糕的解释，所以试着找一个知道他们在说什么的人写的）。总结如下：

\"     A literal double-quote
(...)* Any number of repetitions of:
  [^"\n\\]   Anything other than a double-quote, newline, or backslash
  |          Or
  \\         A literal backslash, followed by
  (...)      Grouping
    .          Anything other than a newline
    |          Or
    \n         a newline