typescript - 从可空类型中提取不可空类型定义

Question

假设我有以下由外部工具生成的界面:

interface Animals {
    turtle: { shellHardness: number };
    fox: { whatDidItSay: string } | null;
}

我想定义(摘自Animals)乌龟和狐狸的类型，但没有…|狐狸为 null。这对乌龟来说很容易，因为没有空值:

type Turtle = Animals["turtle"];

但是我该如何为狐狸做呢？我想象可能有一些 ExtractNullable 类型可以消除可空性:

type Fox = ExtractNullable<Animals, "fox">;

不幸的是，我无法正确定义 ExtractNullable 类型。我尝试了以下方法:

type ExtractNullable<T, K extends keyof T> = T[K] extends null ? never : T[K];

……但是没有用。 TypeScript Playground 仍然给我 Fox 类型定义为 type Fox = { whatTheySaid: string; } | null 而不是 type Fox = { whatTheySaid: string; }

这可能吗？我哪里错了？

谢谢

Answer 1

NonNullable<Type>

type Fox = NonNullable<Animals["fox"]>;

实现:

/**
 * Exclude null and undefined from T
 */
type NonNullable<T> = T extends null | undefined ? never : T;