Есть перечисленные ключи:
type Keys = 'a' | 'b' | 'c';
Они могут быть взяты например из другого интерфейса через keyof
, или могут быть просто перечислены как тут.
И есть другие интерфейсы, которые должны иметь именно эти ключи, и никакие больше:
interface X {
a: number;
b: string;
c: MyAnytype;
z: number; // должна быть ошибка - лишний ключ "z"
}
interface Y { // должна быть ошибка - не найден ключ "b"
a: 'some-type';
c: Function;
}
В значениях могут быть любые типы, которые я перечислю руками, не автоматические как в {[key in Keys]: number}
. Типы значений не должны никак расширяться или подменяться более общими или другими.
Как добиться такой проверки ключей у типов?