在字符串联合中彻底迭代所有值？

Question

我有一个像这样的字符串联合：

导出类型间隔='总计'|'每周'|'双周'|'每月'|'每年'；

我希望通过循环工会值数组向用户显示这些值：

const intervals = ['total', 'weekly', 'biweekly', 'monthly', 'annually'];
intervals.forEach(...);

如何键入间隔数组，以保证它具有间隔联合的所有值？

Answer 1

如何键入间隔数组，以保证它具有间隔联合的所有值

不容易。您可以将其声明为元组的联合。假设你只有'总计'|'每周'，你可以这样做：

const intervals: 
| ['total', 'weekly']
| ['weekly', 'total']

这里有一个排列nPn。

Answer 2

从数组派生类型，而不是从类型派生数组。

export const INTERVALS = ['total', 'weekly', 'biweekly', 'monthly', 'annually'] as const;

const temp = [...INTERVALS];
export type Interval = typeof temp[0];

Answer 3

很容易确保间隔必须可分配给Array

const intervalsMisspelled: Array<Intervals> = 
  ['weekly', 'biweekly', 'annually', 'monthly', 'totul']; // error, "totul"

但这并不能阻止你忽略一些事情：

const intervalsMissing: Array<Intervals> = 
  ['weekly', 'biweekly', 'annually', 'monthly']; // oops, no error but missing "total"

为了解决这个问题，您可以创建一个名为ensureArray（）的帮助函数，它接受一个类型参数T（对您来说是interval），然后返回一个新函数，该函数接受T类型的参数列表，并为该列表推断一个数组类型a。如果A数组（A[number]）的元素类型比T的元素类型窄，则您必须漏掉某些内容，并且应该会出现错误。下面是一种方法：

const ensureArray = <T>() => <A extends T[]>(
  ...a: A & ([T] extends [A[number]] ? A : never)
): A => a;

const ensureIntervalsArray = ensureArray<Intervals>();

const intervals = ensureIntervalsArray(
  'annually', 'biweekly', 'monthly', 'total', 'weekly'); // okay

const intervalsMisspelled = ensureIntervalsArray(
  'annually', 'biweekly', 'monthly', 'totul', 'weekly'); // error, "totul"

const intervalsMissing = ensureIntervalsArray(
  'annually', 'biweekly', 'monthly', 'weekly'); // error,
// [string, string, string, string] is not assignable to never

这是可行的，尽管您在intervalsMissing上得到的错误相当隐晦，即某些东西不可分配给never，而不告诉您真正的问题是什么。由于TypeScript目前不允许我们产生自定义类型错误，我们只能尝试解决这个问题。

下面给出了一个更奇怪的错误消息，但它给了开发人员一个提示：

const ensureArray = <T>() => <A extends T[]>(
  ...a: A & ([T] extends [A[number]] ? A :
    { errorMessage: [Error, "You are missing", Exclude<T, A[number]>] })
): A => a;

const ensureIntervalsArray = ensureArray<Intervals>();

const intervalsMissing = ensureIntervalsArray(
  'annually', 'biweekly', 'monthly', 'weekly'); // error,
// Property 'errorMessage' is missing in type 
// '["annually", "biweekly", "monthly", "weekly"]' 
// but required in type '{ errorMessage: [Error, "You are missing", "total"]; }'

希望其中一个足以满足你的需求。祝你好运！