TypeScript实现Trie时Map联合类型set方法key被推断为never报错

问题根源 #

你的类型定义存在两个核心问题，直接触发了never类型报错：

• 语义和实际需求完全不匹配：Map<Char, TrieNodeMap> | Map<'$', object>是联合类型，它的语义是「一个Trie节点要么是仅支持字符键、完全不识别'$'键的Map，要么是仅支持'$'键、完全不识别字符键的Map」。但你的实际需求是单个Trie节点作为一个Map，同时支持两类键：字符键映射到子节点，'$'键映射到单词元信息。
• 触发了联合类型的参数交叉合并规则：TS处理联合类型的方法调用时，会自动对所有联合成员的同名方法参数做交叉运算，目的是保证传入的参数不管命中哪一个联合成员的类型约束，都不会出现非法调用。

为什么键类型被推断为never #

针对set方法的第一个参数（键名）：

• 第一个联合成员Map<Char, TrieNodeMap>要求键的类型是Char（即'a'|'b'|'c'|'d'）
• 第二个联合成员Map<'$', object>要求键的类型是'$'

按照交叉合并规则，你传入的键必须同时满足这两个类型的约束，也就是Char & '$'。由于Char的字面量成员里不包含'$'，二者没有任何公共的合法值，交叉运算的结果就是never——代表不存在任何能满足类型要求的传入值，所以不管你传'a'还是'$'都会抛出类型错误。

修复方案 #

不要把两类独立的Map做联合，直接定义单个Map类型，让键和值分别支持对应的联合类型即可：

type Char = 'a' | 'b' | 'c' | 'd' // 仅列举部分字符;
type TrieNodeMap = Map<Char | '$', TrieNodeMap | object>;

修复后你的业务代码可以正常通过类型校验：

let node: TrieNodeMap = new Map();
node.set('a', new Map()); // 合法
node.set('$', { word: 'a' }); // 合法

如果需要更严格的类型安全（比如禁止给字符键绑定普通对象、禁止给'$'键绑定子节点），可以额外给Map添加泛型重载，上面的基础写法已经可以解决你当前遇到的报错问题。

内容的提问来源于stack exchange，提问作者k1an