在 TypeScript 中使用递归类型和映射类型触发过多属性警告

type MappedType<T, V> = {
  [K in keyof T] : V
}

type MappingFn<T, V> = (param : MappedType<T, V>) => V;

type SelfReferentialType<T, V> = {
  [key : string] : T | MappingFn<SelfReferentialType<T, V>, V>
}

const example : SelfReferentialType<number, string> = {
  fieldA : 99,
  fieldB : ({ fieldA }) => fieldA.toUpperCase(), //works as expected
  fieldC : ({ fieldD }) => fieldD.toUpperCase() //fieldD does not exist, so I would like this to trigger a warning
}

{
  fieldA : 'ninety-nine',
  fieldB : 'a function',
  fieldC : 'another function'
}

type SelfReferentialType<T, U, K extends PropertyKey> =
    { [P in K]: T | ((o: { [P in K]: U }) => U) }

const selfReferentialType = <T, U>() => <K extends PropertyKey>(
    srt: SelfReferentialType<T, U, K>
) => srt;

const example = selfReferentialType<number, string>()({
    fieldA: 99,
    fieldB: ({ fieldA }) => fieldA.toUpperCase(), // okay
    fieldC: ({ fieldD }) => fieldD.toUpperCase() // error
})
// const example: SelfReferentialType<number, string, "fieldA" | "fieldB" | "fieldC">

Typescript相关问答推荐

使Typescribe强制所有对象具有相同的 struct ，从两个选项

react 路由6操作未订阅从react 挂钩表单提交+也不使用RTK查询Mutations

在映射类型中用作索引时，TypeScrip泛型类型参数无法正常工作

如何在TypeScript中将一个元组映射(转换)到另一个元组？

如何表示多层深度的泛型类型数组？

了解类型规则中的关键字

如何将泛型对象作为返回类型添加到类型脚本中

记录键的泛型类型

CDK从可选的Lambda角色属性承担角色/复合主体中没有非空断言

如何创建一家Reduxstore ？

TypeScrip：从对象中提取和处理特定类型的键

为什么TypeScrip不能解析对象析构中的赋值？

如何将类似数组的对象(字符串：：匹配结果)转换为类型脚本中的数组？

带有'；的类型脚本嵌套对象可选属性错误满足'；

导航链接不触发自定义挂钩

什么'；是并类型A｜B的点，其中B是A的子类？

为什么类方法参数可以比接口参数窄

带有过滤键的 Typescript 映射类型

使用受保护的路由和入门来响应路由

为什么 typescript 在对象合并期间无法判断无效键？