FontForge中多查找上下文规则生成错误的技术分析

问题背景

在FontForge项目中，当用户尝试为包含多个查找(lookup)的单个上下文规则生成特性文件(feature file)时，系统仅会保留规则中的第一个查找，而忽略后续的所有查找。这个问题不仅影响特性文件的生成，还会影响UFO格式的导出。

问题重现与现象

1. 测试环境准备：创建一个包含四个测试字形(A、B、C、D)的字体文件
2. 创建查找规则：
   • 创建两个单替换查找：
     • "Single 1"：将A替换为B
     • "Single 2"：将C替换为D
   • 创建一个上下文替换规则："A @<Single 1> C @<Single 2>"
3. 预期行为：当输入序列"ABACD"时，应被替换为"ABBDD"
4. 实际输出：生成的特性文件中，上下文规则仅包含第一个查找，变为"sub \A'lookup Single1 \C'"

技术分析

根本原因

问题出在lookup_in_rule()函数的实现逻辑上。该函数用于确定规则中特定序列位置的查找索引，但当前实现中的循环条件存在错误：

/* 当前错误实现 */
for ( i=0; seq < r->lookups[i].seq && i<r->lookup_cnt; ++i );

正确的循环条件应该是：

/* 正确实现应为 */
for ( i=0; seq > r->lookups[i].seq && i<r->lookup_cnt; ++i );

这个错误导致函数无法正确遍历规则中的所有查找，从而在生成特性文件时丢失后续查找。

影响范围

该问题会影响以下功能：

1. 特性文件(.fea)的生成
2. UFO格式的导出
3. 通过"Merge Feature Info"重新导入特性文件后的规则还原

解决方案

临时解决方案

用户可以通过以下方式规避此问题：

1. 将复杂的多查找上下文规则拆分为多个单查找规则
2. 手动编辑生成的特性文件，添加缺失的查找引用

永久修复方案

修复lookup_in_rule()函数的循环条件，确保它能正确遍历规则中的所有查找。同时，建议增强测试用例，覆盖多查找上下文规则的生成场景。

扩展知识

OpenType特性文件中的上下文规则

在OpenType特性文件中，上下文替换规则允许指定多个查找操作。正确的语法格式为：

sub glyph1'lookup lookup1 glyph2'lookup lookup2 ...;

这种语法允许在一个规则中应用多个查找，每个查找可以作用于不同的字形位置。FontForge当前的问题会导致这种复杂规则的表达能力受限。

开发建议

对于处理OpenType规则的系统，建议：

1. 完整支持所有合法的OpenType特性语法
2. 对复杂规则进行充分的单元测试
3. 在文档中明确说明对多查找规则的支持情况

结论

FontForge在处理多查找上下文规则时存在生成错误，这会影响高级排版功能的实现。开发者应修复lookup_in_rule()函数的实现，并增强相关测试用例。用户在当前版本中应注意检查生成的特性文件，必要时进行手动修正。