FontTools feaLib 中混合替换规则的编译问题分析

问题背景

在FontTools的feaLib模块中，当处理OpenType特性文件时，存在一个关于单替换(single substitution)和连字(ligature)规则混合编译的有趣问题。这个问题特别影响到aalt(所有替代)特性的生成。

技术细节

在OpenType特性文件中，开发者可以定义不同类型的替换规则。正常情况下：

1. 单替换规则(sub x by y)会直接被编译为GSUB类型1查找表
2. 连字规则(sub a b by c)会编译为GSUB类型4查找表

feaLib在某个版本更新后，开始将看起来像单替换的规则(如sub a by b)与真正的连字规则合并编译到同一个连字查找表中。这种优化虽然减少了查找表数量，但带来了一个副作用。

问题表现

当在aalt特性中引用其他特性时，按照OpenType规范，所有单替换规则都应自动包含在aalt中。然而，由于上述优化，原本的单替换规则被编译为连字规则，导致它们不再被aalt特性自动包含。

解决方案分析

针对这个问题，可以考虑以下解决方案：

1. 修改aalt特性的生成逻辑，使其也包含形似单替换的连字规则
2. 这种修改不会破坏现有代码，因为这种连字规则只能通过查找表提升产生
3. 同样的处理也应适用于形似单替换的多重替换规则

技术影响

这个问题虽然看起来是边缘情况，但它揭示了特性编译过程中类型推断和优化可能带来的非预期副作用。对于字体开发者而言，理解这些底层机制有助于编写更可靠的特性文件。

最佳实践建议

1. 尽量避免在同一个特性中混合使用单替换和连字规则
2. 如果需要确保某些字形变体出现在aalt中，可以显式地在aalt中列出它们
3. 测试生成的字体时，特别检查aalt特性是否包含所有预期的字形变体

这个问题的解决展示了字体编译工具的复杂性，以及在优化和规范遵循之间需要做出的权衡。