如何保留环境中的所有空白？

Question

重新审视答案

当有人向我指出，除了现代计算机之外，我最初的答案与 OP 能够实现的答案没有什么不同时 \catcode32=12，我又重新审视了一下。当使用 pdflatex 时，我得到了一个完全令人满意的答案，而对于 xelatex，我得到了一个不太令人满意的答案。在这两种情况下，他们首先将空格设为活动字符，然后重新定义为用白色打印特定字符。

已编辑以使空间具有适当的宽度。

-----pdflatex

这里我使用包palatino只是为了确保我不依赖现代计算机的某些特殊方面。这里，我用白色打印的空格“特定字符”是字体中可见的空格lmodern。

\documentclass{article}
\usepackage{xcolor}
\usepackage{palatino}
\newsavebox\spacewd
\savebox\spacewd{\texttt{ }}
\newenvironment{code}{\par\catcode32=\active \setlength{\parindent}{0pt}\ttfamily}{\par}
{
\catcode32=\active %
\gdef {\makebox[\wd\spacewd][l]{%
\textcolor{white}{\fontfamily{lmtt}\selectfont\large\smash{\char32}}}}% 
}
\begin{document}
\noindent xyz
\begin{code}
  (fold\_left (\S{λ} x \textcolor{red}{y}.  x \S{⊕} \textcolor{red}{y})\\
             (a \S{∷} b \S{∷} c \S{∷} d \S{∷} nil))
\end{code}
\noindent this is
  a
    test to make    sure all 
      is back to normal
\end{document}

PDF 复制/粘贴操作如下：

这正是我们想要的。

-----赛莱特

这里我使用了libertine字体。这里唯一的怪癖是\textvisiblespace占用的水平宽度比\ttfamily空格少，因此为了避免 PDF 将间隔开的\textvisiblespaces 解释为双空格，我制作了\textvisiblespace插入的\large和\smashed 以避免 PDF 将其解释为额外的间隙。此外，我使左\makebox对齐，这样大白色\textvisiblespace就不会覆盖前一个字符。

\documentclass{article}
\usepackage{lmodern}
\usepackage{xcolor}
\usepackage{fontspec,libertine}
\newsavebox\spacewd
\savebox\spacewd{\texttt{ }}
\newenvironment{code}{\par\catcode32=\active \setlength{\parindent}{0pt}\ttfamily}{\par}
{
\catcode32=\active %
\gdef {\makebox[\wd\spacewd][l]{\textcolor{white}{\large\smash{\textvisiblespace}}}}% 
}

\begin{document}
\noindent xyz
\begin{code}
  (fold\_left (\S{λ} x \textcolor{red}{y}.  x \S{⊕} \textcolor{red}{y})\\
             (a \S{∷} b \S{∷} c \S{∷} d \S{∷} nil))
\end{code}
\noindent this is
  a
    test to make    sure all 
      is back to normal
\end{document}

从 PDF 复制/粘贴的结果为

其中另一个字符代替空格，在本例中我指定了\textvisiblespace。我验证了我的 TeXworks 编辑器可以全局用真实空格替换不可见的空格字符。

原始答案

这个答案是基于我一年前\obeyspaces在code环境中使用以保留空格的建议。但是，正如评论中指出的那样，它不会检测行上的前导空格。

为了解决这个问题，我使用了 egreg 的答案在纯 Tex 宏中使用行尾分隔符。有了它，我能够在环境中截取行尾 (EOL) code。我利用这个事实在中将放在\mbox{}每个新行的开头code，以便\obeyspaces可以检测到每个后续行的前导空格。

对我来说，最难的部分是在退出时将 EOL 恢复到其正确位置code。我通过对标志宏进行测试来完成此操作，该标志宏在退出代码期间\endthis从更改F为。Tcode

但是，从 PDF 复制/粘贴空白的根本问题仍然存在。

\documentclass{article}

%\usepackage{fontspec}
%\newfontfamily{\Symbola}{Symbola}
%\newfontfamily{\UbuntuMono}{Ubuntu Mono}
%\DeclareTextFontCommand{\S}{\Symbola}

\usepackage{xcolor}

\newenvironment{code}
{\par\setlength{\parindent}{0pt}\obeyspaces\ttfamily\gdef\endthis{F}\mymacro}
{\gdef\endthis{T}\par}

\def\mymacro{%
  \if\endthis T\def\next{}\else\def\next{\begingroup\catcode`\^^M=12 \xmymacro}\fi\next}
{\catcode`\^^M=12 %
 \gdef\xmymacro#1^^M{\mbox{}#1\endgroup\mymacro}%
}
\begin{document}
\noindent xyz
\begin{code}
  (fold\_left (\S{λ} x \textcolor{red}{y}.  x \S{⊕} \textcolor{red}{y})\\
             (a \S{∷} b \S{∷} c \S{∷} d \S{∷} nil))
\end{code}
\noindent this is
  a
    test to make    sure all 
      is back to normal
\end{document}

\catcode32=12OP 提到的的定义中的的使用code是类似的，但它产生了“视觉空间”

Answer 1