阅读 153
再谈泛型-约束关系

再谈泛型-约束关系

本系列作为《TypeScript 入门实战笔记》课程(见拉勾教育)的补丁,随时更新。

约束关系

这篇文章源于与同事的关于泛型类型推断的讨论,如下示例所示(playground):

type Func = (p: any) => void

function foo<T extends Func>(p: T) {}

function bar<T>(p: T) {}

foo((p = 1) => {}) // F1
foo((p: number = 1) => {}) // F2

bar((p = 1) => {}) // B1
bar((p: number = 1) => {}) // B2
复制代码

如第 10 讲泛型里提到过的,(函数)泛型入参缺省的时候(即缺少 <泛型入参>泛型,且未指定默认类型),会根据实参进行类型推断;所以在上面示例里,调用 foo 和 bar 函数的入参进行类型推断。

其中,注释 F2、B1、B2 的地方推断的入参类型都挺好理解,即 (p?: number) => void。但 foo 函数类型比 bar 多了一层约束关系(extends Func),它会约束 foo 函数入参的类型,但却没有约束入参(函数)类型的参数的类型(而是指定其类型是 any),所以注释 F1 推断的类型会是 (p?: any) => void

我们需要建立 foo 函数对入参(函数)类型入参类型的约束,比如给 Func 添加一个泛型入参:

type Func<P = any> = (p: P) => void

function foo<T extends Func>(p: T) {}
复制代码

但这实际还是没有约束到参数的类型,我们需要进一步修改(playground):

type Func<P = any> = (p: P) => void

function foo<T>(p: Func<T>) {}

function bar<T>(p: T) {}

foo((p = 1) => {})
复制代码

这样似乎就可以了,但实际推断出来的类型是 Func<unknown>,等价于 (p: unknown) => void。Interesting!(p = 1) => {} 作为一个函数整体来看,参数 p 的类型受默认值影响,会是(猜测是”类型缩小“,从 unknown 到 number) number;但在受到泛型入参约束的时候,似乎是被作为个体对待,直接拿到了明确的类型 unknown。这样就可以解释的清了(具体是不是这样,估计就要扒一下官方源码了,另外一个解释可以说是泛型入参缺省情况下是 unknown)。所以,foo 函数肯定无法把入参 (p = 1) => {} 类型推断为 (p?: number) => void 或者 (p: number | undefined) => void

此外大原则上,泛型入参和受它约束的入参,在做类型推断时,谁更明确(specified),入参的类型就受谁影响(但如果显式指定泛型入参,那么就不用类型推断了),如以下示例(plaground),受泛型入参默认类型影响,当入参类型不明确的时候,F1、B1,都推断出一个 any。

type Func<P = any> = (p: P) => void

function foo<T = any>(p: Func<T>) {}

function bar<T = any>(p: T = (() => void 0) as any as T) {}

foo((p = 1) => {}) // F1
foo((p: number = 1) => {})

bar() // B1
bar((p: number = 1) => {})
复制代码

无效约束的妙用

见示例 playground

type Func = <P>(p: P) => void

function foo<T extends Func>(p: T) {}

function bar<T>(p: T) {}

foo((p = 1) => {}) // ts(2322)
foo((p: number = 1) => {}) // ts(2345)
复制代码

因为 Func 对应泛型的入参 P,并未真正约束到 foo 函数泛型入参(函数类型)T 的参数的类型,所以对 foo 的两次调用都会提示类型错误,因为 P 可能是任意类型。这就有意思了,比如可以用来实现 isEqual([playground]www.typescriptlang.org/play?#code/…

type isEqual<A, B> = (<P>() => P extends A ? 1 : 2) extends (<P>() => P extends B ? 1 : 2) ? true : false;
type E1 = isEqual<never, any>;
type E2 = isEqual<any, any>;
复制代码

如以上示例所示,当且仅当 A 和 B 入参完全一致的时候,extends 成立(more issue)。

文章分类
前端
文章标签