面试题：TypeScript 中如何对泛型进行基本约束

Question

请编写一个 TypeScript 函数，该函数接受一个数组和一个索引，从数组中获取指定索引位置的元素。要求使用泛型，并对泛型进行约束，确保传入的数组是具有 length 属性的可索引类型。

Answer 1

function getElement<T extends { length: number }>(array: T, index: number): T extends { [key: number]: infer U } ? U | undefined : undefined {
    return index >= 0 && index < array.length ? array[index] : undefined;
}