我要评论引言
接上文关于分配条件类型，官方文档描述地址。
之前看的时候没真正理解，关于联合类型的分配条件，官方文档其实也没有讲得很明白，和翻译无关，英文文档一样很模糊，这些天做type challenge，发现有些题做出来的结果和预期不太一致，所以重新梳理这块内容。
先说结论
联合类型什么时候会分配，必须符合4个条件（后面直接用条件1、条件2等代指下面条件）：
首先，只分配extends前的内容
- 无论这个extends是不是子断言语句中的
- 例如
type test<t> = 'b' extends 'b' ? (t extends 'b' ? true: false) : false;, 其中的t extends 'b'在子语句中，但事实上依旧是有效的
分配的内容未做任何处理
type test<t> = keyof t extends null ? never: false;，t被keyof操作符处理了，因此不会分配- 官方文档中，提到避免分配的方法
type toarraynondist<type> = [type] extends [any] ? type[] : never;，能规避分配也是这个道理
分配内容必须作为参数传入
传入时是联合类型
题目解析
验证条件
条件1
type test<t> = 'b' extends 'b' ? (t extends 'b' ? true: false) : false; test<'a'| 'b'> // boolean
可见在子条件中的extends也符合自动分配，否则'a'|'b' extends 'b'会返回false，而不是true|false
条件2
发现这个问题是在deepreadonly，题目地址
这一题一看看过去，直接写出如下：
type deepreadonly<t> = keyof t extends never ? t : {readonly [k in keyof t]: deepreadonly<t[k]>};但是发现对于测试用例x2不生效
type x2 = { a: string } | { b: number };
deepreadonly<x2> // { a: string } | { b: number }仔细看，虽然x2是联合类型，但keyof t extends never显然不符合前面说的条件2，因此不会自动分配，而keyof ({ a: string } | { b: number })值为never。因此该题正确写法如下：
type deepreadonly<t> = {
readonly [p in keyof t]: keyof t[p] extends never ? t[p] : deepreadonly<t[p]>;
};条件3
显然，普通使用extands不会触发自动分配
type test = 'a'|'b' extends 'a' ? true: false; // false
那么，假设传入的参数是联合类型，extends前的对象也是联合类型呢？
type test<t> = 'b' extends 'b' ? (keyof t extends 'b' ? true: false) : false;
type result = test<{a:1,b:string}|{a:2,b:number}> // false这里，参数t是联合类型，但extends前进行了keyof处理，但keyof {a:1,b:string}|{a:2,b:number}结果为'a'|'b'，依然是联合类型，若这里进行了自动分配，结果应是boolean而非false。
根据结果来看，这里并未进行分配，这个例子同时违背了条件2和条件3
条件4
type test<t> = 'a'|'b' extends 'b' ? t: false; test<5> // false
条件4显而易见，官方文档上已经说的很明确了。
不注意优先级导致的错误
在测试分配条件类型的规律时，曾因为一条用例卡了半天，用例如下：
type a = keyof null|undefined; // undefined type undefinedextendsnull = undefined extends null ? true: false; //false type test<t> = keyof t extends null ? true: false; test<null|undefined>; // true ！！！！
此时已经知道了，keyof t会避免自动分配，因此对于test<null|undefined>，可以写成
keyof null|undefined extends null ? true : false; // 这里有个坑...
而keyof null|undefined结果是undefined，但是
type undefinedextendsnull = undefined extends null ? true: false; //false
结果是false，同样的式子，结果不一样，一开始我以为是分配规律的理解有问题，但即使分配了，结果也应该是true|false，也就是boolean，而不是true。
后来发现，type是有优先级的，且keyof优先级高于|.
按理说keyof null|undefined结果应该是never，之所以会显示结果是undefined，是因为优先级运算：
keyof null|undefined -> (keyof null)|undefined -> never|undefined -> undefined
在实际写类型的时候，要重点注意优先级问题
以上就是typescript type 分配条件类型示例详解的详细内容，更多关于typescript type分配条件类型的资料请关注代码网其它相关文章！
发表评论