隐藏环境但保留标签以供交叉引用

Question 1

声明\let\oriwrite=\write和替换

\setbox0\vbox{\BODY}

经过

\setbox0=\vbox{\def\write{\immediate\oriwrite}\BODY}

解释：标签必须写入aux文件。它们是异步处理的\write，并且这些\write节点未在中使用\shipout，因此它们尚未最终确定。如果您\write暂时将这些命令设置为，则\immediate结果将真正写入辅助文件。

Answer

声明\let\oriwrite=\write和替换

\setbox0\vbox{\BODY}

经过

\setbox0=\vbox{\def\write{\immediate\oriwrite}\BODY}

解释：标签必须写入aux文件。它们是异步处理的\write，并且这些\write节点未在中使用\shipout，因此它们尚未最终确定。如果您\write暂时将这些命令设置为，则\immediate结果将真正写入辅助文件。

Question 2

问题 1：

通常，\label-command 会触发将引用数据 ( \newlabel-entry) 写入 .aux 文件\protected@write。这意味着没有前缀的内容\protect会立即扩展，但所有内容都会以延迟方式写入，即当它们所在的页面被发送到 .pdf 文件/.dvi 文件时。

用desertEnvironmentOFFand/orforestEnvironmentOFF放入东西，而\box0while\box0永远不会被使用。由于盒子从未被使用，其材料永远不会出现在运出的页面上。因此，\newlabel属于\label最终进入其中的命令的引用数据（条目）\box0永远不会被写入 .aux 文件。因此，相应的引用标签（将在 LaTeX 运行开始时读取 .aux 文件时从条目中定义为\r@...宏）永远不会存在。引用不存在的引用标签会在文档文本和 .log 文件以及终端中的消息中\newlabel产生。??

问题2：

使用desertEnvironmentOFF和/或forestEnvironmentOFF您希望用于\ref打印文档中未出现的分段项目数量。

您使用 hyperref-package。使用 hyperref-package 时，它\ref不仅会提供表示所引用节项编号的文本短语，还会将该\ref文本短语作为超链接提供，其目标是所引用节项。

因此：当使用 hyperref 包时，则desertEnvironmentOFF和/或forestEnvironmentOFF暗示\ref“尝试”将超链接传送到文档中不存在/未出现的目的地。
如果文档中没有出现某个分段项，则出现该分段项的页面不存在。因此尝试通过该分段项引用该分段项\pageref是没有意义的。

处理此事的方法...

...可以基于\immediate\write和延迟之间的区别\write：

确保使用desertEnvironmentOFF和/或，而不是仅在 referencing-data/ -entry 写入 .aux-file时forestEnvironmentOFF \immediate\write使用。这样，sectioning-counters 的值可能是正确的，但\write\newlabel与相关条目相关的页码\newlabel肯定是错误的。这并不重要，因为在这种情况下页码已经过时了。
内部\refstepcounter一直用于对分段项进行步进计数器，并且 - 由于 hyperref 正在使用 - 用于通过创建目标锚点\hyper@anchorstart。

因此你可以修补\hyper@anchorstart以写入以延迟的方式，即没有\immediate.aux 文件中为每个创建的目标锚点添加一个条目。（在下面的示例中，这是由 -macro 完成的\destinationlabel。）
如果材料最终没有出现在文档的页面上/没有发送到文档的页面上，则该条目将不会写入 .aux 文件。
因此，在连续的 LaTeX 运行中，您可以将该条目的存在作为检测相关目标是否存在的指标。可以通过refcount 包
从属于引用标签的数据中获得要检测其存在的目标的名称。\getrefbykeydefault

在下面的例子中，宏\InCaseDestinationInReferenceLabelExists从引用标签中提取目标的名称，并检查相关\destinationlabel条目是否存在/相关\destination@宏是否定义。

你可以使用它，例如
```
\InCaseDestinationInReferenceLabelExists{⟨label⟩}{\ref}{\ref*}{{⟨label⟩}
```
以防止在与引用标签相关联的目标不存在的情况下尝试创建超链接。

你也可以使用它，例如
```
\InCaseDestinationInReferenceLabelExists{label}{%
  \pageref{label}%
}{%
  ⟨Error-message: \pageref does not make sense as no corresponding page exists⟩%
}
```
。

致谢：

非常感谢Ulrike Fischer 的回答针对这个问题如何检查超目标标签是否存在。

这个答案给了我启发，让我想到在每个目的地的 .aux 文件中添加一个可验证的条目。

\documentclass[desertEnvironmentOFF, forestEnvironmentON]{article}

\usepackage{amsmath}
\usepackage{refcount}
\usepackage{hyperref}

\newif\ifdesertEnvironment
\DeclareOption{desertEnvironmentON}{\desertEnvironmenttrue}
\DeclareOption{desertEnvironmentOFF}{\desertEnvironmentfalse}

\newif\ifforestEnvironment
\DeclareOption{forestEnvironmentON}{\forestEnvironmenttrue}
\DeclareOption{forestEnvironmentOFF}{\forestEnvironmentfalse}

\ProcessOptions\relax

\makeatletter

\@ifdefinable\CopyOfWritePrimitive{%
  \let\CopyOfWritePrimitive=\write
}%

\AtBeginDocument{%
  \@ifdefinable\savedhyper@anchorstart{%
    \let\savedhyper@anchorstart=\hyper@anchorstart
  }%
  \def\hyper@anchorstart#1{%
    \destinationlabel{#1}%
    \savedhyper@anchorstart{#1}%
  }%
}%

\newcommand\destinationlabel[1]{%
  \@bsphack\protected@write\@auxout{\let\write=\CopyOfWritePrimitive}{%
    \string\newdestinationlabel{#1}%
  }\@esphack 
}%
\newcommand\newdestinationlabel[1]{%
  \global\@namedef{Destination@#1}{defined}%
}%
\newcommand\InCaseDestinationInReferenceLabelExists[1]{%
  \@ifundefined{Destination@\getrefbykeydefault{#1}{anchor}{\string"\string?\string?\string?\string"}}%
  {\@secondoftwo}%
  {\@firstoftwo}%
}%

\makeatother

\usepackage{ifthen}
\usepackage{environ}

\newcounter{environments}
\numberwithin{environments}{section}
\numberwithin{equation}{section}

\makeatletter

\ifthenelse{\boolean{desertEnvironment}}%
 {\NewEnviron{desertEnvironment}[1][]%
  {\vspace*{1em}\refstepcounter{environments}%
   {{\bfseries Desert \theenvironments.}}%
   {\itshape \BODY}\vspace*{1em}}}%
 {\NewEnviron{desertEnvironment}[1][]%
  {\begingroup
    \def\write{\immediate\CopyOfWritePrimitive}%
    \setbox0 =\vbox{\refstepcounter{environments}\BODY}%
    \endgroup
 }}

\ifthenelse{\boolean{forestEnvironment}}%
 {\NewEnviron{forestEnvironment}[1][]%
  {\vspace*{1em}\refstepcounter{environments}%
   {{\bfseries Forest \theenvironments.}}%
   {\itshape \BODY}\vspace*{1em}}}%
 {\NewEnviron{forestEnvironment}[1][]%
  {\begingroup
    \def\write{\immediate\CopyOfWritePrimitive}%
    \setbox0 =\vbox{\refstepcounter{environments}\BODY}%
    \endgroup
 }}

\renewcommand\eqref[1]{%
  \textup{\tagform@{\InCaseDestinationInReferenceLabelExists{#1}{\ref}{\ref*}{#1}}}%
}%

\makeatother

\usepackage{setspace}
\setlength{\parindent}{0pt}
\setlength{\parskip}{1em}

\begin{document}

Here is some text that is not inside any custom environment. Here is a labelled equation that is not inside any custom environment [should be (0.1)]:
\begin{equation}
 \label{eq:fermat}
 x^n + y^n = z^n.
\end{equation}

\begin{desertEnvironment}
 \label{desert:01}
This is a desert environment. It is labelled. Here is a labelled equation within the environment [should be (0.2)]:
\begin{equation}
 \label{eq:desertEinstein}
  e = mc^2
\end{equation}
The desert environment ends with this sentence.
\end{desertEnvironment}

\begin{forestEnvironment}
 \label{forest:01}
This is a forest environment. It is labelled. Here is a labelled equation within the environment [should be (0.3)]:
\begin{equation}
 \label{eq:forestPythagoras}
  a^2 + b^2 = c^2.
\end{equation}
The forest environment ends with this sentence.
\end{forestEnvironment}

Another labelled equation that is not inside any environment [should be (0.4)]:
\begin{equation}
 \label{eq:euler}
  e^{i\pi} + 1 = 0.
\end{equation}

Reference to desert environment: 
Desert Environment \InCaseDestinationInReferenceLabelExists{desert:01}{\ref}{\ref*}{desert:01}
[should be 0.1].

Reference to equation inside it: Einstein \eqref{eq:desertEinstein} [should be (0.2)].

Reference to forest environment: 
Forest Environment \InCaseDestinationInReferenceLabelExists{forest:01}{\ref}{\ref*}{forest:01}
[should be 0.2].

Reference to equation inside it: Pythagoras \eqref{eq:forestPythagoras} [should be (0.3)].

Reference to outside eq'ns: Fermat \eqref{eq:fermat}, Euler \eqref{eq:euler} [should be (0.1), (0.4)].
\end{document}

Answer