AssertEqual

自 1.3.0 起

在编译时断言类型 T 等于 Expected。

签名

type AssertEqual<T, Expected> = (() => T extends Expected
  ? Expected extends T
    ? 1
    : 2
  : 2) extends () => 1
  ? T
  : never

参数

参数	描述
T	要检查的类型
Expected	期望匹配的类型

示例

基本用法

import type { AssertEqual } from 'uni-types'

type Result = AssertEqual<string, string> // string
type Failed = AssertEqual<string, number> // never

对象类型

type Obj = { name: string }
type Result = AssertEqual<Obj, { name: string }> // { name: string }

类型测试

type Test = AssertEqual<'hello' | 'world', 'world' | 'hello'> // 'hello' | 'world'

相关

• AssertExtends - 断言类型扩展另一个类型
• AssertKeyof - 断言键存在于类型上