LaTeX2e项目中array宏包垂直间距问题的分析与修复

问题背景

在LaTeX2e项目的array宏包中，当使用m或b列类型时，如果同时满足以下两个条件：

1. \arraystretch值大于1
2. 单元格内容以\par命令结尾

就会出现垂直间距计算错误的问题。这个问题最初由用户mbertucci47在2025年6月发现并报告。

技术细节分析

该问题源于array宏包在处理单元格垂直对齐时的内部机制。当使用m(垂直居中)或b(底部对齐)列类型时，LaTeX需要计算额外的垂直间距来确保内容正确对齐。

问题的核心在于\@finalstrut宏的实现。这个宏负责在表格单元格末尾添加一个"隐形支柱"(strut)，以确保行高的一致性。在修复前的问题版本中，当单元格内容以\par结束时，\@finalstrut未能正确处理垂直间距调整，特别是在\arraystretch大于1的情况下。

影响范围

这个问题影响所有使用以下组合的情况：

• array宏包的m或b列类型
• \arraystretch值大于1
• 单元格内容包含\par命令

值得注意的是，p列类型不受此问题影响，因为它的实现机制略有不同。

解决方案

Frank Mittelbach提供了以下修复方案，通过重新定义\@finalstrut宏来解决问题：

\makeatletter
\def\@finalstrut#1{%
  \unskip
  \ifhmode \nobreak
  \else
    \ifnum\lastnodetype>\m@ne 
      \vskip-\baselineskip
    \fi
  \fi
  \vrule\@width\z@\@height\z@\@depth\dp#1}
\makeatother

这个修复方案的关键改进点在于：

1. 增加了对水平模式(\ifhmode)的判断
2. 改进了对节点类型的检查(\ifnum\lastnodetype>\m@ne)
3. 确保在适当情况下添加负垂直间距(\vskip-\baselineskip)

技术原理

在LaTeX的表格处理中，strut(支柱)是确保行高一致性的重要机制。\@finalstrut宏的作用是在单元格内容后添加一个不可见的规则，其深度与单元格内容相同，从而保证整行的基线对齐。

当\arraystretch大于1时，LaTeX会放大行高，这时需要更精确地计算strut的位置和尺寸。原始实现中，当单元格以\par结束时，未能正确处理这种放大情况，导致垂直间距计算错误。

修复后的版本通过更精确的模式判断和间距调整，确保了在各种情况下都能正确计算垂直间距。

实际应用建议

对于需要使用受影响功能组合的用户，建议：

1. 如果可能，升级到包含修复的LaTeX版本
2. 临时解决方案是使用提供的修复代码
3. 避免在m或b列类型的单元格中不必要地使用\par命令
4. 如果必须使用\par，可以考虑改用p列类型作为替代方案

这个问题已在LaTeX2e的后续更新中得到修复，用户可以通过常规更新渠道获取修复后的版本。