Typescript：函数声明中接口属性的类型安全性

Question

假设我们有这个简单的例子：

interface Steps {
  stepOne?: boolean;
  stepTwo?: boolean;
  stepThree?: boolean;
}

let steps: Steps = {};

function markStepDone (step: ???) {
  steps[step] = true;
}


markStepDone('anything');

如何防止它允许将“任何”传递给此函数并仅允许['stepOne'，'stepTwo'，'stepThree']？

我也尝试用枚举来做，但事实证明你不能使用枚举作为索引签名...

Answer 1

你正在寻找的是keyof运算符，它正在本周实现（是的，真的）。 它准备好后会看起来像这样：

function markStepDone (step: keyof Steps) {
  steps[step] = true;
}

这里有一个名字不同的早期PR（keysof）： https ： //github.com/Microsoft/TypeScript/pull/10425

同时， string是粗略的近似值，或者是手写类型"stepOne" | "stepTwo" | "stepThree" "stepOne" | "stepTwo" | "stepThree" "stepOne" | "stepTwo" | "stepThree"将为您提供keyof Steps的确切行为