TypeScript报错Type 'false' has no call signatures的原因及解决

问题重现 #

代码示例：

let d: { [key: string]: { [k: string]: boolean } | number[] } = {
  blah: [],
};
d["blah"].push(2);

收到的警告信息：

This expression is not callable.                                               
Not all constituents of type 'boolean | ((...items: number[]) => number)'    
are callable.                                                                 
Type 'false' has no call signatures. (tsserver 2349)  

实际运行正常，console.log(d['blah'])输出[2]。

警告原因 #

你定义的d是索引签名联合类型：每个键对应的值要么是{ [k: string]: boolean }（任意字符串键对应布尔值的对象），要么是number[]（数字数组）。

当访问d["blah"].push时，TypeScript会对联合类型的两个分支做属性交集分析：

• 对于number[]，push是可调用的数组方法；
• 对于{ [k: string]: boolean }，由于索引签名覆盖任意字符串键，TypeScript会认为push这个键对应的类型是boolean。

因此d["blah"].push的类型被推断为boolean | ((...items: number[]) => number)。TypeScript无法确定它到底是可调用方法还是布尔值，所以抛出警告——虽然运行时blah是数组，但TypeScript静态类型检查只看你定义的类型，不依赖运行时的值。

修正方案 #

1. 定义更精确的类型 #

如果明确知道某些键的具体类型，用混合类型定义，既保留索引签名，又指定特定键的类型：

interface DType {
  blah: number[];
  [key: string]: { [k: string]: boolean } | number[];
}

let d: DType = {
  blah: [],
};
d["blah"].push(2); // 无警告

这样TypeScript明确知道blah是number[]，直接允许调用push。

2. 使用类型断言 #

临时确定当前值是数组时，手动告诉TypeScript它的类型：

(d["blah"] as number[]).push(2);

注意：类型断言需要开发者自行保证类型正确，若实际值不是数组，运行时会报错。

3. 添加类型守卫 #

通过运行时判断缩小类型范围，让TypeScript自动推断当前值是数组：

if (Array.isArray(d["blah"])) {
  d["blah"].push(2); // 分支内TypeScript确认是number[]，无警告
}

忽略警告的方法 #

若确实需要跳过该检查，用单行注释实现：

// @ts-expect-error 已知blah是数组，跳过类型检查
d["blah"].push(2);

或者：

// @ts-ignore
d["blah"].push(2);

推荐用@ts-expect-error，因为后续代码改动导致值类型变化时，TypeScript会重新提示错误；而@ts-ignore会直接跳过所有检查，隐藏潜在问题。

内容的提问来源于stack exchange，提问作者Random Data Monster