如何确保数组中的字符串属于TypeScript的Cat接口属性？

你可以通过TypeScript的keyof操作符约束数组元素必须是Cat接口的属性名，以下是几种实用的实现方式：

方法一：直接约束数组类型 #

给目标数组指定Array<keyof Cat>类型，TypeScript会在编译阶段自动检查数组元素是否属于Cat的属性：

interface Cat {
    color: string,
    weight: number,
    cute: boolean, // 建议用小写boolean，TypeScript中小写是基本类型，大写为包装对象，日常开发更常用前者
}

const kitten: Cat = { color: "orange", weight: 2.5, cute: true };

// 合法：数组元素均为Cat的属性
const validProps: Array<keyof Cat> = ['weight', 'color'];
// 非法：若写入'height'这类非Cat属性，TypeScript会直接抛出编译错误
// const invalidProps: Array<keyof Cat> = ['weight', 'height'];

Object.keys(kitten).some(prop => validProps.includes(prop as keyof Cat));

注：Object.keys()返回的是string[]类型，需将prop断言为keyof Cat才能和数组元素类型匹配，避免类型报错。

方法二：用工具函数做类型校验 #

封装一个泛型工具函数，强制传入的数组只能包含目标接口的属性名，使用起来更灵活：

function getValidProps<T>(props: Array<keyof T>): Array<keyof T> {
    return props;
}

// 调用时自动约束类型，仅允许传入Cat的属性
const validProps = getValidProps<Cat>(['weight', 'color']);
// 传入无效属性会直接触发编译错误
// const invalidProps = getValidProps<Cat>(['weight', 'height']);

方法三：const断言结合类型验证 #

如果是固定的属性数组，用as const断言让TypeScript推导具体字面量类型，再和keyof Cat做交叉验证：

const validProps = ['weight', 'color'] as const;
// 验证数组元素是否全为Cat的属性，不匹配则TypeScript会提示类型冲突
type CheckProps = typeof validProps[number] extends keyof Cat ? true : false;

内容的提问来源于stack exchange，提问作者four-eyes