Question

一、这种通用类型:

type MapToFunctions<T> = {
  [K in keyof T]?: (x: T[K]) => void;
};

在本案中,它进行罚款:

type T1 = { a: string };

const fnmap1: MapToFunctions<T1> = {
  a: (x: string) => {
    console.log(x);
  },
}

我甚至可以排除<代码>x的类型,而原型则可以正确地推断出它有线。

但是,如果在作为参数使用的类型上添加一个指数签名,那么它就不再工作:

type T2 = {
  a: string;
  [key: string]: unknown;
}

const fnmap2: MapToFunctions<T2> = {
  a: (x: string) => {
    console.log(x);
  },
}

我发现这一错误:

Type  { a: (x: string) => void; }  is not assignable to type  MapToFunctions<T2> .
  Property  a  is incompatible with index signature.
    Type  (x: string) => void  is not assignable to type  (x: unknown) => void .
      Types of parameters  x  and  x  are incompatible.
        Type  unknown  is not assignable to type  string .ts(2322)

Why does this error happen? It seems pretty obvious that property a should have type (x: string) => void. In fact, TypeScript seems to agree; if I leave out the type annotation for argument x, TypeScript infers that it is a string... but then still gives the same error!

Answer 1

在阐述这一问题时,我认为我略为夸张了这个问题,尽管我仍然赞赏作出更明确和(或)更直观的答复。

Type MapToFunctions<T2> is equivalent to:

{
  a: (x: string) => void;
  [key: string]: (x: unknown) => void;
}

这实际上不属于法律范畴。

添加索引签字<代码>[关键:指示]: 物体类型系指“所有other string-keyed property都有类型”。这意味着“allstring-keyed property have打字型”。为此,所有明确申报的财产类型都必须符合<代码>的类型。类型。

添加<代码>[钥匙:string]:不详,因为每一种类型都是un known的亚类;即。每一条<代码>均不为人所知。类型。但在上述类型中,<代码>(x:string) => 空白不是(x:不详) => 真空 (事实上它环绕)。因此,这种类型是自订的。

我发现这个问题非常好。我的新定义是:

type MapToFunctions<T> = {
  [K in keyof T as string extends K ? never : K]?: (x: T[K]) => void;
};

索引签字中的额外操作意味着,只有明文申报的类型<代码>T的特性才被结转到相应的类型;任何<代码>[关键:指示]: 类型特性被移除。 http://code>MapToFunctions<T2>目前相当于

{
  a: (x: string) => void;
}

不存在矛盾。如果我实际上需要这些指数化的财产,我想会有问题,但我没有。 (当然,与我的实际法典相比,这非常简化。)

完全理解<代码>MapToFunctions的新定义,留待读者使用。

友情链接