возможно ли?
да, возможно, но есть ограничения
какие ограничения ?
const obj = { a: '', b: '', c: '', }
const arr = ['a', 'c']
// Argument of type 'string' is not assignable to parameter of type '"a" | "c" | "b"'.ts(2345)
TS должен знать, что вы создаёте на массив строк, а массив ключей объекта.
но это решаемо, в той или иной степени.
там песочница
T1: {
const foo = <T, Q extends keyof T>(props: T, ...q: Q[]): Omit<T, Q> => null as any;
// -,-
const obj = foo({ a: '', b: '', c: '', }, 'a', 'c')
// -,-
obj.a; // err
obj.b;
obj.c; // err
}
T2: {
const foo = <T, Q extends keyof T>(props: T, ...q: Q[]): Omit<T, Q> => null as any;
// -,-
const arr = ['a', 'c']
const obj = foo(
{ a: '', b: '', c: '', },
...arr // Argument of type 'string' is not assignable to parameter of type '"a" | "c" | "b"'.ts(2345)
)
// -,-
obj.a; // нет ошибки - плохо
obj.b;
obj.c; // нет ошибки - плохо
}
// -,-
T3: {
const foo = <T, Q extends keyof T>(props: T, ...q: Q[]): Omit<T, Q> => null as any;
// -,-
const qq = <T, Q extends keyof T>(obj: T, ...q: Q[]) => q;
// -,-
const obj_base = { a: '', b: '', c: '', }
// -,-
const arr = qq(obj_base, 'b', 'c')
const obj = foo(obj_base, ...arr)
// -,-
obj.a;
obj.b; // err
obj.c; // err
}
T4: {
type $q<T, K> = { [K in keyof T]: any }
const foo = <T, Q extends Partial<{ [K in keyof T]: any }>, K extends keyof Q,>(props: T, o: Q): Omit<T, K> => null as any;
const obj = foo({
a: '',
b: '',
c: '',
}, { c: '' })
obj.a;
obj.b;
obj.c; // err
}
TFilteredProps
будет в каждом конкретном случае иметь разные поля, такое нельзя сделать наts
, да и вообще кажется, это уже какой-то супердинамический тип