赋值中的左括号是隐式的还是显式的，它的类别代码应该是什么？

Question 1

表示{可能隐含的 catcode 1 字符标记。在此上下文中隐含表示它可能是\let此类字符的控制序列。

具体来说你可以去

 \toks0\bgroup abc}

但你不能去

  \def\foo\bgroup abc}

TeXBook 说

如果控制序列的含义已由\let或指定，则它们有时会伪装成字符\futurelet。例如，附录 B 说\let\bgroup={ \let\egroup=} 和这些命令使\bgroup和的\egroup作用有点像左花括号和右花括号。 这样的控制序列被称为“隐式的 人物''；当 TeX 将它们作为命令执行时，它们的解释方式与字符相同，但当它们出现在命令的参数中时并非总是如此。例如，命令\let\plus=+ 不会对上面给出的语法规则中的\plus字符标记进行可接受的替换 |+|_{12}，命令也不会将其\let\p=p作为\p关键字的一部分进行可接受的替换[pt]。当 TeX 的语法允许显式和隐式字符时，下面的规则将小心地明确说明。

Answer

表示{可能隐含的 catcode 1 字符标记。在此上下文中隐含表示它可能是\let此类字符的控制序列。

具体来说你可以去

 \toks0\bgroup abc}

但你不能去

  \def\foo\bgroup abc}

TeXBook 说

如果控制序列的含义已由\let或指定，则它们有时会伪装成字符\futurelet。例如，附录 B 说\let\bgroup={ \let\egroup=} 和这些命令使\bgroup和的\egroup作用有点像左花括号和右花括号。 这样的控制序列被称为“隐式的 人物''；当 TeX 将它们作为命令执行时，它们的解释方式与字符相同，但当它们出现在命令的参数中时并非总是如此。例如，命令\let\plus=+ 不会对上面给出的语法规则中的\plus字符标记进行可接受的替换 |+|_{12}，命令也不会将其\let\p=p作为\p关键字的一部分进行可接受的替换[pt]。当 TeX 的语法允许显式和隐式字符时，下面的规则将小心地明确说明。

Question 2

在第 275 页的底部，你会发现

这里 ⟨控制序列⟩ 表示一个标记，它要么是一个控制序列，要么是一个活动字符；⟨左括号⟩ 和 ⟨右括号⟩ 是显式字符标记，其类别代码分别为类型 1 和 2。⟨参数文本⟩ 不包含 ⟨左括号⟩ 或 ⟨右括号⟩ 标记，它遵守第 20 章的规则。

在第 269 页你读到

使用符号“ {”、“ }”和“ $”来表示类别 1、2 和 3 中的任何显式或隐式字符标记会很方便，无论实际字符代码是括号还是美元符号。因此，例如，纯 TeX\bgroup是“ ”的示例{，标记“ {₁ ”和“ (₁ ”也是；但“ {₁₂ ”不是。

当你{在语法描述中找到时，这意味着你能使用{₁或\bgroup（或任何标记\let到{₁），但当你找到 ⟨left brace⟩ 时，它意味着一个明确的将使用第 1 类字符标记。

例如，\bgroup在宏的 ⟨参数文本⟩ 中允许使用，但 ⟨左括号⟩ 不允许（因为它会立即启动 ⟨替换文本⟩）。

另一方面，每个接受⟨填充符⟩的原语（例如\uppercase）都可以在左侧用分隔⟨平衡文本⟩ {（因此\bgroup可以接受）。⟨平衡文本⟩的最后一个分隔符必须是⟨右括号⟩（即明确的 }_{2 个}字符）。

_{注意：在上面的描述中，当出现{₁或}₂时，只有类别代码而不是字符代码是相关的。这就是 Knuth 为它们使用 ⟨左括号⟩ 和 ⟨右括号⟩ 的原因。}

Answer