LaTeX2e数组包中空p单元格深度问题的分析与修复

问题背景

在LaTeX2e的数组包(array.sty)使用过程中，当arraystretch值大于1时，表格中的空p单元格会出现深度异常的问题。这个问题会影响表格的垂直对齐和整体布局，导致表格行高不一致。

问题表现

当使用arraystretch值大于1的设置时，包含空内容的p单元格会比预期更深。具体表现为：

• 空p单元格所在行的高度明显大于其他行
• 表格底部对齐出现偏差
• 表格线间距不均匀

技术分析

问题的根源在于\@finalstrut宏的实现方式。这个宏负责在表格单元格末尾添加一个不可见的支撑结构(strut)，以确保单元格有足够的高度和深度。当前实现没有正确处理arraystretch的影响。

在原始代码中，\@finalstrut使用固定的\baselineskip值来调整垂直间距，而没有考虑\arraystretch的缩放因子。当\arraystretch大于1时，这种简化处理会导致空单元格的深度计算错误。

解决方案

经过讨论，开发团队确定了两种可能的修复方案：

1. 基于单元格尺寸的精确计算： 使用\vskip\dimexpr -\ht#1-\dp#1\relax来精确计算需要的垂直调整量，这种方法会考虑实际单元格的高度和深度。

2. 条件判断arraystretch： 使用\vskip-\ifx#1\@arstrutbox \arraystretch \fi \baselineskip，这种方法会智能判断当前是否在表格环境中，并相应应用arraystretch因子。

最终采用的解决方案需要确保：

• 在表格内外都能正确工作
• 不破坏现有的文档布局
• 保持向后兼容性

影响范围

该修复会影响所有使用以下特性的文档：

• 带有p列说明符的表格
• 设置了arraystretch大于1的表格
• 包含空单元格的表格行

最佳实践

为避免类似问题，建议在表格布局时：

1. 对于空单元格，考虑使用\strut或占位符
2. 谨慎设置arraystretch值，测试不同值的效果
3. 使用>{\strut}修饰符为p列添加默认支撑

结论

这个修复体现了LaTeX2e对排版细节的精确控制要求。通过改进\@finalstrut的实现，确保了表格在各种arraystretch设置下都能保持一致的垂直间距，提升了排版质量的可预测性。用户升级到包含此修复的版本后，将获得更稳定的表格布局表现。