如何告诉TypeScript一个对象只能从数组中的值返回对象属性？

在TypeScript中，可以使用索引类型和条件类型来告诉一个对象只能从数组中的值返回对象属性。

首先，我们可以使用索引类型来定义一个索引签名，将数组的索引类型与对象的属性类型进行关联。例如，假设我们有一个名为arr的数组，其中包含了一些对象，每个对象都有一个名为id的属性：

const arr = [{ id: 1 }, { id: 2 }, { id: 3 }];

我们可以使用索引类型来定义一个索引签名，将数组的索引类型与对象的属性类型进行关联：

type ArrayIndex = keyof typeof arr;
type ArrayValue = typeof arr[number];
type ArrayItem = ArrayValue[keyof ArrayValue];

在上面的代码中，ArrayIndex表示数组的索引类型，ArrayValue表示数组中的值的类型，ArrayItem表示数组中的值的属性类型。

接下来，我们可以使用条件类型来定义一个函数，该函数接受一个索引和一个数组，并返回该索引对应的数组元素的属性值：

function getProperty<T extends ArrayItem, K extends ArrayIndex>(arr: T[], index: K): T[K] {
  return arr[index];
}

在上面的代码中，T表示数组元素的类型，K表示数组的索引类型。函数getProperty接受一个数组arr和一个索引index，并返回数组中索引对应的元素的属性值。

使用示例：

const arr = [{ id: 1 }, { id: 2 }, { id: 3 }];

const result = getProperty(arr, 0);
console.log(result.id); // 输出：1

在上面的示例中，我们调用了getProperty函数，并传入了数组arr和索引0，函数返回了数组中索引为0的元素的id属性值。

这样，我们就告诉了TypeScript一个对象只能从数组中的值返回对象属性。