TypeScript 概述
概念
TypeScript是具有类型语法的javascript,是一门强类型的编程语言。
TypeScript是微软开发的开源编程语言,Type + JavaScript(type是类型 => 在 JS 基础之上,为 JS 添加了类型支持),简称:TS。
代码层面
// TS 代码
// 变量age1是强类型的,有明确的类型。即: number(数值类型)
let age1: number = 18
age1 = '18' // 报错
// --------------------
// javascript代码
// 变量age2是弱类型的 无明确的类型
let age2 = 18
age2 = '18' // 不报错
带来的好处
- 静态类型检查,提前发现代码错误
- 良好的代码提示,提升开发效率
什么情况用TS而不是js
以下是一些建议:
1. 你做的是一个大型的项目?
2. 是否是一个团队开发模式?
3. 是否在编写通用的代码库?
结论:
ts不是万能的,技术的选项不能脱离具体的业务和应用场景,TS更加适合开发中大型的项目,或者是通用的JS代码库,再或者是团队协作开发的场景
使用vite来创建vue3+TS的项目
使用vite创建项目,并选择带ts的版本
npm create vite@latest my-vue-ts-app – --template vue-ts
参考链接:https://vuejs.org/guide/typescript/composition-api.html
vue3配合ts中,还需要额外安装一个vscode插件:Typescript Vue Plugin
ref函数标注类型
通过泛型指定value的值类型:
- 如果是简单值,该类型可以省略,利用类型推导就可以。
- 如果是复杂类型,指定泛型
示例
下面展示一些 内联代码片
。
// 1. 通过泛型指定value的值类型,如果是简单值,该类型可以省略
const money = ref<number>(10)
const money = ref(10)
// 2. 复杂类型,推荐指定泛型
type Todo = {
id: number
name: string
done: boolean
}
const list = ref<Todo[]>([])
reactive函数类型
通过泛型参数的形式增加类型
<script setup lang="ts">
import {
reactive
} from 'vue'
type Person {
name: string
age: number | string
}
const p = reactive <Person> ({
name: 'ifer',
age: 18,
})
</script>
<template>
<div>
<p>name: {{ p.name }}</p>
<p>age: {{ p.age }}</p>
</div>
</template>
computed函数类型
1. 利用 TS 类型推导的能力(推荐)
import { ref, computed } from 'vue'
const count = ref(100);
const doubleCount = computed(() => count.value * 2);
2. 通过泛型可以指定 computed 计算属性的类型。
import { ref, computed } from 'vue'
const count = ref(100);
const doubleMoney = computed<string>(() => (count.value * 2).toFixed(2));
defineProps
之前
父传子,把props传递给子组件内部使用。可以通过defineProps来接收
defineProps配合vue默认语法进行类型校验(运行时声明)
<script setup>
// 运行时声明
const props = defineProps({
money: {
type: Number,
required: true
},
car: {
type: String,
default: '小黄车'
}
})
</script>
配合TS使用
1. 类型校验
defineProps配合ts的泛型定义props,这样更直接
// 使用ts的泛型指令props类型
const props = defineProps<{ money: number, car?: string}>()
2. props可以通过解构来指定默认值
<script lang="ts" setup>
// 使用ts的泛型指令props类型
const { money, car = '小黄车' } = defineProps<{
money: number
car?: string
}>()
</script>
注意:
如果提供的默认值需要在模板中渲染,需要额外添加配置
https://vuejs.org/guide/extras/reactivity-transform.html#explicit-opt-in
// vite.config.js
export default {
plugins: [
vue({
reactivityTransform: true
})
]
}
defineEmits
1.defineEmits配合运行时声明(简单)
<script lang="ts" setup>
const emit = defineEmits(['change', 'update'])
</script>
2.defineEmits配合ts 类型声明,可以实现更细粒度的校验
const emit = defineEmits<{
(e: 'changeMoney', money: number): void
(e: 'changeCar', car: string): void
}>()
模板引用Ref
问题
<script setup lang="ts">
const h1Ref = ref(null)
const getElement = () => {
console.log(h1Ref.value.innerHTML) // 这里会报错
}
</script>
<tempalte>
<div><h1 ref="h1Ref">在获取dom时通过泛型指定类型</h1></div>
</template>
上面的代码中,第4行会报错: 它认为h1Ref.value上没有innerHTML这个属性
ref用于获取页面中元素时,有两个状态:
- 初始转态 Null
- 绑定后的状态
改进
联合类型
const imgRef = ref<HTMLImageElement | null>(null)
onMounted(() => {
console.log(imgRef.value!.src)
})
ref 操作组件
App.vue
<script setup lang="ts">
import {
ref
} from 'vue'
import Child from './Child.vue'
// 通过内置的泛型工具 InstanceType 可以获取构造函数类型的实例类型
const childCmp = ref < InstanceType < typeof Child > | null > (null)
const handleClick = () => {
childCmp.value?.logHello()
}
</script>
<template>
<section>
<h3>App</h3>
<button @click="handleClick">click</button>
<hr />
<Child ref="childCmp" />
</section>
</template>
Child.vue
<script setup lang="ts">
const logHello = () => {
console.log('🤣')
}
defineExpose({
logHello,
})
</script>
<template>
<div>Child</div>
</template>
非空断言
- 如果我们明确的知道对象的属性一定不会为空,那么可以使用非空断言 !。
// 告诉 TS, 明确的指定 obj 不可能为空
const nestedProp = obj!.second
// 表示 document.querySelector('div') 不可能为空
console.log(document.querySelector('div')!.innerHTML)
- 注意:非空断言一定要确保有该属性才能使用,不然使用非空断言会导致 Bug。
TypeScript类型声明文件
背景
今天几乎所有的 JavaScript 应用都会引入许多第三方库来完成任务需求。
这些第三方库不管是否是用 TS 编写的,最终都要编译成 JS 代码,才能发布给开发者使用。
我们知道是 TS 提供了类型,才有了代码提示和类型保护等机制。
但在项目开发中使用第三方库时,你会发现它们几乎都有相应的 TS 类型,这些类型是怎么来的呢? 类型声明文件
类型声明文件
用来为已存在的 JS 库提供类型信息
TS 中有两种文件类型:
1 .ts 文件
2 .d.ts 文件
.ts 文件:
- 既包含类型信息又可执行代码
a. 可以被编译为 .js 文件,然后,执行代码
b. 用途:编写程序代码的地方
.d.ts 文件:
2. 只包含类型信息 的类型声明文件
3. 不会生成 .js 文件,仅用于提供类型信息,在.d.ts文件中不允许出现可执行的代码,只用于提供类型
4. 第三方的声明文件(需要安装),一般会跟随第三方包一起安装,支持ts的,都会自带;
5. 用途:为 JS 提供类型信息
总结
.ts 是 implementation(代码实现文件);.d.ts 是 declaration(类型声明文件)
如果要为 JS 库提供类型信息,要使用 .d.ts 文件
内置类型声明文件
TS 为 JS 运行时可用的所有标准化内置 API 都提供了声明文件
比如,在使用数组时,数组所有方法都会有相应的代码提示以及类型信息:
const strs = ['a', 'b', 'c']
// 鼠标放在 forEach 上查看类型
strs.forEach
实际上这都是 TS 提供的内置类型声明文件,可以通过 Ctrl + 鼠标左键(Mac:Command + 鼠标左键)来查看内置类型声明文件内容
比如,查看 forEach 方法的类型声明,在 VSCode 中会自动跳转到 lib.es5.d.ts 类型声明文件中。当然,像 window、document 等 BOM、DOM API 也都有相应的类型声明(lib.dom.d.ts)
第三方库类型声明文件
目前,几乎所有常用的第三方库都有相应的类型声明文件
第三方库的类型声明文件有两种存在形式:1 库自带类型声明文件 2 由 TS官方给它写的(DefinitelyTyped 提供)。
1.库自带类型声明文件:比如,axios
-
查看 node_modules/axios 目录
解释:这种情况下,正常导入该库,TS 就会自动加载库自己的类型声明文件,以提供该库的类型声明。
2.由 DefinitelyTyped 提供
- DefinitelyTyped 是一个 github 仓库,用来提供高质量 TypeScript 类型声明
- DefinitelyTyped 链接
- 可以通过 npm/yarn 来下载该仓库提供的 TS 类型声明包,这些包的名称格式为:@types/*
- 比如,@types/react、@types/lodash 等
- 说明:在实际项目开发时,如果你使用的第三方库没有自带的声明文件,VSCode 会给出明确的提示
import _ from 'lodash'
// 在 VSCode 中,查看 'lodash' 前面的提示
- 解释:当安装 @types/* 类型声明包后,TS 也会自动加载该类声明包,以提供该库的类型声明
- 补充:TS 官方文档提供了一个页面,可以来查询 @types/* 库
- @types/* 库