LaTeX3内核中\c_sys_output_str变量在导言区的可用性问题解析

在LaTeX3项目开发过程中，开发者可能会遇到一个看似简单但涉及底层机制的问题：为什么\c_sys_output_str字符串变量在文档导言区（preamble）不可用？本文将深入分析这一现象的技术背景、设计原理以及解决方案。

问题现象

当开发者在LaTeX文档导言区直接使用\c_sys_output_str变量时（例如用于判断当前输出格式），会遇到变量未定义的错误。典型示例如下：

\documentclass{article}
\ExplSyntaxOn
\str_if_eq:VnTF \c_sys_output_str { dvi }  % 此处会报错
  { \bool_set_true:N \l_tmpa_bool }
  { \bool_set_false:N \l_tmpa_bool }
\ExplSyntaxOff
\begin{document}
Text.
\end{document}

然而，如果在导言区显式加载expl3包（\usepackage{expl3}），该变量就能正常使用。

技术背景

这个现象涉及LaTeX3内核的后端加载机制：

1. 延迟加载设计：LaTeX3内核的后端代码（包括输出引擎检测相关变量）默认不会在文档开始时立即加载，而是延迟到\begin{document}执行时。这种设计是为了兼容传统LaTeX的工作模式。

2. 历史兼容性：允许用户在导言区通过原始TeX命令（如\pdfoutput=0）修改输出引擎设置。如果过早初始化后端变量，这些用户设置将无法生效。

解决方案

开发者可以通过以下方式正确处理这种情况：

1. 显式加载后端：

\documentclass{article}
\ExplSyntaxOn
\sys_ensure_backend:  % 强制加载后端代码
\str_if_eq:VnTF \c_sys_output_str { dvi }
  { \bool_set_true:N \l_tmpa_bool }
  { \bool_set_false:N \l_tmpa_bool }
\ExplSyntaxOff

2. 使用expl3包：

\documentclass{article}
\usepackage{expl3}  % 自动加载后端
\ExplSyntaxOn
% 此时可以安全使用\c_sys_output_str
\ExplSyntaxOff

最佳实践建议

1. 需要检测输出格式的代码应当放在文档环境内（\begin{document}之后）
2. 如果必须在导言区判断输出格式，建议使用\sys_ensure_backend:确保后端已初始化
3. 对于复杂项目，推荐显式加载expl3包以保证行为一致性

理解这一机制有助于开发者编写更健壮的LaTeX3代码，避免因执行时机问题导致的意外错误。LaTeX3的这种延迟加载设计既保持了与传统LaTeX的兼容性，又为现代TeX引擎提供了灵活的配置空间。