typescript 数据类型、函数返回值、类型断言、联合类型、类型兼容

null和undefined类型:是所有类型的子类型,即可以将任意类型赋值为二者any类型:可以赋值任何类型unknown类型:引入的顶级类型unknown,对照于any,unknown是类型安全的,任何值都可以赋给unknown(1)赋值给其他类型:当没有类型断言或基于控制流的类型细化时unknown不可以赋值给其它类型,除了它自己和any外。let v:unknown;let s:string=v; 报错(2)操作unknown类型:在unknown没有被断言或细化到一个确切类型之前，是不允许在其上进行任何操作的。除了:==/===/!==操作(3)unknown与其他类型的交叉类型都是其他类型除了any(4)unknown与其他类型的联合类型都是unknown除了any(5)never是unkonw的子类型keyof unkonw的结果是never(6)类型映射中keyof的是unknown类型,则不会映射任何类型type aaa<T> = {[P in keyof T]:T[P]}type g=aaa<unknown>  结果:type g = {}object类型:除了number等基础类型以外的类型(String等也属于object类型),Object类型才包括所有类型基本变量类型let 变量名:类型HTMLElement:单个dom元素类型NodeList:dom列表类型,如document.querySelectorAll返回的dom集合event事件类型:event:MouseEvent文档碎片类型:const fragment: DocumentFragment = document.createDocumentFragment()never类型用作返回值:function xx():never{never表示函数无法执行完成如:throw new Error();或while(true){...}}用作参数:传入约定之外(不可得到的类型)的类型function xx(x:never):never{throw new Error()};function yy(p:string){xx(p);}yy([1,2,3])
枚举类型(定义后不能修改)enum x {XX1,XX2=num,...}(1)未设置值,x.XX1=0,后面值增序排列,若值是表达式,则后面的枚举成员必须设置初始值(2)若设置值,则设置了值的后面未设置值的数据按照设置值增序排列(3)反向映射:x[num]为对应的XX,若设置了值,x[值]为对应的XX(4)枚举类型可以数字和字符串组合,字符串枚举之后必须赋值enum x {a:1,     编译阶段运行b:'aa',c:'cc'.length, 执行阶段运行}(5)当枚举成员未赋初值或初值为字符串或数值,则枚举成员成为一种类型约束,即约束变量只能为其枚举类型枚举成员为number类型,可以赋值number类型,不同枚举成员不能赋值即使是相同类型枚举成员为字符串类型,只能赋值枚举成员,不能赋值字符串enum ShapeKind {Circle,Square,}interface Circle {kind: ShapeKind.Circle;radius: number;}interface Square {kind: ShapeKind.Square;sideLength: number;}let c: Circle = {kind: ShapeKind.Square,  错误,类型为ShapeKind.Circle}(6)常量枚举,编译阶段被删除(直接替换成对应的值,删除生成的对象),避免在额外生成的代码上的开销和额外的非直接的对枚举成员的访问const enum x{...}(7)枚举联合类型enum x{...}let y:x=只能是枚举成员联合类型let 变量名:类型1|类型2使用的方法/属性必须是两种类型共有的类型断言(绕过类型检查,如可添加约束类型外的参数等,类似强制转换,但只在编译时期)用来指定一个值的类型,使得一个多种类型的变量能使用各自类型的特有方法/属性方式一:（<类型>变量名）（<类型1|类型2>变量名）方式二:(xx as 类型)       每个相同变量前都需要添加当as之后的类型为对象时,前面的类型必须包含有后面类型的属性,或者as any方式三:if( 'xx属性' in 对象/类){...}方式四:if(typeof 变量==='类型'){...} 只能判断string、number、boolean、symbol类型方式五:if(变量  instanceof 类){...}方式六(类型谓词):创建一个函数,使用类型谓词 parameterName is Type这种形式,parameterName必须是来自于当前函数签名里的一个参数名。function isJava(lang: Java | JavaScript): lang is Java { 必须是类型谓语,不能是boolean返回值,因为类型谓语发生在编译时,会有类型断言效果,返回boolean发生在运行时,无类型断言效果,分支语句会报错return (<Java>lang).helloJava !== undefined;...返回的只要是能判断类型的布尔值如:return typeof lang==='string'}代码示例:enum Type { Strong,Week }class Java {helloJava(){console.log(" Hello Java ")}java: any }class JavaScript {helloJavaScript() {console.log('Hello Javascript')}javascript: any}function isJava(lang: Java | JavaScript): lang is Java { return (<Java>lang).helloJava !== undefined;}function getLanguage(type: Type, x: string | number){let lang = type === Type.Strong ? new Java() : new JavaScript()if (isJava(lang)) {lang.helloJava()} else {lang.helloJavaScript()}}方式七:赋值类型断言("strictNullChecks": false未开启的情况下)假定不会出现null和undefined,则变量!的方式使用变量!从变量的类型里去除了 null和 undefined方式八:可辨识联合类型满足两个条件:(1)每个类型具有唯一的单例属性,如字符串字面量、数字或symbol值(2)使用类型别名将这些类型联合起来(3)若要使用完整性检查,即每个类型对应的分支都要写出来方式一:开启strict或strictNullChecks,为函数指定返回值方式二:定义捕捉函数,放到分支最后function  error(params:never):never {    当进入到最后一个分支,会因为参数类型和never不匹配报错throw new Error('缺少分支');}例子:interface a{king: 1,size:number}interface b{king: 2,height: number,width: number;}interface c{king: 'c';radius: number;}type d = a | b | c;function t(s: d):number {if (s.king == 1) {  也可以换成switchreturn s.size;} else if (s.king == 2) {return s.height} else {return s.radius}}
类型兼容对象:当检查类型时,只会检查是否满足必要属性,多余属性不检查interface Named {name: string;}let x: Named;let y = { name: 'Alice', location: 'Seattle' };x = y;   可以赋值,函数参数同理函数:参数列表不同:要查看x是否能赋值给y,首先看它们的参数列表.x的每个参数必须能在y里找到对应类型的参数.注意的是参数的名字相同与否无所谓,只看它们的类型.这里,x的每个参数在y中都能找到对应的参数，所以允许赋值。let x = (a: number) => 0;let y = (b: number, s: string) => 0;y = x; // OKx = y; // Error返回值不同:类型系统强制源函数的返回值类型必须是目标函数返回值类型的子类型。let x = () => ({name: 'Alice'});let y = () => ({name: 'Alice', location: 'Seattle'});x = y; // OKy = x; // Error, because x() lacks a location property可选参数、固定参数和不定参数两两兼容(在参数类型和返回结果相同情况下)函数重载:function a(num:string):string   1function a(num:number):number 2function a(num:any):any{return num;}let x=a; x的类型为{1,2},再次赋值的函数重载函数必须也具有1、2类型枚举:枚举类型与数字类型兼容,并且数字类型与枚举类型兼容。不同枚举类型之间是不兼容的。比如enum Status { Ready, Waiting };enum Color { Red, Blue, Green };let status = Status.Ready;status = Color.Green;  // Error类类有静态部分和实例部分的类型,比较两个类类型的对象时,只有实例的成员(属性和方法)会被比较(比较类型而非结果)。如果目标类型包含一个private/protected成员, 这允许子类赋值给父类,但是不能赋值给其它有同样类型的类。class Animal {feet: number;constructor(name: string, numFeet: number) { }}class Size {feet: number;constructor(numFeet: number, s: number) { }   构造器参数写成private x:类型,则不兼容static num:any;}let a: Animal;let s: Size;a = s;  // OKs = a;  // OK泛型:泛型类型对结果无影响时兼容interface Empty<T> {}let x: Empty<number>;let y: Empty<string>;x = y;  // OK, because y matches structure of xinterface NotEmpty<T> {data: T;}let x: NotEmpty<number>;let y: NotEmpty<string>;x = y;  // Error, because x and y are not compatible没指定泛型类型时兼容let identity = function<T>(x: T): T {// ...}let reverse = function<U>(y: U): U {// ...}identity = reverse;  // OK, because (x: any) => any matches (y: any) => any内置对象let b:Boolean=new Boolean(1)Bom和Dom类型HTMLElementNodeList父类型:event  子类型MouseEvent函数返回值function xx():类型{void无返回值...}类型推论:未声明类型变量且未赋值可以变成任意类型,相当于anylet me;未声明类型变量赋了值,只能使用值的类型let me='123'数组类型:let arr=[1,2,3];  任意类型值let arr2:类型[]=[...];         let arr2:类型1[]|类型2[]=[...];  let arr2:(类型1|类型2)[]=[...];let arr3:Array<类型>=[...];   let arr3:Array<类型1|类型2>=[...];let arr4:ReadonlyArray<类型>=[...];   只读数组元组:多种类型元素的数组let arr:[类型1,类型2]=[元素,...] 值和类型以及类型的数量必须对应接口定义数组interface arr4{[index:number]:类型;   索引为数值,值为指定数值的数组}let arr5:arr4=[1,2,3];解构赋值const b={id:1,name2:true};const {id:number,name2:string}=b;   const {id:i,name2:n}:typeof b=b;       i、n对结果无影响

![在这里插入图片描述](https://img-blog.csdnimg.cn/20210225153043707.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzI5NDU2MA==,size_16,color_FFFFFF,t_70)

代码示例:

let flag:boolean=true;
let bool:boolean=Boolean(1); //也会创建布尔变量,如果使用new Boolean()将会报错,此时为布尔对象let num:number=1;
let nnum:number=NaN; //NaN也是number数值类型
let nnnnum:number=Infinity;  //无限大数值类型let uname:string='jeff';//函数返回值
function hello():void{console.log('hello')
}let kong:void=undefined; //undefined和null为空值
let kong2:void=null;let un:undefined=undefined; //undefined和null可以互相切换，他们是一切类型的子类型
let nn:null=null;//任意值类型
let me:any='abc';
me=123;//未声明类型且未赋值,会被默认为任意值类型
let mm;
mm=12;
mm='哈哈';//未声明类型但赋了值,会被认为是值的类型,不能改变成其他类型
let aa='123';//联合类型
let cat:string|number;
cat='me';
cat=1;//断言
function f(x:number|string){if((<string>x).length){return (<string>x).length }
}
//数组
let arr=[1,2,3];let arr2:number[]=[1,2,3];let arr3:Array<number>=[1,2,3];interface arr4{[index:number]:number;  //索引为数值,值为数值的数组
}
let arr5:arr4=[1,2,3];

typescript 数据类型、函数返回值、类型断言、联合类型、类型兼容相关推荐

go函数详解：函数定义、形参、返回值定义规范、函数内存分析、不支持重载、支持可变参数、基本数据类型和数组默认都是值传递的、支持自定义数据类型、函数返回值命名
引入 [1]为什么要使用函数: 提高代码的复用型,减少代码的冗余,代码的维护性也提高了 [2]函数的定义: 为完成某一功能的程序指令(语句)的集合,称为函数. [3]基本语法 func 函数名(形参列 ...
python中map函数返回值类型_python map函数
from:https://www.cnblogs.com/AlwaysWIN/p/6202320.html 描述 map() 会根据提供的函数对指定序列做映射. 第一个参数 function 以参数序 ...
python函数用法详解2（变量的作用域（全局变量、局部变量）、共享全局变量、函数返回值、函数的参数（位置参数、关键字参数、默认参数、不定长参数）、拆包、交换变量值、引用、可变和不可变类型）
1. 变量作⽤域变量作⽤域指的是变量⽣效的范围,主要分为两类:局部变量和全局变量. 局部变量定义在函数体内部的变量,即只在函数体内部⽣效. def testA(): ...
C++代码片段（一）萃取函数返回值类型，参数类型，参数个数
函数的类型主要集中在以下几种函数指针函数对象,是一个类对象,内部重载的operator()函数是一个函数指针 lambda,匿名函数对象,同函数对象 function对象后三者都是类对象,可以看 ...
C语言中未显示声明函数返回值的类型
C语言中如果未显示声明函数返回值的类型或函数的形式参数类型,它就默认返回整型.这种声明在C语言中叫做隐式声明.例如: / //main.c /#include<stdio.h>divide ...
函数返回值的类型由什么决定？
C语言规定,函数返回值的类型由函数首部定义的类型决定.函数返回值应与首部定义的类型一致,如若不一致,则自动将返回值强制转换为函数首部定义的类型. 没有定义类型时默认为int型.也就是说你的函数是什么类 ...
c语言函数返回值类型必须,C++中函数类型与定义的函数返回值类型必须相同么？...
C++中函数类型与定义的函数返回值类型必须相同么?以下文字资料是由(历史新知网www.lishixinzhi.com)小编为大家搜集整理后发布的内容,让我们赶快一起来看一下吧! C++中函数类型与定义 ...
python中map函数返回值类型_Python函数精解：map函数
描述 map() 会根据提供的函数对指定序列做映射. 第一个参数 function 以参数序列中的每一个元素调用 function 函数,返回包含每次 function 函数返回值的新列表. 语法 m ...
python中map函数返回值类型_Python中的map
map函数会根据提供的函数对指定序列做映射. map函数的定义: map(function, sequence[, sequence, ...]) -> list 通过定义可以看到,这个函数的第 ...

typescript 数据类型、函数返回值、类型断言、联合类型、类型兼容

typescript 数据类型、函数返回值、类型断言、联合类型、类型兼容相关推荐

最新文章

热门文章