为什么 \frac 定义的分子中使用了分组，而分母却没有使用？

Question

在这个问题的答案中：\over 和 \frac 之间有什么区别？，可以分别找到的 ams 和普通乳胶定义\frac：

\DeclareRobustCommand{\frac}[2]{{\begingroup#1\endgroup\@@over#2}}
\DeclareRobustCommand\frac[2]{{\begingroup#1\endgroup\over#2}}

有没有理由不使用分组#2？ 也就是说，像这样：

\DeclareRobustCommand{\frac}[2]{{\begingroup#1\endgroup\@@over\begingroup#2\endgroup}}
\DeclareRobustCommand\frac[2]{{\begingroup#1\endgroup\over\begingroup#2\endgroup}}

Answer 1

原始分子中的声明{ ... \over ...}可能会泄漏到分母中，但分母中的额外组不会产生任何作用。

\documentclass{article}

\begin{document}


\[
{ a \over b}
+
{ \fam0 a \over b}
+
{\begingroup \fam0 a \endgroup \over b}
\]

\end{document}