Typescript 接口中的强制类型

Question

I have a interface for typing that looks like the following

interface Bob{
    a: number;
    b: number;
    c: number;
}

However, I don't really want number as any number can be valid. How can I enforce the type of Bob to be numbers strictly in a JSON file like the following.

{
  "None": -1,
  "foo": 22,
  "moo": 55,
  "raar": 13,
  "zaar": 2,
  "bar": 0,
  "fooboo": 22,
  "mooboo": 1000,
}

That JSON contains around 200 entries hence doing a manual typedef is not optimal.

What I aim to achieve

const myvar: Bob;
myvar.a = 2222 // this should throw an error as this number is not defined in the JSON
myvar.b = -1 //this is ok as it is in the JSON

Thanks!

Answer 1

Thanks to @zerkms for the answer.

const json = {
  "None": -1,
  "foo": 22,
  "moo": 55,
  "raar": 13,
  "zaar": 2,
  "bar": 0,
  "fooboo": 22,
  "mooboo": 1000,
} as const;

type $Values<T extends object> = T[keyof T];
type supportedNumbers = typeof json[keyof typeof json];

interface Bob{
    a: supportedNumbers;
    b: supportedNumbers;
    c: supportedNumbers;
}

const NiceBob: Bob = {
  a: 3909, //error
  b: 319039, //error
  c: -1 //no error
};

Example can be found here

Docs can be found here