RFC7230中quoted-pair定义、括号作用及代码实现逻辑疑问

RFC 7230 语法定义使用ABNF规范，其中：

• 括号()用于对规则项做分组，斜杠/表示逻辑或的可选分支
• 因此quoted-pair = "\" ( HTAB / SP / VCHAR / obs-text )的定义明确表示：quoted-pair是由固定反斜杠\前缀，加上括号内四个可选字符类中任意一个单八元组组成的双字节结构
• 该定义完全等价于你列出的四种合法形式："\" HTAB、"\" SP、"\" VCHAR、"\" obs-text，不存在其他合法组合

你提到的\htab、\vchar、\obs-text这类组合不属于合法的quoted-pair：

• 规则中的HTAB、SP、VCHAR、obs-text都是单字符集合的抽象命名，不是字面意义的占位字符串
  • HTAB即单个制表符（\t）
  • SP即单个空格（ ）
  • VCHAR对应0x21~0x7E范围的任意可打印ASCII可见字符
  • obs-text对应0x80~0xFF范围的任意单字节
• 例如反斜杠加单个制表符就是合法的quoted-pair，反斜杠加单个空格就是合法的quoted-pair，不存在反斜杠后跟随"htab"三个字母的合法场景

给出的Rust实现逻辑和规范定义完全匹配：

pub fn is_quoting(c: u8) -> bool {
    b"\t ".contains(&c) || is_vchar(c) || is_obs_text(c)
}

该函数的设计目的是校验反斜杠后紧邻的字符c是否属于规范允许的字符集合：

• b"\t ".contains(&c)对应匹配HTAB、SP两类字符
• is_vchar(c)对应匹配VCHAR类字符
• is_obs_text(c)对应匹配obs-text类字符
  仅需注意调用边界：该函数仅用于校验quoted-pair中反斜杠后的第二个字节，不能单独作为quoted-pair的全量判断逻辑。

内容的提问来源于stack exchange，提问作者Gatonito