开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

条件类型声明

（Conditional Type Declaration）是 TypeScript 中的一种高级类型声明方式，用于根据给定的条件动态地选择类型。它可以根据输入的类型参数来确定返回的类型，并且可以根据不同的条件进行不同的类型转换和操作。

条件类型声明的语法形式为 T extends U ? X : Y，其中 T 是待检查的类型，U 是要进行比较的类型，X 是在 T 可以赋值给 U 的情况下返回的类型，Y 是在 T 不能赋值给 U 的情况下返回的类型。

条件类型声明在很多场景下都非常有用，例如根据类型的属性来选择不同的操作、实现类型的过滤和映射、根据类型的可选属性来生成新的类型等。

以下是一些条件类型声明的应用场景和示例：

根据类型的属性来选择不同的操作：

type CheckProperty<T> = T extends { prop: infer P } ? P : never;

type Result = CheckProperty<{ prop: string }>;  // Result 类型为 string

实现类型的过滤和映射：

type Filter<T, U> = T extends U ? T : never;

type Numbers = Filter<number | string, number>;  // Numbers 类型为 number

type Map<T> = { [K in keyof T]: T[K] extends string ? T[K] : never };

type Mapped = Map<{ a: string, b: number, c: boolean }>;
// Mapped 类型为 { a: string, b: never, c: never }

根据类型的可选属性来生成新的类型：

type OptionalToRequired<T> = {
  [K in keyof T]-?: T[K];
};

type RequiredProps = OptionalToRequired<{ a?: string, b?: number }>;
// RequiredProps 类型为 { a: string, b: number }

腾讯云相关产品中，没有直接对应条件类型声明的产品或服务。但腾讯云提供了丰富的云计算服务，如云服务器、云数据库、云存储、人工智能等，可以满足各种云计算需求。您可以访问腾讯云官方网站（https://cloud.tencent.com/）了解更多关于腾讯云的产品和服务信息。

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

TypeScript类型声明

JS写法如下： let arr = ['语文','数学']TS声明数组有多种方式，具体如下：（1）数组的数据类型一致Array：声明一个数组，数组类型为中定义的类型，比如：Array<string...] = ['a']（2）数组的数据类型不一致联合数据声明：比如(string|number)[]，声明一个数组，数组类型为字符串、数字。...数组中数据的位置、类型以及个数必须要和声明的类型、声明类型的位置、声明类型的个数保持一致，否则就会报错。...枚举成员表达式的判断条件如下：枚举表达式字面量（主要是字符串字面量或数字字面量）对之前定义的常量枚举成员的引用带括号的常量枚举表达式一元运算符 ++、 -- 常量枚举表达式是二元运算符 + 、-、*、/...，强制让ts编译器相信我们在做什么操作六、void（空类型）声明对象类型为void时返回为空值function func(): void { }声明一个变量为void 时只能将它赋值为 undefined

3673 0

【TypeScript】类型声明

当我们使用TypeScript编写代码时，类型声明是非常重要的，它帮助我们定义变量、函数、类等的类型，从而提供更好的代码提示、类型检查和代码可读性。...以下是关于TypeScript类型声明的详细内容：基本类型声明在TypeScript中，我们可以使用以下关键字来声明基本类型：let num: number = 42;let str: string =...Types）交叉类型允许我们将多个类型合并为一个类型，表示对象拥有多种类型的属性。...: number; readonly id: number;}以上是关于TypeScript类型声明的一些重要内容。通过合理使用类型声明，我们可以增强代码的可读性、类型安全性和可维护性。...类型声明是TypeScript的核心特性之一，可以帮助我们构建更健壮的代码和应用程序。我正在参与2023腾讯技术创作特训营第三期有奖征文，组队打卡瓜分大奖！

2642 0

处理TS类型声明文件，保留指定key的类型声明

我的原始需求是这样的，写了一个nodejs命令行工具，工具的功能是，拉取后端接口导出的 postman.json 接口内容，通过接口中的入参出参数据，生成入参出参的TS类型声明文件，达到在ts业务代码中可以校验接口入参和出参类型的目的...-09-09 15:17:40" } } 上面的接口文档中接口地址为 /wechat/rec/v1/nature/apply/taxRebateInfo 的接口返回体，经过数据反解析后输出的Ts类型声明代码为...require('@babel/traverse').default; const generate = require('@babel/generator').default; /** * 取出声明代码中指定...const subInterfaceByKey = (typeCode: string, rootName: string, keyName: string): string => { // 从ts类型声明代码中取出指定...，处理后的声明文件内容就成了下面这个样子了 export type TWechatRecV1NatureApplyTaxRebateInfoRess = { id: number; taxRebateNumber

1151 0

【TypeScript】条件类型

条件类型通常与泛型一起使用，使我们可以在类型级别上编写更加灵活和复杂的代码。讲解基础用法基本语法条件类型的基本语法如下：T extends U ?...X : Y这表示如果类型T可以赋值给类型U，则条件类型为X，否则为Y。...根据条件的结果，返回不同的字符串类型。分布式条件类型条件类型还可以在联合类型上使用，这称为分布式条件类型。当我们传入一个联合类型的参数时，条件类型会遍历每个成员，并根据条件进行推断。...类型推断与条件类型条件类型的最大特点是，它在类型推断时能够根据条件进行智能推断。type MyType = T extends Array ?...条件类型是TypeScript类型系统的一个重要部分，它允许我们在类型级别上进行条件分支和类型选择。通过巧妙地组合泛型、联合类型和条件类型，我们可以定义出非常复杂且强大的类型。

2484 0

【TypeScript】TS类型声明（三）

enum（枚举）枚举主要分为数字类型枚举、字符串类型枚举、异构。语法：enum + 变量名，意思是定义了一个叫做“变量名”的枚举类型优点：定义一些常量，可以清晰地表达意图或创建一组有区别的用例。...：枚举成员类型都是字符串需要注意以下几个方面：字符串枚举没有反向映射，如果进行反向映射的话，取得的值时undefined；字符串枚举没有递增，需要对每一个字符串枚举类型成员进行赋值，即必须具有初始化表达式...StringValue[0]console.log(stringValueNameA)//undefinedconsole.log(stringValueNameB)//undefined（3）异构含义：枚举类型包括字符串类型和数字类型...，字符串类型的枚举成员不能反向映射。...枚举成员表达式的判断条件如下：枚举表达式字面量（主要是字符串字面量或数字字面量）对之前定义的常量枚举成员的引用带括号的常量枚举表达式一元运算符 ++、 --常量枚举表达式是二元运算符 + 、-、*、/、

2601 0

DOCTYPE html文档类型声明

如果一个网页没有声明DOCTYPE，它就会以默认的DOCTYPE解释下面的HTML或XHTML。在同一种标准下，不同浏览器的解释模型都有所差异，如果声明标准不同，不用我说，您自己想就可以了。...DOCTYPE>定义 * DOCTYPE是Document Type（文档类型）的简写，用来告知浏览器该文档使用哪种 HTML 或 XHTML 规范； * 不属于HTML或XHTML标签，是一种声明，不需要闭合...DOCTYPE> 声明用法 <!...DTD叫文档类型定义，DTD 规定了标记语言的规则，这样浏览器才能正确地呈现内容。有几种DTD种类？...HTML5中的声明其实是一种回归，回归简单声明方式！

9662 0

【TypeScript】TS类型声明（二）

node 不能直接执行ts文件，需要先将ts编译成js，然后再执行js一、 string、number、null、undefined、boolean类型声明JS普通写法如下： let myName =...，具体如下：（1）数组的数据类型一致Array：声明一个数组，数组类型为中定义的类型，比如：Array//声明一个数组，并且数组中的数据类型都是字符串let arr:Array = [1, 12, 'a']（3）数组的数据类型任意let arr:any[] = ['a',1,true,null]//或者这样声明let...数组中数据的位置、类型以及个数必须要和声明的类型、声明类型的位置、声明类型的个数保持一致，否则就会报错。

2101 0

TypeScript类型断言-类型的声明和转换

TS中并不能判断在使用联合类型时具体是那种类型？当我们不知道是什么类型的情况下要使用某个类型特有的属性或者方法，那么就可以用断言来实现，它实际上是对编辑器做了提前告知的行为，但是并不能保证运行中报错。...//anyValue是any类型，在使用时候将其断言为string类型let anyValue:any = 'zhangsan';let length:number = (anyValue...，否则不要使用类型断言，这是因为类型断言会让 TypeScript 编译器将变量当做指定的类型，而不管它实际的类型，在程序运行时可能有类型错误，断言需要慎用。...以VScode编辑器为例点击设置按钮后，选择设置选项图片搜索strictNullChecks，然后勾选下面的选项就可以啦图片（2）肯定断言-肯定化保证赋值含义：允许在实例属性或者变量声明后面放置一个 !...我们可以在变量声明的时候就告诉编辑器该属性一定会被赋值，即在变量名后面加个!符号let score!

3651 0

类型声明，分类与使用

一、类型声明空间，变量声明空间类型注解同时包含类型声明空间（type A =string）与变量声明空间（let a='hello'）let a:string=''hello world'类型声明空间（...type A =string）type A =string变量声明空间（let a='hello'）let a='hello world'还可以省略类型注解（如果 TypeScript 可以从初始值中推断出类型...let a = 'hello world';类在TS中即是变量声明空间也是类型声明空间class fn {}let a=fntype A=fn二、类型分类与使用类型归类类型基本类型string number...default: // 检测n是否可以走到这里，看所有值全部被使用到 let m:never=n; break; }}fn(1)any类型当声明一个变量为...这在一定程度上类似于 JavaScript 的动态类型系统，但在 TypeScript 中，any 类型是显式声明的。

690 0

【TypeScript】TS类型声明（四）

any（任意类型）声明变量类型为any时编译时会绕过所有类型的检测，直接通过编译阶段的检查可以任意访问属性的方法和属性any类型可以赋值给任意类型如果变量初始没有定义类型，默认为any；经过赋值后，TS...unknow（未知类型）声明变量类型为unknow时安全性更高它用于描述类型不确定的变量,这与any类型相似，但更安全，因为对未知值做任何事情都是不合法的unknown类型只能赋值给any和unknown...，强制让ts编译器相信我们在做什么操作void（空类型）声明对象类型为void时返回为空值function func(): void { }声明一个变量为void 时只能将它赋值为 undefined...具有以下特点：never类型是所有类型的子类型，即never类型可以赋值给任何类型。其他任何类型均不是never类型的子类型，即其他类型均不可赋值给never类型，除了never本身。...变量也可以声明为never类型，但其不能被赋值设置变量类型为never，表示永远不能执行完或者永远Error，具体示例如下：函数中出现了死循环，永远不能执行完，因此其函数类型为：() => neverfunction

2131 0

TypeScript条件类型（十）

条件类型最终得到的是数据类型。...条件类型条件类型允许根据一个或多个条件对类型进行推断，并且还能在在类型级别上进行复杂的逻辑运算和类型操作。一、基本用法当T类型可以赋值给U类型时，则返回X类型，否则返回Y类型。...| {}> // "function" | "object"二、分布式条件类型在条件类型中，如果被检查的类型是一个 “裸” 类型参数，即没有被数组、元组或 Promise 等包装过，则该条件类型被称为分布式条件类型..."X" : "Y" = "X" | "Y"三、非分布式条件类型当T被数组、元组、Promise等包裹时，则运算过程中不会分解成多个分支，则该条件类型为非分布式条件类型。...:number}注意：Partial是TS的工具类，所以声明Partial是会报错的，可以换个标识符名称。我正在参与2023腾讯技术创作特训营第三期有奖征文，组队打卡瓜分大奖！

2342 0

TypeScript - 类型声明、枚举、函数、接口

可定义的类型以下所写的并不代表typescript的数据类型，而是在使用过程中可以用作定义的类型。...类型声明 1.单类型 let str:string = 'hello' 2.联合类型以下值类型可以为string或number let money:string|number = '100'...let direction:Direction; direction = Direction.Up // ok direction = Direction.Down // ok 把direction声明为...Direction类型，可以看成声明了一个联合类型 Direction.Up|Direction.Down|Direction.Left|Direction.Right 4.反向映射正向映射（ name...= new Promise((resolve:(val:string)=>void)=>{ resolve('result') }) return p } //第二种声明返回值的泛型

1.8K1 0

C++学习笔记类型声明

举个简单的例子，将int类型定义为integer类型，之后就可以在代码中使用integer作为类型使用。...//typedef关键字 typedef int integer; integer i = 5; 别名声明 C++还新增了另一种声明类型别名的方法，这就是别名声明。...//别名声明 using charater = char; charater c = 'c'; auto关键字使用auto关键字可以简话类型声明。...而且如果在一行声明多个变量，那么这些变量的类型必须相同。 auto ca = 'a', cb = 'b'; 如果使用常量来初始化auto变量，那么编译器会忽略顶层const，保留底层const。...在下面的例子中，由于decltype中的表达式类型不同，所以声明的变量的类型也不同。

6309 0

【TypeScript】TS类型断言-类型的声明和转换（七）

TS中并不能判断在使用联合类型时具体是那种类型？当我们不知道是什么类型的情况下要使用某个类型特有的属性或者方法，那么就可以用断言来实现，它实际上是对编辑器做了提前告知的行为，但是并不能保证运行中报错。...//anyValue是any类型，在使用时候将其断言为string类型let anyValue:any = 'zhangsan';let length:number = (anyValue...，否则不要使用类型断言，这是因为类型断言会让 TypeScript 编译器将变量当做指定的类型，而不管它实际的类型，在程序运行时可能有类型错误，断言需要慎用。...以VScode编辑器为例点击设置按钮后，选择设置选项搜索strictNullChecks，然后勾选下面的选项就可以啦（2）肯定断言-肯定化保证赋值含义：允许在实例属性或者变量声明后面放置一个 !...startClass();console.log('' + score); // 使用前赋值function startClass() { score = 5;}编辑器中会直接报错，我们可以在变量声明的时候就告诉编辑器该属性一定会被赋值

4311 0

【TypeScript】TS条件类型（十二）

条件类型最终得到的是数据类型。...条件类型====条件类型允许根据一个或多个条件对类型进行推断，并且还能在在类型级别上进行复杂的逻辑运算和类型操作。一、基本用法当T类型可以赋值给U类型时，则返回X类型，否则返回Y类型。...| {}> // "function" | "object"二、分布式条件类型在条件类型中，如果被检查的类型是一个 “裸” 类型参数，即没有被数组、元组或 Promise 等包装过，则该条件类型被称为分布式条件类型..."X" : "Y" = "X" | "Y"三、非分布式条件类型当T被数组、元组、Promise等包裹时，则运算过程中不会分解成多个分支，则该条件类型为非分布式条件类型。...:number}注意：Partial是TS的工具类，所以声明Partial是会报错的，可以换个标识符名称。我正在参与2023腾讯技术创作特训营第三期有奖征文，组队打卡瓜分大奖！

2381 0

TypeScript-条件和分布式条件类型

条件类型(三目运算)判断前面一个类型是否是后面一个类型或者继承于后面一个类型如果是就返回第一个结果, 如果不是就返回第二个结果语法: T extends U ?...string : any;type res = MyType分布式条件类型被检测类型是一个联合类型的时候, 该条件类型就被称之为分布式条件类型type MyType = T extends...T : never;type res = MyType;应用场景从 T 中剔除可以赋值给 U 的类型type MyType = T extends...never : T;type res = Exclude提取 T 中可以赋值给 U 的类型Extracttype MyType;获得函数的参数类型组成的元组类型Parametersfunction say

2492 0

TypeScript-条件和分布式条件类型

条件类型(三目运算)判断前面一个类型是否是后面一个类型或者继承于后面一个类型如果是就返回第一个结果, 如果不是就返回第二个结果语法: T extends U ?...string : any;type res = MyType分布式条件类型被检测类型是一个联合类型的时候, 该条件类型就被称之为分布式条件类型type MyType = T extends...T : never;type res = MyType;应用场景从 T 中剔除可以赋值给 U 的类型type MyType = T extends...never : T;type res = Exclude提取 T 中可以赋值给 U 的类型Extracttype MyType;获得函数的参数类型组成的元组类型Parametersfunction say

1721 0

TypeScript系列教程九《类型转换》-- 条件类型

条件判断类型可以根据输入关系决定输出类型。...从上面的例子来看，条件类型可能不会立即变得有用——我们可以告诉自己Dog是否扩展了Animal并选择数字或字符串！但是条件类型的威力来自于将它们与泛型一起使用。...条件类型使用infer 我们只是发现自己使用条件类型来应用约束，然后提取类型。这是一个非常常见的操作，条件类型使它变得更容易。...Item : Type; 在这里，我们使用infer关键字声明性地引入一个名为Item的新泛型类型变量，而不是指定如何在true分支中检索T的元素类型。...当条件类型作用于泛型类型时，当给定一个联合类型时，它们将成为分布式的。

7172 0

GO语言实战-类型声明语句

先来看一下概念：一个类型声明语句创建了一个新的类型名称，和现有类型具有相同的底层结构。...type 类型名字底层类型 gin框架中的实例： type H map[string]interface{} 类型声明语句一般出现在包一级，因此如果新创建的类型名字的首字符大写，则在包外部也可以使用。...上面的代码就是在gin包一级，大写的可导出一个命名的类型可以提供书写方便，特别是可以避免一遍又一遍地书写复杂类型，上面就可以避免每次写那么一长串的类型 map[string]interface{}

3852 0

9.7 用typedef声明新类型名

int day; int year; }Date; （2）命名一个新的类型名代表数据类型 typedef int Num[100]; //声明Num为整型数组类型名（3）命名一个新的类型名代表指针类型...typedef char *String; //声明String为字符指针类型 String p,s[10]; //定义p为字符指针变量，s为字符指针数组（4）命名一个新的类型名代表指向函数的指针类型...typedef int（*Pointer）（）； //声明Pointer为指向函数的指针类型，该函数返回整型值 Pointer p1,p2; //p1，p2为Pointer类型的指针变量 3、按定义变量的方式...，把变量名换上新类型名，并且在最前面加“typedef”，就声明了新类型名代表原来的类型。...4、习惯上，常把typedef声明的类型名的第1个字母用大写表示，以便与系统提供的标准类型标识符相区别。有时候，正是那些意想不到之人，成就了无人能成之事。 ——图灵 ?

58031 29

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭