写在前面
网上很多写ts的教程的,但是我觉得写的太繁琐了,这里我直接将基础用法写上,包括编译后的js代码,以便于你们进行对比, 包括一些常见的报错信息,你们可以对比一下报错信息, 我尽量不废话的将ts一篇文章写完!
解释一下:
ts全称typeScript,别名 anyScript , 是js的一个超集,你可以理解为js有的他都有,js没有的,他也有,后面会具体说到,js是一种非强类型语言,ts就相当于将js强制类型,这样做的好处就是编译期间就可以发现类型错误,他可以通过类型进行静态类型检查,最大程度的避免代码中出现的一系列类型错误,当然还是一样,你学我建议,不用也可以,开讲
基本(原始)类型定义
const str: string = "tom"
const bol: boolean = true
const num: number = 123
const und: undefined = undefined
const nul: null = null
编译为js结果:
"use strict";
const str = "tom";
const bol = true;
const num = 123;
const und = undefined;
const nul = null;
- 一旦做了类型限制,后面是不可以进行非该类型赋值的,比如(其他同理):
下面是一个错误示例 ⚠️
let stre: string = "stre"
stre = "123 // Error:Unterminated string literal.
数组类型定义
let numArr: number[] = [1,2,3]
let strArr: string[] = ['1','1','2']
let bolArr: boolean[] = [true,false]
编译为js结果:
"use strict";
let numArr = [1, 2, 3];
let strArr = ['1', '1', '2'];
let bolArr = [true, false];
- 一旦类型做了限制,数组里面不可以进行非该类型的赋值,比如(其他同理):
下面是一个错误示例 ⚠️
let numArr: number[] = [1,2,3,"jim"] // Error Type 'string' is not assignable to type 'number'.
numArr.push("tom") // Error Argument of type 'string' is not assignable to parameter of type 'number'.
元组定义
如果想在数组里面进行定义不同的类型,可以使用元组,元组在js中本身是不存在的,ts中存在的一种数据类型
let tuple: [number,string,boolean,null] = [1,"tom",true,null]
编译为js结果:
"use strict";
let tuple = [1, "tom", true, null];
- 元组虽然可以定义不同类型的数据放到数组里面,但是也是受到限制的,初始化必须按照数组的下标进行赋值,同时受到个数的限制,后续push等操作是不受到下标(位置)限制的,但是push受到类型本身的限制,不受到个数的限制,比如:
下面是一个错误示例 ⚠️
tuple.push(undefined) // Error Argument of type 'undefined' is not assignable to parameter of type 'string | number | boolean | null'.
接口
ts中的接口是用于限制对象的,他规定了对象的key和类型的最初的样子(属性【属性的类型】和方法【参数的类型和返回值的类型】的样子),接口本身是不参与运行的,他在编译期间起限制和静态类型检查的作用,你也可以理解为编译结束,接口本身就已经没有用了(因为接口是Interface[Java中的定义],所以一般定义的时候都是大写I开头)
interface Iobj {
brand : string,
num : number
}
let obj: Iobj = {
brand: "吉利",
num: 18
}
编译为js结果:
"use strict";
let obj = {
brand: "吉利",
num: 18
};
这里如果一个对象很多人用,但是数量不确定的话,可以将不确定的属性定义为一个可选属性
interface Iobj {
brand : string,
num? : number
}
let obj: Iobj = {
brand: "吉利",
}
编译为js结果:
"use strict";
let obj = {
brand: "吉利",
};
如果对象中有一些你不希望被人改动的属性,你可以将该属性设置为只读属性,后续改动就会报错
interface Iobj {
readonly id: 0,
brand : string,
num? : number
}
let obj: Iobj = {
id : 0,
brand: "吉利",
}
编译为js结果:
"use strict";
let obj = {
id: 0,
brand: "吉利",
};
- 接口限制之后对象是不可以添加或者赋值非该类型的数据,包括数量也会被限制,如下:
下面是一个错误示例 ⚠️
let obj: Iobj = {
brand: "吉利",
num: 18,
age : 18,
}
// Error Object literal may only specify known properties, and 'age' does not exist in type 'Iobj'.
let obj: Iobj = {
brand: "吉利",
num: "18",
}
// Error Type 'string' is not assignable to type 'number'.
let obj: Iobj = {
brand: "吉利",
}
// Error Property 'num' is missing in type '{ brand: string; }' but required in type 'Iobj'.
obj.id = 1 // Error Cannot assign to 'id' because it is a read-only property.
let obj: Iobj = {
id : 1,
brand: "吉利",
}
// Error Type '1' is not assignable to type '0'.
函数类型限制
function func(x:string,y: number , z?: boolean) : string {
return (x + y)
}
func("3",4)
编译为js结果
"use strict";
function func(x, y, z) {
return (x + y);
}
func("3", 4);
- 这样参数和返回值都受到对应的类型限制,比如下面的例子:
下面是错误的示例 ⚠️
func(2,4)
func(4)
function func(x:string,y: number) : string {
return Boolean(x + y)
}
使用接口对函数进行类型限制
interface Ifunc {
(x: string,y: number,z?: boolean):string
}
let toFcun: Ifunc;
toFcun = function(x,y){
return x + y
}
toFcun("5",8)
编译为js结果
"use strict";
let toFcun;
toFcun = function (x, y) {
return x + y;
};
toFcun("5", 8);
联合类型 (这不是一种类型,而是一个变量需要多种类型的时候,可以使用|进行分割)
let cls : number | string = "tom"
cls = 5
编译为js结果
"use strict";
let cls = "tom";
cls = 5;
下面的是错误示例 ⚠️
cls = true // Error : Type 'boolean' is not assignable to type 'string | number'.
类型断言 (当我不知道这个变量是什么类型,但是我希望他作为一个我预期的类型进行处理的时候,可以使用断言)
function func(params: string | number){
params.toString;
params.valueOf;
const str = params as string
str.length
}
编译为js 结果
"use strict";
function func(params) {
params.toString;
params.valueOf;
const str = params;
str.length;
}
下面是一个错误的示例 ⚠️
function func(params: string | number){
params.toString;
params.valueOf;
params.length
}
function func(params: string | number){
params.toString;
params.valueOf;
const str = params as Boolean
}
泛型
又叫做动态类型,当我不确定我的函数入参类型的时候,可以使用一个广泛的类型,简称泛型,在使用函数的时候决定该入参的类型
function genericity<T>(params: T): T{
return params
}
genericity("8")
genericity(8)
genericity(true)
编译为js结果
"use strict";
function genericity(params) {
return params;
}
genericity("8");
genericity(8);
genericity(true);
泛型示例2
function changePlaces<S,N>(params:[S,N]): [N,S]{
return [params[1],params[0]]
}
changePlaces(["tom",0])
编译为js结果
function changePlaces(params) {
return [params[1], params[0]];
}
changePlaces(["tom", 0]);
下面是一个错误的示例 ⚠️
function changePlaces<S,N>(params:[S,N]): [N,S]{
return [params[0],params[1]]
}
// Error Type 'S' is not assignable to type 'N'.'N' could be instantiated with an arbitrary type which could be unrelated to 'S'.
// Error Type 'N' is not assignable to type 'S'.'S' could be instantiated with an arbitrary type which could be unrelated to 'N'.
使用接口做泛型约束
动态类型虽然是根据实际调用的时候进行类型判断的,但是也是可以对泛型做一定约束的
function constc<T>(params: T): boolean{
return Boolean(params)
}
编译为js结果
function constc(params) {
return Boolean(params);
}
- 此时的返回值是boolean类型,那么想要访问一个params.valueOf 属性显然是不现实的,这个时候可以使用继承接口属性的方式实现
interface IConstraint {
length: number,
name : string
}
function constraint<T extends IConstraint>(params: T): boolean{
return Boolean(params.length)
}
const validObject: IConstraint = { length: 1,name:"jim" };
constraint(validObject);
编译为js结果
"use strict";
function constraint(params) {
return Boolean(params.length);
}
const validObject = { length: 1, name: "jim" };
constraint(validObject);
下面是一个错误示例 ⚠️
function constc<T>(params: T): boolean{
return params
}
个人建议
ts是一种可用可不用的技术,他的弊端是开发成本升高,入门比较难受,难度不大,但是写起来较为恶心,因为所有的类型都需要进行限制,当然也有很多人是喜欢使用any的,经常使用any的话,直接使用js比较好,优势是后期的运行的稳定,报错的可能性大大的降低,因为在编译阶段就已经将类型校验过了,js中很多的错误都是来源类型不对导致的,我的建议是学习还是要学习的,但是自己的项目可以不用,使用自己熟悉的技术栈即可,但是如果不学习的话,难免会接手别人的ts项目,到时候会比较麻烦,毕竟很多开源的框架都是ts实现的,最新的vue3也是针对ts做了很多的优化,这个看个人,和我前面说的tailwindcss的建议是一样的,你学可以,不学也不会对你的开发造成实质性的影响!
众多网友对待ts的看法