收集环境内容（包含逐字内容）

Question 1

您可以轻松实现一个环境，逐字读取其主体，然后在宏定义中将其包装到其中\scantokens。

执行宏时，\scantokens将会被执行，并且事物将不再在 verbatim-catcode-régime 下而是在正常的 catcode-régime 下重新标记，这意味着这次像命令 \verb或环境这样的环境verbatim和其他像 verbatim 的环境（例如代码列表）将得到执行。

以下示例提供了一个环境Problem。

如果您在该环境的可选参数中提供了一个名称，那么您可以通过以下方式重述环境的内容 \RestateProblem{<Name>}。

当Problem-environment 包含\verb或verbatim-environments 之类的内容时，它也有效。

Problem-环境不能嵌套，因为这些环境的整个主体被视为由短语分隔的宏参数\end{Problem}（也以逐字方式标记）。

还可以创建类似于\label..的机制\ref，以便将内容以逐字逐句的方式写入 .aux 文件，提供文本中前向和后向引用的功能。

如果您将这样的重述与宏\section 或计数器步进的环境结合使用\theorem，您可能会得到不必要的结果，因为每次重述都会导致相应的计数器步进......

如果是前向引用，您需要确保在前向引用发生时所有计数器、控制序列都已定义......

如果是向后引用，您需要确保所有计数器、控制序列都不会以在引用时引起麻烦的方式重新定义……

请注意，我尚未详细阐述这一点，因为这种事情需要根据实际/特定需求进行大量繁琐且耗时的调整。

在根据提问者的实际需求进行调整的过程中，需要花费大量的时间和精力去完全重写某些内容，这种风险很高。

因此我建议您尽可能详细地说明您的需求。

别把你的问题当成是表现谦虚的问题。

相反，以有效的方式提供所有有助于提供帮助的信息/请求/要求。

\documentclass{article}
\makeatletter
%%
%%  Snippet written by Ulrich Diez on June 8, 2017
%%  License: LPPL.
%%
%%----------------------------------------------------------------------
%% Check whether argument is empty:
%%......................................................................
%% \UD@CheckWhetherNull{<Argument which is to be checked>}%
%%                     {<Tokens to be delivered in case that argument
%%                       which is to be checked is empty>}%
%%                     {<Tokens to be delivered in case that argument
%%                       which is to be checked is not empty>}%
%%
%% The gist of this macro comes from Robert R. Schneck's \ifempty-macro:
%% <https://groups.google.com/forum/#!original/comp.text.tex/kuOEIQIrElc/lUg37FmhA74J>
%%
%% (\romannumeral expansion was introduced in order to overcome the
%% concerns and worries about improperly balanced \if..\else..\fi constructs.)
\newcommand\UD@firstoftwo[2]{#1}%
\newcommand\UD@secondoftwo[2]{#2}%
\newcommand\UD@exchange[2]{#2#1}%
\newcommand\UD@CheckWhetherNull[1]{%
  \romannumeral0\expandafter\UD@secondoftwo\string{\expandafter
  \UD@secondoftwo\expandafter{\expandafter{\string#1}\expandafter
  \UD@secondoftwo\string}\expandafter\UD@firstoftwo\expandafter{\expandafter
  \UD@secondoftwo\string}\expandafter\expandafter\UD@firstoftwo{ }{}%
  \UD@secondoftwo}{\expandafter\expandafter\UD@firstoftwo{ }{}\UD@firstoftwo}%
}%
%%----------------------------------------------------------------------
%% Put a control sequence token in place instead of the string denoting
%% its name:
%%......................................................................
%%  \Name<emptiness or tokens other than braces>{<Name of Control Sequence>}
%%
%% yields:
%%
%%  <emptiness or tokens other than braces>\Controlsequence
%%
%% E.g.,
%%
%%   \Name foo{bar} -> foo\bar
%%   \Name{bar} -> \bar
%%   \Name\newcommand*{wEirdName}[1]{Arg 1: (#1)}
%%       -> \newcommand*\wEirdName[1]{Arg 1: (#1)}
%%
\newcommand\Name{}\long\def\Name#1#{\romannumeral\UD@name{#1}}%
\newcommand\UD@name[2]{%
  \expandafter\UD@exchange\expandafter{\csname#2\endcsname}{0 #1}%
}%
%%----------------------------------------------------------------------
%% Implement generic stuff for reading arguments "verbatim":
%%......................................................................
%%
% Syntax of \UDcollectOneVerbArg
%
%   \UDcollectOneVerbArg{<^^M-replacement>}{<mandatory>}<delimiter of verbatim arg><verbatim arg><delimiter of verbatim arg>
%   yields:
%   <mandatory>{<verbatim arg>}
%
% with each character ^^M (usually=\endline-char) in <verbatim arg>
% replaced by token-sequence <^^M-replacement>.
%
% If reading <^^M-replacement> and <mandatory> from input is necessary,
% they will be read under unchanged catcode regime.
%
% The <verbatim arg> is also mandatory.
% It will be read under verbatim-catcode-conditions.
% There must be a leading character in front of it.
%
% Empty-lines will not be ignored.
%
% <delimiter of verbatim arg> will be read under verbatim-catcode-conditions
% if present.
%
%
\begingroup
\catcode`\^^M=12 %
\UD@firstoftwo{%
  \endgroup%
  \newcommand\UDEndlreplace[2]{\romannumeral0\@UDEndlreplace{#2}#1^^M\relax{}}%
  \newcommand*\@UDEndlreplace{}%
  \long\def\@UDEndlreplace#1#2^^M#3\relax#4#5{%
    \UD@CheckWhetherNull{#3}%
    { #5{#4#2}}{\@UDEndlreplace{#1}#3\relax{#4#2#1}{#5}}%
  }%
}{}%
\newcommand\UDcollectOneVerbArg{\@UDOneVerbArg{\@UDcollectOneVerbArg}}%
\newcommand\@UDOneVerbArg[3]{%
  \@bsphack
  \begingroup
  \let\do\@makeother\dospecials
  \catcode`\ =10 %
  \@@UDOneVerbArg{#1}{#2}{#3}%
}%
\newcommand\@@UDOneVerbArg[4]{%
  \do\ %
  \catcode`\^^M=12 %
  \long\def\@tempb##1#4{%
    \def\@tempb{##1}%
    \expandafter\UDEndlreplace\expandafter{\@tempb}{#2}{\def\@tempb}%
    \expandafter#1\expandafter{\@tempb}{#3}%
  }%
  \@tempb
}%
\newcommand\@UDcollectOneVerbArg[2]{%
  \endgroup
  \@esphack
  #2{#1}%
}%
% Implementation of generic stuff for reading arguments "verbatim" done.
%%
%%
%%----------------------------------------------------------------------
%% Implement generic stuff for defining Problem-like environments:
%%......................................................................
% #1 - Name of environment
\newcommand\DefineVerbReadBodyEnv{%
  \UDcollectOneVerbArg{^^J}{\InnerDefineVerbReadBodyEnv}%
}%
% ##1 - \end{
% ##2 - }
% ####1 - <Name of environment>
\newcommand\InnerDefineVerbReadBodyEnv[1]{%
  \renewcommand\InnerDefineVerbReadBodyEnv[2]{%
    \renewcommand\InnerDefineVerbReadBodyEnv[1]{%
      \Name\newcommand{Restate####1}[1]{%
         \Name{####1@########1}%
      }%
      \Name\newcommand{process####1}[2]{%
        \UD@CheckWhetherNull{########1}{}{%
          \Name\newcommand{####1@########1}{%
            \scantokens{\csname UD@firstoftwo\endcsname{}{}########2\begingroup\catcode`\X=14 X}\endgroup
          }%
          \Name\Name\global\let{####1@########1}={####1@########1}%
        }%
        \scantokens{\csname UD@firstoftwo\endcsname{}{}########2\begingroup\catcode`\X=14 X}\endgroup
        \end{####1}%
      }%
      \newenvironment{####1}[1][]{%
        \UDcollectOneVerbArg{^^J}{\Name{process####1}{########1}}{##1####1##2}%
      }{%
      }%
    }%
  }%
  \UDcollectOneVerbArg{^^J}{\InnerDefineVerbReadBodyEnv{#1}}%
}%
\UDcollectOneVerbArg{^^J}{\InnerDefineVerbReadBodyEnv}|\end{||}|%
%%
%% Generic stuff for defining Problem-like environments done.
%%
\makeatother

\DefineVerbReadBodyEnv|Problem|

\begin{document}

\fbox{Problem stated the first time:}

\begin{Problem}[First Problem]%
This is normal text.
\verb|This is from the verb command.|
\verb*|This is from the verb* command.|    
This is normal text.
\begin{verbatim}
This is from the verbatim environment:
&%{}§_"`´~
\end{verbatim}
\end{Problem}

\fbox{Problem restated:}

\RestateProblem{First Problem}

\fbox{Problem restated once more:}

\RestateProblem{First Problem}

\end{document}

Answer