初学TypeScript
自我提升TS知识体系
TypeScript的类型定义
- TypeScript定义变量时必须明确给出变量类型如:
let str: string;
- 除了定义变量时明确给出变量类型外还可以在定义时赋值如:
let str: string="hello world"
- 除了基本类型外TypeScript的类型还有any:代表是任意类型数据
- 数组有两种命名方式如:
let list:number[] = [1,2,3];
定义数组,再如:let listArr: Array<number> = [1,2,3];
定义泛型数组 - 元组数据的命名
let xArr: [string,number];
赋值xArr = ["test",1];与
命名相对应 - 枚举类型的定义 enum Color {Red, Green, Blue} 默认情况下,从0开始为元素编号或者手动赋值
enum Color {Red = 1, Green = 2, Blue = 4}
我们可以获得枚举赋的值let c: Color = Color.Green;
当然也可以通过值来获取枚举的名字let colorName: string = Color[2];
- 下面我们再说函数命名
- void代表的是该函数不属于任何类型,意味着该函数不需要返回值如:
function warning(): void{console.log("执行到底----------或者内部有执行其他代码逻辑") }
- 如果函数定义了类型如:
function warning(param:any): string{ return param }
意味着该函数的返回值类型为string且传入参数为string类型 - Never用来表示那些永不存在值的类型
- 类型断言有两种方式 "尖括号"法和 as 语法 【* 类型断言更像是类型的选择,而不是类型转换其作用就是有规避typescript的类型检查*】 告知编辑器当前的变量类型如:
let str: string; <string>str
或者str as string
interface
接口的作用就是为这些类型命名和为你的代码或第三方代码定义契约。
function printLabel(labelledObj: { label: string }) {
console.log(labelledObj.label);
}
let myObj = { size: 10, label: "Size 10 Object" };
printLabel(myObj);
运行此代码我们会发现无论我们在对象参数内添加多少属性编译器只会检查那些必需的属性是否存在,并且其类型是否匹配。
重写上面的例子,这次使用接口来描述:必须包含一个label属性且类型为string
interface LabelledValue {
label: string;
}
function printLabel(labelledObj: LabelledValue) {
console.log(labelledObj.label);
}
let myObj = {size: 10, label: "Size 10 Object"};
printLabel(myObj);
LabelledValue
接口就好比一个名字,用来描述上面例子里的要求。 它代表了有一个 label属性且类型为string的对象。 需要注意的是,我们在这里并不能像在其它语言里一样,说传给 printLabel的对象实现了这个接口。我们只会去关注值的外形
。 只要传入的对象满足上面提到的必要条件,那么它就是被允许的。
还有一点值得提的是,类型检查器不会去检查属性的顺序,只要相应的属性存在并且类型也是对的就可以
可选属性
接口里的属性不全都是必需的。 有些是只在某些条件下存在,或者根本不存在。 可选属性在应用“option bags
”模式时很常用,即给函数传入的参数对象中只有部分属性赋值了。
interface SquareConfig {
color?: string;
width?: number;
}
function createSquare(config: SquareConfig): {color: string; area: number} {
let newSquare = {color: "white", area: 100};
if (config.color) {
newSquare.color = config.color;
}
if (config.width) {
newSquare.area = config.width * config.width;
}
return newSquare;
}
let mySquare = createSquare({color: "black"});
与上普通的接口对比我们会发现在接口定义可选属性名字时定义的后面加一个?符号
当我们数据引用错误时
interface SquareConfig {
color?: string;
width?: number;
}
function createSquare(config: SquareConfig): { color: string; area: number } {
let newSquare = {color: "white", area: 100};
if (config.clor) {
// Error: Property 'clor' does not exist on type 'SquareConfig'
newSquare.color = config.clor;
}
if (config.width) {
newSquare.area = config.width * config.width;
}
return newSquare;
}
let mySquare = createSquare({color: "black"});
可选属性的好处之一是可以对可能存在的属性进行预定义,好处之二是可以捕获引用了不存在的属性时的错误。 比如,我们故意将 createSquare里的color属性名拼错,就会得到一个错误提示:
script.ts(9,14): error TS2551: Property 'clor' does not exist on type 'SquareConfig'. Did you mean 'color'?
script.ts(11,30): error TS2551: Property 'clor' does not exist on type 'SquareConfig'. Did you mean 'color'?
假如我们不使用可选属性此时的报错结果如下
script.ts(9,14): error TS2551: Property 'clor' does not exist on type 'SquareConfig'. Did you mean 'color'?
script.ts(11,30): error TS2551: Property 'clor' does not exist on type 'SquareConfig'. Did you mean 'color'?
script.ts(19,29): error TS2345: Argument of type '{ color: string; }' is not assignable to parameter of type 'SquareConfig'.
Property 'width' is missing in type '{ color: string; }' but required in type 'SquareConfig'.
奇怪的是我们的width也跟着报错了,哪位小伙伴能解答一下这个现象
只读属性
一些对象属性只能在对象刚刚创建的时候修改其值。 你可以在属性名前用 readonly来指定只读属性:
interface Point {
readonly x: number;
readonly y: number;
}
你可以通过赋值一个对象字面量来构造一个Point。 赋值后, x和y再也不能被改变了。
let p1: Point = { x: 10, y: 20 };
p1.x = 5; // error!
TypeScript具有ReadonlyArray类型,它与Array相似,只是把所有可变方法去掉了,因此可以确保数组创建后再也不能被修改:
let a: number[] = [1, 2, 3, 4];
let ro: ReadonlyArray<number> = a;
ro[0] = 12; // error!
ro.push(5); // error!
ro.length = 100; // error!
a = ro; // error!
错误信息
script.ts(3,1): error TS2542: Index signature in type 'readonly number[]' only permits reading.
script.ts(4,4): error TS2339: Property 'push' does not exist on type 'readonly number[]'.
script.ts(5,4): error TS2540: Cannot assign to 'length' because it is a read-only property.
script.ts(6,1): error TS4104: The type 'readonly number[]' is 'readonly' and cannot be assigned to the mutable type 'number[]'.
上面代码的最后一行,可以看到就算把整个ReadonlyArray赋值到一个普通数组也是不可以的。 但是你可以用类型断言重写:
let a: number[] = [1, 2, 3, 4];
let ro: ReadonlyArray<number> = a;
a = ro as number[];
ro[0] = 12; // currect
ro.push(5); // currect
ro.length = 100; // currect
额外的属性检查
我们在第一个例子里使用了接口,TypeScript让我们传入{ size: number; label: string; }到仅期望得到{ label: string; }的函数里。 我们已经学过了可选属性,并且知道他们在“option bags”模式里很有用。
然而,天真地将这两者结合的话就会像在JavaScript里那样搬起石头砸自己的脚。 比如,拿 createSquare例子来说:
interface SquareConfig {
color?: string;
width?: number;
}
function createSquare(config: SquareConfig): { color: string; area: number } {
console.log(config);
let newObj= {color: "white", area: 100};
return newObj;
}
let mySquare = createSquare({ colour: "red", width: 100 });
报错内容
script.ts(15,31): error TS2345: Argument of type '{ colour: string; width: number; }' is not assignable to parameter of type 'SquareConfig'.
Object literal may only specify known properties, but 'colour' does not exist in type 'SquareConfig'. Did you mean to write 'color'?
对比不使用字面量的参数
interface SquareConfig {
color?: string;
width?: number;
}
function createSquare(config: SquareConfig): { color: string; area: number } {
console.log(config);
let newObj= {color: "white", area: 100};
return newObj;
}
let one = { colour: "red", width: 100 };
let mySquare = createSquare(one);
{ colour: 'red', width: 100 }
如果想用对象字面量作为参数-绕开这些检查非常简单。
方式一:最简便的方法是使用类型断言:
let mySquare = createSquare({ width: 100, opacity: 0.5 } as SquareConfig);
方式二: 最佳的方式是能够添加一个字符串索引签名,前提是你能够确定这个对象可能具有某些做为特殊用途使用的额外属性。 如果 SquareConfig带有上面定义的类型的color和width属性,并且还会带有任意数量的其它属性,那么我们可以这样定义它:
interface SquareConfig {
color?: string;
width?: number;
[propName: string]: any;
}
方式三:就是将这个对象赋值给一个另一个变量: 因为 squareOptions不会经过额外属性检查,所以编译器不会报错。
let squareOptions = { colour: "red", width: 100 };
let mySquare = createSquare(squareOptions);
要留意,在像上面一样的简单代码里,你可能不应该去绕开这些检查。 对于包含方法和内部状态的复杂对象字面量来讲,你可能需要使用这些技巧,但是大部额外属性检查错误是真正的bug。 就是说你遇到了额外类型检查出的错误,比如“option bags”,你应该去审查一下你的类型声明。 在这里,如果支持传入 color或colour属性到createSquare,你应该修改SquareConfig定义来体现出这一点。
函数类型
接口能够描述JavaScript中对象拥有的各种各样的外形。 除了描述带有属性的普通对象外,接口也可以描述函数类型。
为了使用接口表示函数类型,我们需要给接口定义一个调用签名。 它就像是一个只有参数列表和返回值类型的函数定义。参数列表里的每个参数都需要名字和类型。
interface SearchFunc {
(source: string, subString: string): boolean;
}
对比一般接口定义
interface SquareConfig {
color?: string;
width?: number;
}
这样定义后,我们可以像使用其它接口一样使用这个函数类型的接口。 下例展示了如何创建一个函数类型的变量,并将一个同类型的函数赋值给这个变量。
interface SearchFunc {
(source: string, subString: string): boolean;
}
let mySearch: SearchFunc;
mySearch = function(source: string, subString: string) {
let result = source.search(subString);
return result > -1;
}
console.log(mySearch("test","test")); // true
对于函数类型的类型检查来说,函数的参数名不需要与接口里定义的名字相匹配。 比如,我们使用下面的代码重写上面的例子:
interface SearchFunc {
(source: string, subString: string): boolean;
}
let mySearch: SearchFunc;
mySearch = function(src: string, sub: string): boolean {
let result = src.search(sub);
return result > -1;
}
console.log(mySearch("test","test"));// true
函数的参数会逐个进行检查,要求对应位置上的参数类型是兼容的。 如果你不想指定类型,TypeScript的类型系统会推断出参数类型,因为函数直接赋值给了 SearchFunc类型变量。
函数的返回值类型是通过其返回值推断出来的(此例是 false和true)。 如果让这个函数返回数字或字符串,类型检查器会警告我们函数的返回值类型与 SearchFunc接口中的定义不匹配。
interface SearchFunc {
(source: string, subString: string): boolean;
}
let mySearch: SearchFunc;
mySearch = function(src, sub) {
let result = src.search(sub);
return result > -1;
}
console.log(mySearch("test","test")); // true
可索引的类型
与使用接口描述函数类型差不多,我们也可以描述那些能够“通过索引得到”的类型,比如a[10]或ageMap[“daniel”]。 可索引类型具有一个 索引签名,它描述了对象索引的类型,还有相应的索引返回值类型。 让我们看一个例子:
interface StringArray {
[index: number]: string;
}
let myArray: StringArray;
myArray = ["Bob", "Fred"];
let myStr: string = myArray[0];
console.log(myStr) //Bob
上面例子里,我们定义了StringArray
接口,它具有索引签名。 这个索引签名表示了当用 number去索引StringArray
时会得到string类型
的返回值。
TypeScript支持两种索引签名:字符串
和数字
。 可以同时使用两种类型的索引
,但是数字索引的返回值必须是字符串索引返回值类型的子类型
。 这是因为当使用 number
来索引时,JavaScript
会将它转换成string
然后再去索引对象
。 也就是说用 100(一个number)去索引等同于使用"100"(一个string)去索引,因此两者需要保持一致。
class Animal {
name: string;
}
class Dog extends Animal {
breed: string;
}
// 错误:使用数值型的字符串索引,有时会得到完全不同的Animal!
interface NotOkay {
[x: number]: Animal;
[x: string]: Dog;
}
个人理解,上例中索引值是number类型,而返回值并不是字符串索引返回值类型的子类型所以导致报错
script.ts(10,5): error TS2413: Numeric index type 'Animal' is not assignable to string index type 'Dog'.
字符串索引签名能够很好的描述dictionary
模式,并且它们也会确保所有属性与其返回值类型相匹配。 因为字符串索引声明了 obj.property
和obj["property"]
两种形式都可以。 下面的例子里, name的类型与字符串索引类型不匹配,所以类型检查器给出一个错误提示:
interface NumberDictionary {
[index: string]: number;
length: number; // 可以,length是number类型
name: string // 错误,`name`的类型与索引类型返回值的类型不匹配
}
最后,你可以将索引签名设置为只读,这样就防止了给索引赋值:
interface ReadonlyStringArray {
readonly [index: number]: string;
}
let myArray: ReadonlyStringArray = ["Alice", "Bob"];
myArray[2] = "Mallory"; // error!
你不能设置myArray[2],因为索引签名是只读的。
类类型
实现接口
与C#或Java里接口的基本作用一样,TypeScript也能够用它来明确的强制一个类去符合某种契约。
interface ClockInterface {
currentTime: Date;
}
class Clock implements ClockInterface {
currentTime: Date;
constructor(h: number, m: number) { }
}
你也可以在接口中描述一个方法,在类里实现它,如同下面的setTime方法一样:
interface ClockInterface {
currentTime: string;
setTime(d: Date);
}
class Clock implements ClockInterface {
currentTime: string;
setTime(d: Date) {
this.currentTime = d.toLocaleDateString();
}
getCurrentTime(){
return this.currentTime
}
constructor(h: number, m: number) {
this.setTime(new Date())
}
}
let newClock = new Clock(10,10);
console.log("当前日期",newClock.getCurrentTime()); //当前日期 2/4/2021
接口描述了类的公共部分,而不是公共和私有两部分。 它不会帮你检查类是否具有某些私有成员。
类静态部分与实例部分的区别
当你操作类和接口的时候,你要知道类是具有两个类型的:静态部分的类型和实例的类型。 你会注意到,当你用构造器签名去定义一个接口并试图定义一个类去实现这个接口时会得到一个错误:
interface ClockConstructor {
new (hour: number, minute: number): ClockInterface;
}
interface ClockInterface {
hTime: number
tick();
}
function createClock(ctor: ClockConstructor, hour: number, minute: number): ClockInterface {
return new ctor(hour, minute);
}
class DigitalClock implements ClockInterface {
hTime: number
constructor(h: number, m: number) {
this.hTime = h + m
}
tick() {
console.log("合计:" + this.hTime);
}
}
class AnalogClock implements ClockInterface {
hTime: number
constructor(h: number, m: number) {
this.hTime = h + m
}
tick() {
console.log("合计: " + this.hTime);
}
}
let digital = createClock(DigitalClock, 12, 17);
let analog = createClock(AnalogClock, 7, 32);
digital.tick() //合计:29
analog.tick() //合计: 39
因为createClock
的第一个参数是ClockConstructor
类型,在createClock(AnalogClock, 7, 32)
里,会检查AnalogClock是否符合构造函数签名。
继承接口
和类一样,接口也可以相互继承。 这让我们能够从一个接口里复制成员到另一个接口里,可以更灵活地将接口分割到可重用的模块里。
interface Shape {
color: string;
}
interface Square extends Shape {
sideLength: number;
}
let square = <Square>{};
square.color = "blue";
square.sideLength = 10;
console.log("数据",square) //数据 { color: 'blue', sideLength: 10 }
一个接口可以继承多个接口,创建出多个接口的合成接口。
interface Shape {
color: string;
}
interface PenStroke {
penWidth: number;
}
interface Square extends Shape, PenStroke {
sideLength: number;
}
let square = <Square>{};
square.color = "blue";
square.sideLength = 10;
square.penWidth = 5.0;
console.log("数据",square) //数据 { color: 'blue', sideLength: 10, penWidth: 5 }
混合类型
先前我们提过,接口能够描述JavaScript里丰富的类型。 因为JavaScript其动态灵活的特点,有时你会希望一个对象可以同时具有上面提到的多种类型。
一个例子就是,一个对象可以同时做为函数和对象使用,并带有额外的属性。
interface Counter {
(start: number): string;
interval: number;
reset(): void;
}
function getCounter(): Counter {
let counter = <Counter>function (start: number) { };
counter.interval = 123;
counter.reset = function () { };
return counter;
}
let c = getCounter();
c(10);
c.reset();
c.interval = 5.0;
在使用JavaScript第三方库的时候,你可能需要像上面那样去完整地定义类型。
接口继承类
当接口继承了一个类类型时,它会继承类的成员但不包括其实现。 就好像接口声明了所有类中存在的成员,但并没有提供具体实现一样。 接口同样会继承到类的private和protected成员。 这意味着当你创建了一个接口继承了一个拥有私有或受保护的成员的类时,这个接口类型只能被这个类或其子类所实现(implement)。
当你有一个庞大的继承结构时这很有用,但要指出的是你的代码只在子类拥有特定属性时起作用。 这个子类除了继承至基类外与基类没有任何关系。 例:
class Control {
private state: any;
}
interface SelectableControl extends Control {
select(): void;
}
class Button extends Control implements SelectableControl {
select() { }
}
class TextBox extends Control {
select() { }
}
// 错误:“Image”类型缺少“state”属性。
class Image implements SelectableControl {
select() { }
}
在上面的例子里,SelectableControl
包含了Control
的所有成员,包括私有成员state
。 因为 state是私有成员
,所以只能够是Control的子类
们才能实现SelectableControl接口
。 因为只有 Control的子类
才能够拥有一个声明于Control的私有成员state
,这对私有成员的兼容性
是必需
的。
在Control
类内部,是允许通过SelectableControl
的实例来访问私有成员state
的。 实际上, SelectableControl接口
和拥有select方法的Control类
是一样
的。 Button
和TextBox
类是SelectableControl
的子类(因为它们都继承
自Control
并有select方法
),但Image
类并不是这样的。
小计:文档将该报错放在了上面的代码中,但这只是一个单独命名的类,不应该和Control类有任何关系的,所以我单独运行了,然后报错如下
class Location{
private state: any;
}
// 报错内容
//script.ts(2,7): error TS2300: Duplicate identifier 'Location'.
//../usr/lib/node_modules/typescript/lib/lib.dom.d.ts(9906,11): error TS2300: Duplicate identifier 'Location'.
//../usr/lib/node_modules/typescript/lib/lib.dom.d.ts(9979,13): error TS2300: Duplicate identifier 'Location'.
类
传统的JavaScript程序使用函数和基于原型的继承来创建可重用的组件,但对于熟悉使用面向对象方式的程序员来讲就有些棘手,因为他们用的是基于类的继承并且对象是由类构建出来的。 从ECMAScript 2015,也就是ECMAScript 6开始,JavaScript程序员将能够使用基于类的面向对象的方式。 使用TypeScript,我们允许开发者现在就使用这些特性,并且编译后的JavaScript可以在所有主流浏览器和平台上运行,而不需要等到下个JavaScript版本。
class Greeter {
greeting: string;
constructor(message: string) {
this.greeting = message;
}
greet() {
return "Hello, " + this.greeting;
}
}
let greeter = new Greeter("world");
console.log("result===>",greeter.greet()); //result===> Hello, world