☰

Latex 中的断言

tag-icon • tag-icon macros tex-core best-practices
Latex 中的断言

我正在编写一个很长的 latex 文档，并使用许多宏来定义数学符号。我想确保符号中没有冲突。例如，

\newcommand{\symbolone}{A}
\newcommand{\symboltwo}{A}

不应该发生。乳胶中是否有类似断言的东西，这样我就可以做到

\assert{\symbolone != \symboltwo}

？

答案1

\singledef我的解决方案引入了定义控制序列的宏（如\def），但提供了另外两个功能：

  • 检查控制序列是否已定义。如果已定义，则打印错误消息，控制序列保留其原有含义。
  • 它将定义的控制序列的名称保存到\singledeflist内部宏中。当下一个控制序列通过 定义时，\singledef它将被定义，但会检查是否\ifx在 中定义并保存了相同的控制序列（等效于 通过 ）\singledeflist。如果是，则打印错误消息，并且新的控制序列保持未定义状态。

代码：

\def\singledeflist{}

\def\singledef#1{% 
   \ifx#1\undefined
      \def\next{\singledefA#1}%
      \afterassignment\next
      \expandafter\def\expandafter#1%
   \else
      \errmessage{The \string#1 is defined already}% 
      \expandafter\def\expandafter\tmp
   \fi
}
\def\singledefA#1{\def\next{\singledefB#1}\expandafter\next\singledeflist\end}
\def\singledefB#1#2{%
   \ifx#2\end
      \expandafter\def\expandafter\singledeflist\expandafter{\singledeflist#1}% 
   \else
      \ifx#1#2%
         \errmessage{The \string#1 is the same as \string#2}%
         \let#1=\undefined
         \singledefC
      \fi
      \expandafter\next
   \fi
}  
\def\singledefC#1\end{\fi\fi}

\singledef\A{aha}  % this is like \def\A{aha}
\singledef\B{bha}  % this is like \def\B{bha}
\singledef\C{bha}  % this prints the error: The \C is the same as \B

答案2

@egreg 展示了如何比较两个完全扩展的字符串（测试两个完全展开的字符串是否相等)，您可以在这里应用他的技术。

我添加了一条错误消息，以防您重复使用某个符号。

\documentclass{article}
\usepackage{pdftexcmds}

\newcommand{\symbolI}{A}
\newcommand{\symbolII}{\pi r^2}
\newcommand{\symbolIII}{\pi r^2}

\makeatletter
\newcommand{\TestSameSymbols}[2]{%
    \ifnum\pdf@strcmp{#1}{#2}=\z@ 
        \typeout{%
            ERROR: \noexpand#2 (#2) is the same as \noexpand#1.%
        }
    \fi%
}
\makeatother

\begin{document}

\TestSameSymbols{\symbolI}{\symbolII}
\TestSameSymbols{\symbolII}{\symbolIII}

\[ \symbolI = \symbolII \]

\end{document}

相关内容