从对象文字自动推断的记录类型(例如：`unown`)

Question

在typescript中，我可以将对象文本保留为无类型，以便自动推断该类型，也可以指定一个类型(例如Record)，以便在文本上强制执行该类型。-- (1)

我想强制使用Record<unknown, A>，这样就可以从文字推断属性(像"prop1" | "prop2" | "prop3"这样的联合类型)，并根据A对值进行类型检查。

也就是说，我想让typescript完成(1)中每种情况下的一半。

这是可能的吗？Record<unknown, A>报告未知的类型而不是推断类型

TS2344: Type 'unknown' does not satisfy the constraint 'string | number | symbol'.   Type 'unknown' is not assignable to type 'symbol'.

请参阅最小再现at this typescript playground link

Answer 1

这将需要partial type inference，而Typescript还没有。

这里的一种解决方案是让TS推断类型，然后验证记录值的类型，即。就像这样

const obj = {
  prop1: 'foo',
  prop2: 42,
  prop3: true
}

function fun<Keys extends string>(input: Record<Keys, string | number>) {}

fun(obj) // error: boolean not an accepted value