20 L3中prop模块里对键值处理的几点疑惑

1.
忽略类别码（catcode）是指在比较两个 token list 时，先把它们 \detokenize，然后再按字典序比较，（也就是不比较它们的类别码，因为经过 \detokenize 后，同一字符的类别码都相同，控制序列也没有了），即使用 \str_if_eq:...，反之，则使用 \tl_if_eq:...。

\str_set:Nn \a { ~ \\ $ }
\tl_set:Nn  \b { ~ \\ $ }
\tl_set:Nx  \c { \c_space_tl \c_backslash_str \c_backslash_str \c_dollar_str }

\a 和 \c 的值完全相同：即，它们的长度相同且每一对字符的 (catcode,charcode) 完全相同，也就是 \tl_if_eq:NNTF \a \c 返回 true 分支。
\b 和 \c 的长度不同，即 \tl_if_eq:NNTF \b \c 返回 false 分支。但对 \b 的值使用 \detokenize（\tl_to_str:n）之后，就变成了 \c（的值），也就是 \str_if_eq:NNTF \b \c 返回 true 分支。

prop 中 key 的比较就是使用 \str_if_eq:...。
“忽略类别码”只有在比较 token list 时才有意义。

（在 (u)pTeX 中应该是 kcatcode 而非 catcode。）

2.
\prop_set_from_keyval:Nn 是使用 \keyval_parse:nnn 实现的。
\tl_trim_spaces:n 移除首尾空格，但在此之后，如果结果是一个正确嵌套的组（如 {a } 是，{a}{b} 不是），并不会继续移除外层的 {}。而 \keyval_parse:nnn 在分别解析 key 和 value 时则会继续移除外层的 {}。

{~a~}~ = ~bc~ ,  % key 是 " a "，value 是 "bc"
~a~ = {~bc~}~ ,  % key 是 "a"，value 是 " bc "
{ a= } = {b=c} , % key 是 "a="，value 是 "b=c"
{ a, } = {b,} ,  % key 是 "a,"，value 是 "b,"
a =,             % key 是 "a"，value 是 ""
a,               % key 是 "a"，没有 value

这样，key 和 value 中可以包含空格、逗号和等号

如上例。\keyval_parse:nnn 并不会修改 key 和 value 的类别码。

3.
某些情况下可能会改变 =, 的类别码为 13（active），这样解析键值时就会出错，比如 keyval 宏包。
\keyval_parse:nnn 专门处理了这种情况。方法是递归。
先以 active , 分割出 n 项，然后对这 n 项分别以 other , 分割，由此得到 key=val。再对 = 施以类似的操作，由此得到每个 key 与 对应的 value。