使用条件类型的泛型函数中的返回类型问题

Question

我正在尝试创建一个通用函数，它接受一个FieldType，并返回一个对象，该对象包含公共基类型的属性以及特定类型FormField的默认值。出于某种原因，如果没有编译器的抱怨，我无法让它工作。我不确定问题出在哪里，但是

我怀疑这可能是将FormField类型定义为条件类型的方式。我尝试过以各种方式重新定义我的类型，但没有成功，所以我怀疑我要么错过了一些明显的东西，要么没有类型断言是不可能的。

以下是我的类型：

type FieldType = 'text' | 'number' | 'custom'

interface FormFieldBase {
  type: FieldType
  label: string
  error: string
  disabled: boolean
}

interface CustomField extends FormFieldBase {
  value: string
}

interface TextField extends FormFieldBase {
  value: string
  placeholder: string
}

interface NumberField extends FormFieldBase {
  value: number
}

type FormField<T extends FieldType> = T extends 'text'
  ? TextField
  : T extends 'number'
  ? NumberField
  : CustomField

以下是我的通用函数：

const createBaseField = <T extends FieldType>(
  type: T
): FormFieldBase => ({
  type,
  label: '',
  error: '',
  disabled: false
})

const defaultValues: {
  [K in FieldType]: Omit<FormField<K>, keyof FormFieldBase>
} = {
  text: {
    value: '',
    placeholder: ''
  },
  checkbox: {
    value: false
  },
  custom: {
    value: ''
  },
  number: {
    value: 0
  }
}

const fieldCreator = <T extends FieldType>(type: T): FormField<T> => ({
  ...createBaseField(type),
  ...defaultValues[type]
})

field Creator产生以下错误：

类型{Type:FieldType；标签：string；错误：string；禁用：boolean；}

在我看来，FormFieldBase（fromcreateBaseField）和FormField中的字段的交叉点

我到底做错了什么？




Answer 1

太长，读不下去了

FormField

较长版本

请注意，您的FormField

现在，您的fieldCreator函数签名声明它返回一个FormField

const a = fieldCreator("text"); //& Pick<TextField<"text">, "value" | "placeholder">

为简洁起见，FormFieldBase类型被省略。正如您可以清楚地看到的，返回类型有关于其形状的附加信息，而FormField中没有这些信息

因此，当您明确地说field Creator函数返回FormField时

const a = fieldCreator("text");
a.value; //string
a.placeholder; //string

const b = fieldCreator("number");
b.placeholder; //error
b.value; //number

旁白：如果您使用泛型，请一直使用-FormFieldBase应接受FieldType作为类型参数，以及扩展接口和默认常量的类型。请参阅操场链接。