如何使用 TS 类型作为值

Question

我有一个 TypeScript 类型，它有一堆字符串，它的定义如下：

type Regions = "" | "eu-west-1" | "eu-east-1" | "us-west-1" | "us-east-1" | "ap-southeast-1" | "ap-east-1"

然后我稍后在我的代码中通过查询字符串参数从 URL 获取区域。 假设从 URL 检索到的区域是一个名为region的变量

所以我在我的代码中做一些验证，我想确保该region是Regions类型。

因此，为了进行验证，我的代码说： if (region in Regions) { doStuff();}

如果 Region 是所有这些区域的变量，这将起作用。

但是，由于 Regions 是一种类型，因此会抛出错误： 'Regions' only refers to a type, but is being used as a value here

我明白为什么，但是如何使用或扩展type Regions来实现我想要做的事情

我真的不想创建另一个 object 或字符串数组，我只想使用我现有的类型来进行此验证。

我确实创建了一个这样的枚举：

enum RegionsList {
  'eu-west-1',
  'eu-east-1',
  'us-west-1',
  'us-east-1',
  'ap-southeast-1',
  'ap-east-1'
}

然后region in RegionsList但这有点重复了我的 Regions 类型，并且必须有一个更好的解决方案来结合 2。任何帮助/建议表示赞赏。

Answer 1

你不能从一个类型中产生一个值，但你可以从一个值中推断出一个类型。 这意味着您应该从一些运行时值开始，并让编译器从中推断出Regions类型。

---

例如，您可以创建一个有效区域名称的数组：

const Regions = ["", "eu-west-1", "eu-east-1", "us-west-1", 
  "us-east-1", "ap-southeast-1", "ap-east-1"] as const;
type Regions = typeof Regions[number];

您可以验证类型Regions是否与您的定义中的相同。 然后你可以使用数组来检查一个字符串是一个有效的Regions （比如当你实现一个用户定义的类型保护 function 时）：

function checkRegion(region: string): region is Regions {
  return (Regions as readonly string[]).indexOf(region) >= 0;
}

---

或者，如果您想使用in ，您可以创建一个 object ，其键是您关心的值，而不是创建一个数组：

const Regions = {
  "": true,
  "eu-west-1": true,
  "eu-east-1": true,
  "us-west-1": true,
  "ap-southeast-1": true,
  "ap-east-1": true
}
type Regions = keyof typeof Regions;

您可以再次验证Regions是正确的类型，并使用in ：

function checkRegion(region: string): region is Regions {
  return region in Regions;
}

---

您可以使用上面的enum ，但您需要小心，因为数字枚举具有反向映射，因此"0" in RegionsEnum为true ，可能令人惊讶。 如果您仍然愿意使用它，它可能看起来像这样：

enum RegionsEnum {
  "", "eu-west-1", "eu-east-1", "us-west-1", "ap-southeast-1", "ap-east-1"
}
type Regions = keyof typeof RegionsEnum;
function checkRegion(region: string): region is Regions {
  return (region !== (+region) + "") && region in RegionsEnum;
}

（请注意确保该region不是“数字字符串”的额外代码）。

---

好的，希望有帮助； 祝你好运！

Playground 代码链接