/* 1.变量类型声明和初始化 */
let a: number;
// a 的类型设置为了number，在以后的使用过程中a的值只能是数字
a = 10;
a = 33;
// a = 'hello'; // 此行代码会报错，因为变量a的类型是number，不能赋值字符串
let b: string;
b = 'hello';
// b = 123;
// 声明变量的同时直接进行赋值
// let c: boolean = false;
// 如果变量的声明和赋值是同时进行的，TS可以自动对变量进行类型检测
let c = false;
c = true;
/* 2.函数声明 */
// JS中的函数是不考虑参数的类型和个数的
// function sum(a, b){
// return a + b;
// }
// console.log(sum(123, 456)); // 579
// console.log(sum(123, "456")); // "123456"
function sum(a: number, b: number): number {
return a + b;
}
let res = sum(123, 345);
// let res = sum(123, '456'); // 报错
// let res = sum(123, 456,678); // 报错
/* 3.字面量声明 */
// 下面的语句相当于定义了一个a3常量；唯一的，不能修改，一般不用，
let a3: 10;
// a3 = 11; // 尝试将a3赋值为11，报错；
/* 4.联合类型 */
// 或者
let b4: "male" | "female";
b4 = "male";
b4 = "female";
let c4: boolean | string;
c4 = true;
c4 = 'hello';
/* 5.组合类型 */
// &表示同时满足的类型
let a5: { name: string } & { age: number };
a5 = {name: 'haha', age: 18};
/* 6.其他常见基本类型(除了：number、string、bool之外) */
/* 6.1 Any */
// any 表示的是任意类型，一个变量设置类型为any后相当于：对该变量关闭了TS的类型检测！
// 使用TS时，强烈不建议使用any类型
// let d: any;
// 声明变量如果不指定类型，则TS解析器会自动判断变量的类型为any （隐式的any）
let a61;
a61 = 10;
a61 = 'hello';
a61 = true;
/* 6.2 Unknown */
let a62: unknown;
a62 = 10;
a62 = 'hello';
a62 = true;
/* 6.2.2 Unknown和Any对比 */
let s: string = 'hello';
// a61的类型是any，它可以赋值给任意变量
// any赋值给其他变量时，TS也会同时关闭对那个赋值变量的类型检查！
s = a61;
// a62的类型是unknown，它不能赋值给一个确定类型！
// s = a62;
// 即：unknown 实际上就是一个类型安全的any
// unknown类型的变量，不能直接赋值给其他变量
if (typeof a62 === "string") {
s = a62;
}
/* 6.3 void */
// void 用来表示空，主要用于函数中
// 以函数为例，表示没有返回值的函数：
function fn(): void {
}
/* 6.4 undefined */
// never 表示永远不会返回结果（连undefined都没有）[较少使用]
// 下面的函数没有返回值（连undefined都没有），仅抛出error
function fn2(): never {
throw new Error('报错了！');
}
/* 6.5 object */
// object表示一个js对象类型
let a65: object;
a65 = {};
a65 = function () {
};
// {} 用来指定对象中可以包含哪些属性
// 语法：
// {属性名:属性值,属性名:属性值}
// 在属性名后边加上?，表示属性是可选的
let b65: { name: string, age?: number };
b65 = {name: 'haha'};
b65 = {name: '孙悟空', age: 18};
// [propName: string]: any 表示任意类型的属性
// 所以下面定义了一个必须包含name属性，其他属性随意的类型
let c65: { name: string, [propName: string]: any };
c65 = {name: '猪八戒', age: 18, gender: '男'};
/* 6.5.2 函数对象 */
/*
* 设置函数结构的类型声明：
* 语法：(形参:类型, 形参:类型 ...) => 返回值
*/
let d65: (a: number, b: number) => number;
// 声明了类型之后，在定义时可以不再指出类型
d65 = function (n1, n2) {
return n1 + n2
}
// 也可以指出类型
d65 = function (n1: number, n2: number): number {
return n1 + n2
}
// 下面的一些定义都是错误的！
// d65 = function (n1: string, n2: number): number {
// return n1 + n2
// }
// d65 = function (n1: number, n2: number, n3: number): number {
// return n1 + n2 + n3;
// }
// 但是下面这个是对的！
d65 = function (n1: number): number {
return n1
}
/* 6.6 数组 */
/*
* 数组的类型声明：
* 类型[]
* Array<类型>
*/
// 例如：string[] 表示字符串数组
let e66: string[];
e66 = ['a', 'b', 'c'];
// number[] 表示数值数值
let f66: number[];
// 也可以使用下面的声明方式
let g66: Array<number>;
g66 = [1, 2, 3];
/* 6.7 元组 */
/*
* 元组，元组就是固定长度的数组
* 语法：[类型, 类型, 类型]
* 相比于数组，元组的性能更高一些
*/
let a67: [string, number];
a67 = ['hello', 123];
/* 6.8 枚举 */
enum Gender {
Male,
Female,
}
let a68: { name: string, gender: Gender };
a68 = {
name: 'hello',
gender: Gender.Male
}
console.log(a68.gender === Gender.Male);
/* 7.类型别名 */
// 使用关键字type
type myType = 1 | 2 | 3 | 4 | 5;
let k: myType;
let l: myType;
let m: myType;
k = 2;
// k = 6 // error!
/* 8.类型断言 */
// 类型断言，用来帮助编译器判断变量的实际类型
/*
* 语法：
* 变量 as 类型
* <类型>变量
*
* */
// 有些情况下，变量的类型对于我们来说是很明确
// 但是TS编译器却并不清楚
// 此时，可以通过类型断言来告诉编译器变量的类型
// 断言有两种形式：
// 8.1：变量 as 类型
let someValue: unknown = "this is a string";
let strLength: number = (someValue as string).length;
// 8.2：<类型>变量
let strLength2: number = (<string>someValue).length;
