可能稍微标题党了点,我用的小米手机,不能代表所有安卓

之前用 ios 的时候,搜索交管 12123 发现如果直接输入 123 会搜不到,12 可以,交管也可以,用久了就习惯了,以为是写搜索的哥们程序逻辑有 bug 导致,因为我印象中这个搜索也没有用到分词,应该是纯模糊匹配吧?

最近换了小米, 升级了最新 hyperos,搜交管时直接输入 123,没有搜到,我以为没有安装,进商店一看是安了的

试了下搜 12 可以,搜交管 可以,搜管 1 可以,搜 2123 可以,搜 123...还是不行

所以我有点好奇这个跨平台 bug 是什么导致的,感觉不是匹配 bug,像是压根没走到匹配那一步? 123 被当成了数字进行了其他搜索了?