Manticore Search中精确形式修饰符与短语搜索结合时的异常行为分析

问题背景

在全文搜索引擎Manticore Search中，精确形式修饰符（=）是一个重要的查询语法特性，它用于指定搜索词必须完全匹配索引中的词项，不进行任何形式的扩展或变形。然而，当这个修饰符与短语搜索操作符（双引号）结合使用时，出现了预期之外的行为。

问题现象重现

通过一个简单的测试案例可以清晰地重现这个问题：

1. 首先创建一个测试表，启用关键词扩展和精确词索引功能：

CREATE TABLE t(f text) 
min_prefix_len='3' 
index_exact_words='1' 
expand_keywords='1';

2. 插入两条测试数据：

INSERT INTO t VALUES(1, 'ryzen 9 7900XT'), (2, 'ryzen 9 7900');

3. 执行三种不同的查询并查看执行计划：

第一种查询：单独使用精确形式修饰符

SELECT * FROM t WHERE MATCH('=9 =7900');

结果正确返回了完全匹配的记录，执行计划显示确实使用了精确匹配。

第二种查询：在短语搜索中使用精确形式修饰符

SELECT * FROM t WHERE MATCH('"=9 =7900"');

错误地返回了两条记录，包括部分匹配的记录，执行计划显示关键词被错误地扩展了。

第三种查询：对整个短语使用精确形式修饰符

SELECT * FROM t WHERE MATCH('="9 7900"');

同样错误地返回了两条记录，执行计划显示关键词被扩展。

技术分析

预期行为

当使用精确形式修饰符时，搜索引擎应该：

1. 完全按照指定的词形进行匹配
2. 忽略任何词形扩展或变形
3. 不应用前缀或通配符匹配

实际行为

当精确形式修饰符与短语搜索结合时：

1. 查询解析器似乎忽略了精确形式修饰符
2. 仍然执行了关键词扩展（如7900被扩展为7900*）
3. 导致返回了部分匹配的结果

底层机制

这个问题可能源于查询解析器的处理流程：

1. 短语搜索操作符的处理优先级可能高于精确形式修饰符
2. 在构建短语查询时，修饰符信息可能被丢失或忽略
3. 查询优化器可能错误地将短语中的词项视为普通词项处理

影响范围

这个bug会影响以下使用场景：

1. 需要精确匹配短语的搜索
2. 在启用关键词扩展的环境中需要精确控制匹配行为
3. 依赖精确形式修饰符确保搜索结果准确性的应用

解决方案建议

对于遇到此问题的用户，可以暂时采用以下变通方案：

1. 避免在短语搜索中使用精确形式修饰符
2. 使用布尔AND组合多个精确词项代替短语搜索
3. 如果必须使用短语搜索，考虑暂时禁用关键词扩展功能

总结

Manticore Search中精确形式修饰符与短语搜索结合时的异常行为是一个需要修复的缺陷。开发团队应当检查查询解析器中修饰符处理的逻辑，确保在短语搜索场景下精确形式修饰符能够正确发挥作用。对于依赖精确匹配功能的用户，建议关注后续版本更新，或采用上述变通方案暂时规避问题。