CEL规范中字符串字面量的语法解析

在解析CEL(Common Expression Language)规范时，字符串字面量的语法定义采用了一种特殊的表示法。字符串字面量的语法规则展示了CEL如何处理不同类型的字符串，包括普通字符串和多行字符串。

CEL字符串字面量支持四种主要格式：

1. 双引号包裹的单行字符串
2. 单引号包裹的单行字符串
3. 三重双引号包裹的多行字符串
4. 三重单引号包裹的多行字符串

语法定义中使用了~符号表示"否定"或"排除"的含义。具体来说，~XXX*这种组合表示"匹配任何不是XXX的内容，可以重复多次"。这种表示法在解析器生成器中很常见，用于定义字符串内容的边界。

对于单行字符串，语法规则排除了字符串结束符(双引号或单引号)和换行符。这意味着单行字符串不能包含未转义的结束符或换行符。

对于多行字符串，语法规则使用了~"""*和~'''*的表示法，这意味着多行字符串可以包含任何内容，直到遇到三个连续的结束引号为止。这种设计允许多行字符串自由地包含换行符和单引号/双引号(取决于字符串的类型)，而无需转义。

此外，字符串前缀的可选[rR]标记表示原始字符串(raw string)模式，在这种模式下转义序列不会被特殊处理。

理解这种语法表示法对于实现CEL解析器至关重要，特别是在构建基于Lezer等解析器生成器的实现时。这种精确的语法定义确保了CEL字符串能够正确处理各种边界情况，同时保持语言的简洁性和一致性。