Typescript S，为什么我的T扩展未定义的条件在属性的上下文中不起作用

发布于12月05日

以下是代码:

exp或t const quickPrompt = async <T>({
  name,
  prompt,
  zodSchema,
  onUpdate,
}: {
  name: string;
  onUpdate: () => Promise<{ cancelled: boolean }>;
  prompt: string;
  zodSchema?: z.ZodType<T>;
}): Promise<T extends undefined ? string : T> => {

下面是它的调用方式:

const content = await quickPrompt({
  name: 'writeArticleSection',
  onUpdate,
  prompt,
});

或

const content = await quickPrompt({
  name: 'writeArticleSection',
  onUpdate,
  prompt,
  zodSchema: z.array(z.string())
});

在第一种情况下，我预计content将具有类型string(因为T extends 未定义) and in the second I expect it to be 字符串[](becauseTdoes not extend未定义`)

I've tried using T extends never and such, but I cannot get it to w或k as expected.

推荐答案

在第一种情况下，我希望内容的类型为string(因为T扩展了undefined)

这是不对的.

不受约束的泛型隐式约束为unknown，而不是undefined.如果将鼠标悬停在不带模式的quickPrompt调用上，它应该显示泛型参数的类型为:

const quickPrompt: <unknown>({ name, ...
//                  ^ here

相反，您可以将T的default类型指定为undefined，现在如果无法推断任何内容，则将使用该类型.

const quickPrompt: <T = undefined>({ ... }) => { /*...*/ }

See Playground个

不过，通常情况下，为条件类型赋值将很难实现.函数重载可能会为您提供更好的服务:

// No schema
function quickPrompt(options: {
  name: string;
  onUpdate: () => Promise<{ cancelled: boolean }>;
  prompt: string;
  zodSchema?: undefined;
}): Promise<string>

// with schema
function quickPrompt<T>(options: {
  name: string;
  onUpdate: () => Promise<{ cancelled: boolean }>;
  prompt: string;
  zodSchema: z.ZodType<T>;
}): Promise<T>

// implementation
function quickPrompt(options: {
  name: string;
  onUpdate: () => Promise<{ cancelled: boolean }>;
  prompt: string;
  zodSchema?: z.ZodType<unknown>;
}): Promise<unknown> {
  return {} as any // TODO: implement
}

See playground个