[Array element child type

Question

关于从数据结构构造类型的问题。我有一个像这样的数组：

interface ICVSection {
  namespace: string;
  validation: Yup.ObjectSchema<any>;
}

const CVSections: ICVSection[] = [
  {
    namespace: 'common',
    validation: CommonValidationSchema,
  },
  {
    namespace: 'summary',
    validation: SummarySchema,
  }
  /* ... */
};

所以问题是：是否可以以某种方式使用上面的数据创建以下类型：

type Schema = {
  common: typeof CommonValidationSchema,
  namespace: typeof SummarySchema,
  /* ... */
}

我不确定100％是否可以在TypeScript中使用，但如果可以，那么如果有人可以证明我是对还是错，那就太好了。

Answer 1

所以这是我想出的解决方案：

type namespaces = typeof CVSections[number]['namespace'];

type Schema = {
  [K in namespaces]: Pick<Extract<typeof CVSections[number], { namespace: K }>, 'validation'>['validation']>;
};

但是要使其正常工作，我们需要稍微更改数组定义。不必将其键入ICVSection[]，而必须将其定义为const CVSections = [ /* ... */ ] as const;，以允许TypeScript缩小可能的namespaces值。

在我的情况下，当我将Yup库与Formik一起用于验证架构时，我可以应用其他类型转换以将Yup的架构类型解包为普通TypeScript类型。最终解决方案如下所示：

type Schema = {
  [K in namespaces]: Yup.InferType<Pick<Extract<typeof CVSections[number], { namespace: K }>, 'validation'>['validation']>;
};

然后我们可以将此类型应用于<Formik>组件以强制进行类型验证：

<Formik<Schema>
  initialValues={{
    common: {
      /* mandatory values */
    },
    summary: {
      /* mandatory values */
    }
  }}
>