const X = { a: 1, b: 2, c: 3, d: 4 } function getProperty(obj, key) { // Вазифа: функсияро типи кардан return obj[key] } getProperty(X, 'a') // хато йоқ getProperty(X, ' ') // хато: калит, объект учун тўғри калит эмас getProperty({ nomi: 'Sergey' }, 'nomi') // хато йоқ

Чтобы типизировать функцию getProperty так, чтобы она принимала объект и ключ, который точно существует в этом объекте, можно использовать дженерики и оператор keyof в TypeScript:

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
    return obj[key];
}

const X = { a: 1, b: 2, c: 3, d: 4 };

getProperty(X, 'a'); // ОК
getProperty(X, ' '); // Ошибка: тип " " не является ключом объекта X
getProperty({ name: 'Sergey' }, 'name'); // ОК

Здесь K extends keyof T гарантирует, что ключ key принадлежит объекту obj. Это предотвращает передачу несуществующих ключей и позволяет получить корректный тип возвращаемого значения.