在打字稿中声明具有最小/最大长度的字符串类型

Question

看完文档后，似乎没有直接的方法来检查字符串数据类型的最小/最大长度。

但是，有没有一种方法可以使用一些自定义类型来声明字符串数据类型，以便检查字符串长度是否在给定范围内？

Answer 1

您可以使用类型构造函数和称为“幻像类型”的东西（在这里阅读一篇关于此的好文章）来实现这一点，这是一种确保类型不能直接分配给值的技术。

这是使用这些技术的

StringOfLength<Min,Max>

类型的示例：

type StringOfLength<Min, Max> = string & {
  min: Min;
  max: Max;
  StringOfLength: unique symbol // this is the phantom type
};

// This is a type guard function which can be used to assert that a string
// is of type StringOfLength<Min,Max>
const isStringOfLength = <Min extends number, Max extends number>(
  str: string,
  min: Min,
  max: Max
): str is StringOfLength<Min, Max> => str.length >= min && str.length <= max;
    
// type constructor function
export const stringOfLength = <Min extends number, Max extends number>(
  input: unknown,
  min: Min,
  max: Max
): StringOfLength<Min, Max> => {
  if (typeof input !== "string") {
    throw new Error("invalid input");
  }
    
  if (!isStringOfLength(input, min, max)) {
    throw new Error("input is not between specified min and max");
  }
    
  return input; // the type of input here is now StringOfLength<Min,Max>
};

// Now we can use our type constructor function
const myString = stringOfLength('hello', 1, 10) // myString has type StringOfLength<1,10>

// the type constructor fails if the input is invalid
stringOfLength('a', 5, 10) // Error: input is not between specified min and max

// The phantom type prevents us from assigning StringOfLength manually like this:
const a: StringOfLength<0, 10> = 'hello' // Type '"hello"' is not assignable to type { StringOfLength: unique symbol }

这里有一些限制——你不能阻止某人创建像

StringOfLength<-1, -300>

这样的无效类型，但你可以添加运行时检查以确保传递给

min

构造函数的

max

和

stringOfLength

值是有效。

编辑：这种技术现在在 Typescript 中更常被称为“品牌类型”。