У меня есть библиотека, которая экспортирует тип утилиты, подобный следующему:
type Action<Model extends object> = (data: State<Model>) => State<Model>;Этот тип утилиты позволяет вам объявить функцию, которая будет выполнять «действие». Он получает общий аргумент, против Modelкоторого будет действовать действие.
Затем dataаргумент «действия» набирается с помощью другого типа утилиты, который я экспортирую;
type State<Model extends object> = Omit<Model, KeysOfType<Model, Action<any>>>;Тип Stateутилиты в основном принимает входящий Modelуниверсальный тип, а затем создает новый тип, в котором все свойства данного типа Actionбыли удалены.
Например, вот базовая пользовательская реализация земли выше;
interface MyModel {
counter: number;
increment: Action<Model>;
}
const myModel = {
counter: 0,
increment: (data) => {
data.counter; // Exists and typed as `number`
data.increment; // Does not exist, as stripped off by State utility
return data;
}
}Выше работает очень хорошо. 👍
Однако есть один случай, с которым я борюсь, особенно когда определено определение общей модели вместе с фабричной функцией для создания экземпляров общей модели.
Например;
interface MyModel<T> {
value: T; // 👈 a generic property
doSomething: Action<MyModel<T>>;
}
function modelFactory<T>(value: T): MyModel<T> {
return {
value,
doSomething: data => {
data.value; // Does not exist 😭
data.doSomething; // Does not exist 👍
return data;
}
};
}В приведенном выше примере я ожидаю, что dataаргумент будет напечатан там, где doSomethingдействие было удалено, а универсальное valueсвойство все еще существует. Это, однако, не так - valueсобственность также была удалена нашей Stateутилитой.
Я полагаю, что причина этого заключается в том, что он Tявляется общим без каких-либо ограничений / сужений типов, и поэтому система типов решает, что он пересекается с Actionтипом, а затем удаляет его из dataтипа аргумента.
Есть ли способ обойти это ограничение? Я сделал некоторые исследования и надеется , что будет какой - то механизм , в котором я мог бы утверждать , что Tлюбая , кроме для Action. т.е. отрицательное ограничение типа.
Представить:
function modelFactory<T extends any except Action<any>>(value: T): UserDefinedModel<T> {Но эта функция не существует для TypeScript.
Кто-нибудь знает, как я могу заставить это работать так, как я ожидаю?
Чтобы помочь отладке, вот полный фрагмент кода:
// Returns the keys of an object that match the given type(s)
type KeysOfType<A extends object, B> = {
[K in keyof A]-?: A[K] extends B ? K : never
}[keyof A];
// Filters out an object, removing any key/values that are of Action<any> type
type State<Model extends object> = Omit<Model, KeysOfType<Model, Action<any>>>;
// My utility function.
type Action<Model extends object> = (data: State<Model>) => State<Model>;
interface MyModel<T> {
value: T; // 👈 a generic property
doSomething: Action<MyModel<T>>;
}
function modelFactory<T>(value: T): MyModel<T> {
return {
value,
doSomething: data => {
data.value; // Does not exist 😭
data.doSomething; // Does not exist 👍
return data;
}
};
}Вы можете поиграть с этим примером кода здесь: https://codesandbox.io/s/reverent-star-m4sdb?fontsize=14