如果从type id = keyof OJ[number]['id'];中删除keyof，则错误将得到修复。这将使id与string匹配。如果需要更具体的类型，例如，希望id为"a" | "b" | "c"，则可以在对象后给予as const。

function abc(id: 'a' | 'b' | 'c') { /* */ }

var myObj = [{ id: 'a', value: 1}, { id: 'b', value: 2 }, { id: 'c', value: 3}] as const

type OJ = typeof myObj;
type id = OJ[number]['id'];
//    ^?

运动场

您的type id中不需要keyof：

const myObj = [{ id: 'a', value: 1}, { id: 'b', value: 2 }, { id: 'c', value: 3}];

type OJ = typeof myObj;
type id = OJ[number]['id'];

但是，使用这种方法，id的类型将是string，因为TypeScript认为myObj是开放式的，您可以在以后向myObj添加其他元素。
要防止出现这种情况，请使用constAssert：

const myObj = [{ id: 'a', value: 1}, { id: 'b', value: 2 }, { id: 'c', value: 3}] as const;

type OJ = typeof myObj;
type id = OJ[number]['id'];