TypeScript如何将即时创建的数组定义为Position[]而非string[]？

下面提供几种无需将数组存入变量，同时保留TypeScript类型检查的方法：

方法1：使用satisfies运算符（TypeScript 4.9+） #

这是最简洁的方案，satisfies会验证数组是否符合Position[]类型，同时保留原数组的字面量信息，不会丢失错误检查：

type Position = 'left' | 'center' | 'right';

const sidePositions = (['left', 'center', 'right'] satisfies Position[]).filter(p => p !== 'center');

如果数组中包含不属于Position的元素（比如'foo'），TypeScript会直接抛出错误，避免人为失误。

方法2：泛型约束函数 #

通过定义一个泛型函数，强制传入的数组元素必须属于Position类型，同时支持链式调用：

type Position = 'left' | 'center' | 'right';

const asPositionArray = <T extends Position[]>(arr: T) => arr;

const sidePositions = asPositionArray(['left', 'center', 'right']).filter(p => p !== 'center');

这个方法兼容性更好，适合较低版本的TypeScript，同样能对非法数组元素进行检查。

方法3：const断言结合类型守卫 #

利用as const将数组转为只读元组，再通过类型守卫断言元素类型为Position：

type Position = 'left' | 'center' | 'right';

const sidePositions = (['left', 'center', 'right'] as const)
  .filter((p): p is Position => true)
  .filter(p => p !== 'center');

这种方式会严格检查数组元素是否匹配Position，若存在非法元素，类型守卫的断言会触发类型错误。

对比说明 #

• 避免使用(['foo', 'bar', 'right'] as Position[])这类断言，因为它会跳过TypeScript的类型检查，导致非法元素无法被检测到。
• 上述三种方法都无需将数组存入单独变量，同时保留了完整的类型校验能力，符合你的场景需求。

内容的提问来源于stack exchange，提问作者Dmytro Garastovych