1、函数声明、定义、使用
函数声明：制定函数的参数和返回值类型
函数实现：函数具体的实现，参数可少于等于函数的定义。函数实现参数TS会根据函数的声明进行推断
函数调用：函数的调用参数必须要和函数的声明一致，不然会报错
2、索引签名
TS支持字符串和数字索引，可以同时使用两种类型的索引，但是数字索引的返回值必须是字符串索引返回值类型的子类型
3、 强制类型转换
-
as
-
利用泛型
interface Square {
color: string;
sideLength: number
}
let square = <Square>{}; // 强制类型转换，并进行初始化
square.color = "blue";
square.sideLength = 10;
4、类
-
访问修饰符（都是针对实例属性）
-
private：私有，只能在本类和实例中被访问
-
protect：受保护，在本类以及其派生类中可被访问
-
public：不受限制
-
-
静态属性、实例属性
-
实例属性需要在被实例化时进行初始化，静态属性挂在类上，类存在，静态属性就存在。
-
实例属性、方法只能实例方法中访问，静态属性和方法可以在实例方法和静态方法中被访问
-
5、类型保护
-
交叉类型
obj: A & B & C，obj必须包含有A、B、C中的所有属性，均可直接访问
2. 联合类型
obj：A | B，obj是A或者是B类型，obj中一定包含A和B共有的属性，但是非公有属性不能直接访问，直接访问会报错，所以引出下面的类型保护
3. 类型保护
联合类型中非公有的属性不可直接访问，编译不通过
interface Bird {
fly();
layEggs();
}
interface Fish {
swim();
layEggs();
}
function getSmallPet(): Fish | Bird {
// ...
}
let pet = getSmallPet();
// 每一个成员访问都会报错
if (pet.swim) {
pet.swim();
}
else if (pet.fly) {
pet.fly();
}可通过已下几种方式进行处理
-
类型断言
let pet = getSmallPet(); if ((<Fish>pet).swim) { (<Fish>pet).swim(); } else { (<Bird>pet).fly(); } -
户自定义的类型保护
function isFish(pet: Fish | Bird): pet is Fish { return (<Fish>pet).swim !== undefined; } // 'swim' 和 'fly' 调用都没有问题了 if (isFish(pet)) { pet.swim(); } else { pet.fly(); } -
typeof类型保护
function a(padding: string | number): string | number { if (typeof padding === 'number') { } else { } }
-
instanceof类型保护
与typeof类型保护类似
6、null、undefined
-
null、undefine的是其他类型的子集，当你声明一个变量时，它会自动地包含 null或 undefined；使用--strictNullChecks，将不允许将二者赋值给其他类型，除非对变量进行联合类型声明
let s = "foo";
s = null; // 错误, 'null'不能赋值给'string'
let sn: string | null = "bar";
sn = null; // 可以
sn = undefined; // error, 'undefined'不能赋值给'string | null'-
null 和undefined属于不同类型
-
使用了 --strictNullChecks，可选参数会被自动地加上 | undefined
function f(x: number, y?: number) {
return x + (y || 0);
}
f(1, 2);
f(1);
f(1, undefined);
f(1, null); // error-
手动排除null/undefined
可在变量后面添加'！'
function postfix(name: string | null) {
return name!.charAt(0) + '. the '; // 排除null和undefined
}
7、特殊类型demo
-
Exclude<T, U> -- 从T中剔除可以赋值给U的类型。
-
Extract<T, U> -- 提取T中可以赋值给U的类型。
-
NonNullable<T> -- 从T中剔除null和undefined。
-
ReturnType<T> -- 获取函数返回值类型。
-
InstanceType<T> -- 获取构造函数类型的实例类型。
-
Pick<T， K> -- 获取T中的K属性，属性值类型不变 【同态】
interface Person {
name: string;
age?: number;
}
type person5 = Pick<Person, "name">;
// person5 === {name: string}
-
Partial<T> -- T中属性变为可选属性，属性值类型不变【同态】
-
Readonly<T> -- T中属性变为只读属性，属性值类型不变【同态】
-
Record<K, T> 拷贝K中属性，新定义属性值类型为T【不同态】， https://www.leevii.com/2018/10/record-in-typescript.html
【不同态：表示必须输入属性值类型，拷贝属性定义新类型】
8、命令空间
-
命名空间区分文件但是隶属同一个命名空间时，可以通过<reference path="Validation.ts" />进行关联
-
文件输出可以按照顺序输出到一个文件，或者是分别输出，但是均需引用
9、模块查找
-
相对模块：本地模块，通过相对路径引用，如：import * as from './hhh.js'
-
非相对模块：npm模块，通过模块名引用，如 import moment from 'moment'
a. 模块查找路径设置
"baseUrl": "./", /* Base directory to resolve non-absolute module names. */
"paths": { /* A series of entries which re-map imports to lookup locations relative to the 'baseUrl'. */
"@assets/*": ["src/assets/*"],
"react-native": ["node_modules/@mrn/react-native"],
"@mfe/react-native-vector-icons/FontAwesome": ["node_modules/@types/react-native-vector-icons/FontAwesome"],
"moment/min/moment.min.js": ["node_modules/moment"]
},
-
设置baseUrl来告诉编译器到哪里去查找模块。 所有非相对模块导入都会被当做相对于 baseUrl。注意相对模块的导入不会被设置的baseUrl所影响，因为它们总是相对于导入它们的文件
baseUrl的值由以下两者之一决定：
-
命令行中baseUrl的值（如果给定的路径是相对的，那么将相对于当前路径进行计算）
-
‘tsconfig.json’里的baseUrl属性（如果给定的路径是相对的，那么将相对于‘tsconfig.json’路径进行计算）
-
-
设置path相当于配置地址别名，react-native本来需要通过‘@mrn/react-native’形式引用，现在可以直接通过'react-native'形式引用
b. 利用rootDirs指定虚拟目录
{
"compilerOptions": {
"rootDirs": [
"src/views",
"generated/templates/views"
]
}
}构建过程中会将上面两个目录下的文件拷贝到一个文件目录下，这样在src/views目录下的文件中使用template/views中的文件时，可以通过'./template.js'形式访问