|
|
Typescript写对象类型时如何做到【或】的逻辑?
关注者
13
被浏览
7,403
7 个回答
之前也遇到过这样的问题
interface IProps1 {
firstName: string;
lastName: string;
age: number;
interface IProps2 {
fullName: string;
age: number;
type Without<T, U> = { [P in Exclude<keyof T, keyof U>]?: never };
type XOR<T, U> = T | U extends object
? (Without<T, U> & U) | (Without<U, T> & T)
: T | U;
type Person = XOR<IProps1, IProps2>
// ================= test ==================
// correct
const p1: Person = {
firstName: 'jack',
lastName: 'spell',
age: 12,
// correct
const p2: Person = {
fullName: 'jack spell',
age: 12,
// error
const p3: Person = {
fullName: 'jack spell',
age: 12,
// error field
firstName: 'jack',
// error
const p4: Person = {
firstName: 'jack',
lastName: 'spell',
age: 12,
// error field
fullName: 'jack spell',
为往圣继绝学
这里需要使用ADT，即代数数据类型。基于您图片中的代码少做修改即可：
在IProps1和IProps2中都添加一个同名常量类型字段即可。
代码如下:
interface IProps1 {
type: "ip1", // 新增字段
firstName: string,
lastName: string,
age: number
interface IProps2 {
type: "ip2", // 新增字段
fullName: string,
age: number
type IPerson = IProps1 | IProps2
解释一下, 在组成联合类型的两个类型之间, 存在一个 同名但不同类型 的字段, 此时即构成代数数据类型. 这里为了简化问题, 我们使用字面量类型, 实际开发中推荐使用枚举.
那么, 在声明时,
// 若提供 type 字段的值为 "ip1" 时
const s1: IPerson = { type: "ip1", /* 剩余字段只能是 IProps1 的成员字段, 否则编译不过 */ }
// 若提供 type 字段的值为 "ip2" 时
const s2: IPerson = { type: "ip2", /* 剩余字段只能是 IProps2 的成员字段, 否则编译不过 */ }在使用时, 添加类型判断作为类型守卫, 使其发生type narrowing
if (s1.type === "ip1") {
// 智能提示只会提示 s1 有 IProps1 的成员字段
console.log(s1.firstName); // 合法