Typescript 如何判断对象是否有重叠的叶子并产生有用的错误消息

const translated = {
  a: {
    b: {
      c: "Hello",
      d: "World"
    }
  }
};

const toTranslate = {
  a: {
    b: {
      d: "Everybody"
    }
  }
};

type Leaves<T> = T extends object ? { [K in keyof T]:
  `${Exclude<K, symbol>}${Leaves<T[K]> extends never ? "" : `.${Leaves<T[K]>}`}`
}[keyof T] : never

type TranslatedLeaves = Leaves<typeof translated>
type ToTranslateLeaves = Leaves<typeof toTranslate>

type Overlap = TranslatedLeaves & ToTranslateLeaves
type ErrorIfOverlapping<T extends never = Overlap> = void;

type ErrorIfOverlapping<T extends [`"${Overlap}" overlaps`]
  = Overlap> = void;
//  ~~~~~~~
// Type 'string' does not satisfy the 
// constraint '["\"a.b.d\" overlaps"]'

Typescript相关问答推荐

如何将http上下文附加到angular中翻译模块发送的请求

TypeScript Page Routing在单击时不呈现子页面(React Router v6)

如何在使用`Next—intl`和`next/link`时导航

如何键入函数以只接受映射到其他一些特定类型的参数类型？

带占位符的模板文字类型何时扩展另一个？

我想创建一个只需要一个未定义属性的打字脚本类型

在不更改类型签名的情况下在数组并集上映射文字

对于始终仅在不是对象属性时才抛出的函数，返回Never

如何在React组件中指定forwardRef是可选的？

为什么&Quot；元素隐式具有'；Any'；类型，因为...即使我已经打字了，也不能作为索引显示错误吗？

NPM使用Vite Reaction应用程序运行预览有效，但我无法将其部署到Netlify

如何解决&Quot；类型不可分配给TypeScrip IF语句中的类型&Quot；？

使用强类型元组实现[Symbol.iterator]的类型脚本？

内联类型断言的工作原理类似于TypeScrip中的断言函数？

如何以类型安全的方式指定键的常量列表，并从该列表派生所挑选的接口？

为什么`map()`返回类型不能维护与输入相同数量的值？

Typescript 从泛型推断类型

TS2532：对象可能未定义

类型string不可分配给类型string｜ 联盟｜ 的'

从接口推断模板参数？