如何定义TypeScript中trim后为空的EmptyWhenTrimmed字符串类型？

首先明确：TypeScript的静态类型系统**无法直接定义“所有trim后为空的字符串”这类依赖运行时计算的类型——这类字符串包含无限多种可能（任意数量的空格、制表符、换行符等）。我们可以通过品牌类型（Branded Type）**来模拟这个类型，同时调整类型守卫的实现，满足需求。

步骤1：定义EmptyWhenTrimmed品牌类型 #

品牌类型通过交叉类型给字符串添加一个唯一“标记”，让TypeScript能区分普通字符串和trim后为空的字符串：

// 定义品牌类型，代表trim后为空的字符串
type EmptyWhenTrimmed = string & { __brand: 'EmptyWhenTrimmed' };

步骤2：修复类型守卫函数 #

修改原类型守卫，使用类型断言告诉TypeScript：符合str.trim().length === 0条件的字符串属于EmptyWhenTrimmed类型：

const isNullOrUndefinedOrEmptyStringWhenTrimmed = (str: string | undefined | null): str is null | undefined | EmptyWhenTrimmed => {
  return str === undefined || str === null || str.trim().length === 0;
};

步骤3：验证使用效果 #

现在使用这个守卫时，TypeScript会正确缩小类型：

const aString: string = "      ";

if (isNullOrUndefinedOrEmptyStringWhenTrimmed(aString)) {
    const val = aString; // 类型为 EmptyWhenTrimmed
} else {
    const val = aString; // 类型为 string（排除了EmptyWhenTrimmed的子集）
}

// 针对表单处理场景的验证
const someFn = (str: string) => {
    // do something with str
};

const values: (string | undefined | null)[] = ["abc", "", null, undefined, "xyz"];
const val = values[Math.floor(Math.random() * values.length)];

if (isNullOrUndefinedOrEmptyStringWhenTrimmed(val)) {
    throw new Error('Value invalid');
}
someFn(val); // 类型正确，val被推断为 string（非空且trim后不为空）

针对字符串字面量的特殊说明 #

对于像const aLiteral = " ";这样的字符串字面量，TypeScript会保留其精确的字面量类型（" "），而非自动映射到EmptyWhenTrimmed。若需要让字面量也被识别为EmptyWhenTrimmed，可以手动添加类型注解：

const aLiteral: EmptyWhenTrimmed = "      ";

if (isNullOrUndefinedOrEmptyStringWhenTrimmed(aLiteral)) {
    const val = aLiteral; // 类型为 EmptyWhenTrimmed
}

替代方案：反向类型守卫（更贴合表单场景） #

如果觉得品牌类型过于繁琐，也可以直接定义反向守卫（判断字符串是否有效），同时保留原isNullOrEmpty的直观调用逻辑：

const isNotNullOrEmpty = (str: string | undefined | null): str is string => {
    return str !== undefined && str !== null && str.trim().length > 0;
};

// 用!isNotNullOrEmpty()实现直观判断
if (!isNotNullOrEmpty(val)) {
    throw new Error('Value invalid');
}
someFn(val); // 类型正确

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