TypeScript类型判断为何有问题？

Question

定义如下

export interface Options<T> {
  serializer?: (value: T) => string;
  deserializer?: (value: string) => T;
  defaultValue?: IFunction<T> | T;
}

使用

if (typeof options.defaultValue === "function") {
   options.defaultValue();
}

出现下面的报错：

为什么在使用typeof的情况下ts对类型判断还是有问题？平常在消费联合类型的时候，都只需要借助typeof就能达到缩小类型范围的目的，但是这里没有效果，我想问下什么时候会出现这种问题？

我知道解决方案：

1. 通过强制的类型断言来告诉ts这是一个函数
2. 通过is关键字来做类型预测

但是不知道什么时候需要这么去解决，只有报错的时候才会尝试这么去解决，恳求大佬解惑。

Answer 1

T也可能是个函数，例如Options<(name: string) => void>

那这时候用typeof来收缩函数，就有两个不同签名得函数了，编译器自然无法处理改怎么调用

可以单独限制下defaultValue泛型为函数得情况：

type MaybeFunction<T> = T extends Function ? never : T | IFunction<T>

export interface Options<T> {
  serializer?: (value: T) => string;
  deserializer?: (value: string) => T;
  defaultValue?: MaybeFunction<T>
}

Answer 2

当代码里没有确定类型的时候就需要，断言告诉ts这是一个函数，比如在你的例子中这个函数是可选的可能不存在，再比如这个变量类型要求是number或者string，然后变量直接调用string的方法就会报错，此时就需要断言