TypeScript如何定义带条件属性/限制的类型？新手技术问询

嘿，作为TypeScript新手能琢磨到这种类型约束的问题，真的挺不错的！咱们来一步步聊你的两个需求，顺便结合你提到的“类中定义的类型构造器”场景来说明：

一、定义所有长度大于2的字符串类型 #

TypeScript本身没有直接的“长度约束类型”，但我们可以通过模板字面量类型+条件类型来实现编译时的类型检查，还能把这种约束封装到类里，让代码更规整。

1. 先定义基础约束类型 #

首先写一个通用的类型，用来判断字符串是否满足长度>2的条件：

// 只要字符串能匹配"至少三个字符+剩余任意字符"的模板，就保留原类型，否则返回never
type StringLongerThan2<T extends string> = T extends `${string}${string}${string}${infer Rest}` ? T : never;

2. 在类中封装类型约束 #

如果你想通过类的“类型构造器”（或者说类的方法）来使用这个类型，可以把它和类的静态方法结合，既做编译时检查，又能加运行时验证：

class StringValidator {
  // 静态方法的参数会被StringLongerThan2约束，编译时就报错
  static createValidString<T extends string>(str: StringLongerThan2<T>): T {
    // 运行时再补一层检查，防止动态值绕过编译检查
    if (str.length <= 2) {
      throw new Error("字符串长度必须大于2");
    }
    return str;
  }
}

// 合法调用：编译通过，运行正常
const validStr = StringValidator.createValidString("hello world");
// 编译错误：类型'"hi"'不满足约束'never'
const invalidStr = StringValidator.createValidString("hi");

二、定义所有大于0的数字类型 #

数字的情况和字符串类似，因为数字是无限的，没法枚举所有大于0的数值，但我们可以通过条件类型+品牌类型或者字面量约束来实现：

1. 字面量数字的编译时约束 #

如果是确定的字面量数字，可以直接用条件类型过滤：

// 只要数字不是0或负数，就保留原类型，否则返回never
type PositiveNumber<T extends number> = T extends 0 | `${infer N extends number}` ? never : T;

2. 在类中封装数字约束 #

同样把这个类型和类的方法结合，兼顾编译时和运行时检查：

class NumberValidator {
  static createPositiveNum<T extends number>(num: T): PositiveNumber<T> {
    // 运行时检查必不可少，因为动态变量没法在编译时判断
    if (num <= 0) {
      throw new Error("数字必须大于0");
    }
    // 类型断言告诉TS这里返回的是符合约束的类型
    return num as PositiveNumber<T>;
  }
}

// 合法调用：编译通过
const validNum = NumberValidator.createPositiveNum(100);
// 编译错误：类型'"-5"'不满足约束'never'
const invalidNum = NumberValidator.createPositiveNum(-5);
// 注意：如果是动态变量，编译时没法检查，只能靠运行时报错
const dynamicNum = -3;
const riskyNum = NumberValidator.createPositiveNum(dynamicNum); // 编译通过，运行时抛出错误

注意事项 #

• 这些类型约束都是编译时的检查，对于动态生成的值（比如用户输入、接口返回），必须搭配运行时验证，否则可能出现不符合类型约束的值。
• 你提到的“类中定义的类型构造器”，其实就是把类型约束和类的方法结合，让类既承担类型构造的角色，又负责运行时的验证逻辑，这种写法很适合在项目中统一管理类型规则。

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