LaTeX3内核新增iow_show函数以兼容\showstream机制

在LaTeX3内核开发中，文件I/O处理是一个重要组成部分。近期开发者针对\showstream机制与现有I/O函数的兼容性问题进行了讨论和改进，新增了iow_show系列函数，进一步完善了LaTeX3的调试输出系统。

背景与问题

LaTeX3内核提供了丰富的调试输出函数，如\tl_show:n等，这些函数底层使用TeX原语\tex_showtokens:D，因此能够自动遵循\showstream指定的输出流。然而，现有的\iow_log:n和\iow_term:n函数却直接使用固定的输出流，无法与\showstream机制协同工作。

这种不一致性给高层调试命令的实现带来了困难。例如，在LaTeX2e内核中的\ShowHook命令就因此遇到了实现障碍。

解决方案

开发者提出了新的iow_show系列函数来解决这一问题：

1. 核心函数：

   • \iow_show:n {<tokens>}：将内容输出到当前\showstream指定的流中

2. 流控制函数：

   • \iow_gset_show_stream:N <stream>：设置全局\showstream为指定流
   • \iow_gclear_show_stream:：重置\showstream为默认日志流

实现原理

新函数的实现相当简洁高效：

\cs_new_protected:Npn \iow_show:n { \iow_now:Nn \tex_showstream:D }

这一实现直接利用了TeX原语\tex_showstream:D，确保了与现有\showstream机制的完全兼容。

应用示例

以下示例展示了新函数的使用方式：

% 测试辅助函数
\cs_new_protected:Nn \test:n {
    \iow_term:n {\iow_newline: ! test iow, #1}
    \iow_log:n  {iow_log}      % 使用固定日志流
    \iow_term:n {iow_term}     % 使用固定终端流
    \tl_show:n  {tl_show}      % 使用\showstream
    \iow_show:n {iow_show}     % 使用\showstream
}

% 基本测试
\test:n { default \showstream }

% 设置自定义流
\iow_open:Nn \g_tmpa_iow { teststream }
\iow_gset_show_stream:N \g_tmpa_iow
\test:n { \showstream is set }
\iow_gclear_show_stream:

% 恢复默认
\test:n { default \showstream again }
\iow_close:N \g_tmpa_iow

技术考量

1. 流变量设计：没有为\showstream提供专门的iow流变量，因为初始状态下\showstream的行为类似于\c_log_iow(-1)，而关闭的iow变量应该类似于\c_term_iow。

2. 命名规范：当前函数命名可能不够优雅，未来可能会考虑引入更通用的流控制函数如\io(r|w)_gset_eq:NN和\io(r|w)_gclear:N。

实际效果

测试结果表明：

• 默认情况下，\iow_show:n输出到日志
• 当设置自定义流后，输出会重定向到指定文件
• 重置后恢复默认行为

这种设计使得调试输出更加灵活，特别是在需要将调试信息重定向到特定文件时特别有用。

总结

LaTeX3内核新增的iow_show系列函数填补了现有I/O系统与\showstream机制的兼容性空白，为高层调试命令的实现提供了更好的支持。这一改进体现了LaTeX3内核不断完善的设计理念，也为开发者提供了更强大的调试工具。