可选与未定义：如何检查可选属性

在 typescript 中，如果可以从对象中省略某个属性，则该属性被认为是可选的，这意味着它可以是未定义的，也可以是根本不提供的。可选属性使用 ? 表示属性键上的后缀。确定一个属性是可选的还是显式定义为 undefined 的类型可能非常棘手。

让我们考虑以下具有五种可能组合的示例：

type example = {
    required: number;
    optional?: number;
    requiredasundefined: undefined;
    requiredwithundefined: number | undefined;
    optionalwithundefined?: number | undefined;
}

最后四个属性允许未定义，但实际上只有第二个和第五个属性是可选的。有趣的是，可选属性、requiredwithundefine 和optionalwithundefine 都解析为相同的联合类型编号 |未定义.

所以，我们想要的是一个类型，对于可选和可选的带未定义返回 true，对于其余的返回 false。以下是此类实用程序类型的外观：

type isoptional = undefined extends t[k]
    ? ({} extends pick ? true : false)
    : false;

type required = isoptional;  // false
type optional = isoptional;  // true
type requiredasundefined = isoptional;  // false
type requiredwithundefined = isoptional;  // false
type optionalwithundefined = isoptional;  // true

此实用程序类型有两个限制。第一个约束 undefined extends t[k]，检查 undefined 是否可以是 t[k] 访问的类型的一部分。它本质上询问类型 t[k] 是否可以包含 undefined。第二个约束，{} 扩展 pick ? true : false，确保类型 {} （空对象）可分配给选择属性 k 的类型，这意味着该属性是可选的。

KGOGOMALL

主要功能：无限级分类，可自由调整分类位置，商品可在各分类间自由转移； 商品组合：可以为每种商品添加多种选项，方便顾客购买选择，比如：一件衣服顾客可以选择款式、花色、大小等，笔记本电脑，可以有cpu、内存、显示屏、硬盘等等扩展属性； 会员分级功能，会员积分功能。可根据会员积分自行设定用户组，管理员可自行定义会员获得积分的方式：按订单总金额或者按单个商品给予积分； 按照商品类别查看热卖、特价，允

下载

从这个实用程序类型中，我们可以构建一个新的映射类型，它只选择可选属性。非可选属性将设置为 never:

type optionalproperties = {
    [k in keyof t]: isoptional extends true 
        ? t[k] 
        : never
}

type onlyoptionals = optionalproperties;
// type onlyoptionals = {
//     required: never;
//     optional?: number;
//     requiredasundefined: never;
//     requiredwithundefined: never;
//     optionalwithundefined?: number | undefined;
// }

拥有类型为 never 的属性通常足以保证类型安全，但如果我们确实想出于风格目的而省略这些属性，我们可以将 isoptional 将 true 约束扩展到方括号中。这是一个很好的小技巧，因为它将非可选属性的键设置为 never，然后 typescript 会自动忽略它。

type OnlyOptionals = {
    [K in keyof T as IsOptional extends true ? K : never]: T[K]
} 
type OnlyOptionals = OnlyOptionals;
// type OnlyOptionals = {
//    optional?: number;
//    optionalWithUndefined?: number | undefined;
// }

这里是直接在浏览器中尝试的 playground：typescript playground