打字稿：泛型类型上不存在属性

Question

我正在努力学习Typescript，我一直在学习我在网上找到的一些练习。但对错误解决方案的反馈并不是很好。所以我得到了以下代码，但TS一直抱怨属性type没有在T:上定义

interface User {
type: 'user';
name: string;
age: number;
occupation: string;
}
interface Admin {
type: 'admin';
name: string;
age: number;
role: string;
}
export type Person = User | Admin;
export const persons: Person[] = [
{ type: 'user', name: 'Max Mustermann', age: 25, occupation: 'Chimney sweep' },
{ type: 'admin', name: 'Jane Doe', age: 32, role: 'Administrator' },
{ type: 'user', name: 'Kate Müller', age: 23, occupation: 'Astronaut' },
{ type: 'admin', name: 'Bruce Willis', age: 64, role: 'World saver' },
{ type: 'user', name: 'Wilson', age: 23, occupation: 'Ball' },
{ type: 'admin', name: 'Agent Smith', age: 23, role: 'Anti-virus engineer' }
];
export function filterPersons<T>(persons: T[], personType: string, criteria: T): T[] {
return persons
.filter((person) => person.type === personType)
.filter((person) => {
let criteriaKeys = Object.keys(criteria) as (keyof T)[];
return criteriaKeys.every((fieldName) => {
return person[fieldName] === criteria[fieldName];
});
});
}
export const usersOfAge23 = filterPersons<User>(persons, 'user', { age: 23 });
export const adminsOfAge23 = filterPersons<Admin>(persons, 'admin', { age: 23 });

我在这里做错了什么？T应该是一个通用类型，或者在这种情况下是传递正确的User或Admin？

Answer 1

只有在不使用箭头(源(的情况下，才能在filter中推断类型。所以你需要这样的东西：

export function filterPersons<T extends Person>(
persons: Person[], 
personType: T['type'], 
criteria: Partial<T>
): T[] {
const isPersonOf = (person: Person): person is T => person.type === personType;
return persons
.filter(isPersonOf)
.filter((person) => {
let criteriaKeys = Object.keys(criteria) as (keyof T)[];
return criteriaKeys.every((fieldName) => {
return person[fieldName] === criteria[fieldName];
});
});
}

使用此实现时，请注意usersOfAge23(User[](和adminsOfAge23(Admin[](的类型。

Answer 2

在函数声明中，关于T有一件事你知道：它扩展了Person，所以给TypeScript:这个提示

export function filterPersons<T extends Person>(persons: T[], personType: string, criteria: T): T[] {

您的功能实现将像这样工作，但它会引发另外两个错误：

• 您正在向filterPersons<User>和filterPersons<Admin>传递一个比所需类型更宽的Person[]。快速修复：当您调用函数filterPersons时，让TypeScript通过省略它来推断类型
• 该条件不是完整的T，只有它的某些属性，因此将其键入为Partial<T>

TypeScript游乐场