目录
TS的常见用法介绍
example01.ts
逃避类型检查：any
思考一下~：不知道类型
类型标注
函数（参数和返回值）
匿名函数
TS如何知道匿名函数的类型？
TS是一种标注式语言，不侵入JS的设计
TS的常见用法介绍
文章内容
- 基础类型、数组
- any/unkown
- 类型标注
- 函数
- 对象类型
- 联合
- 别名
- 接口
- 断言
- 字面类型
- null and undefined
- 枚举类型
基础类型、数组
- string，number，boolean，null【人为赋值null】，undefined【就是没有设置值】
- Array,T代表数组中元素类型
- 为什么要求数组中类型统一？人类思考问题的方式；类型的方式思考程序，如一组人
// null;undefined
const a = {}
a["aaa"] // undefined
a["aaa"] = null // null
if(a["aaa"] === null) {}
// js
new Array()
// TS;浏览器中不支持；要有1TS环境
new Array<T>()example01.ts
// js语法
const a = new Array()
// ts语法
const b = new Array<string>()// 泛型，定义数组每项元素只能式string
b.push('123')// b只能push字符串，其他类型都会编译报错// 让typescript认为当前文件是一个模块，这个文件里的变量都是局部的
export {}逃避类型检查：any
let obj:any = { x: 0 };
// 后续都不会被检查
// `any`屏蔽了所有类型检查，相当于你相信你对程序的理解式高于TS的
obj.foo();
obj();
obj.bar = 100;
obj = "hello";
const n: number = obj;
const a: {[key: string] :number} = { x: 1 };
a.y = 2
a.z = 3
a.o = "123" // 报错思考一下~：不知道类型
为什么要提供unknown?
let value: unknown;
value = true; // ok
value = 42; // ok
value = "hello"; // ok
let value3:boolean = value; // Error类型标注
let myName:string = "Alice"; // :string 标注类型为字符串
let yourName = "Bob"; // 未明确标注类型，会推到出此类型为string函数（参数和返回值）
// greet : string -> number (Haskell)
function greet(name: string): number {console.log("Hello," + name.toUpperCase() + "!!");
}
greet(42) // Error ,要求string
let x: string = greet("omg") // Error , x要求字符串，返回值要求数字匿名函数
const names = ["Alice", "Bob", "Erice"];
// Array<string>
names.forEach(function (s) {// s: string // 类型的上下文推到 contextual mappingconsole.log(s.toUppercase());
});
names.map(value => {// value: string // 类型的上下文推到 contextual mappingconst y: number = value // Error
});
names.forEach((s) => {console.log(s.toUppercase());
})TS如何知道匿名函数的类型？
contexture Typing技术
- 根据上下文（Context）推导类型
- 还有什么是Context Typing？
上下文是指程序间组件共享的知识，可以是任何东西
class A {foo(){// this就是类A的上下文this.bar() }bar(){}
}
function foo2() { // 闭包const x = 1function bar() { // 子闭包}
}
)