TypeScript保姆級基礎教程

什麼是 TypeScript?

TypeScript,簡稱 ts,是微軟開發的一種靜態的編程語言,它是 JavaScript 的超集。 那麼它有什麼特別之處呢?

  • 簡單來說,js 有的 ts 都有,所有js 代碼都可以在 ts 裡面運行。
  • ts 支持類型支持,ts = type +JavaScript。

那麼 ts 和 js 有什麼區別呢?

JavaScript 屬於動態編程語言,而ts 屬於靜態編程語言。

js:邊解釋邊執行,錯誤隻有在運行的時候才能發現

ts:先編譯再執行,在寫的時候就會發現錯誤瞭(ts不能直接執行,需要先編譯成 js )

ts 完全支持 js ,可以直接轉換

ts 有類型支持,有強大的代碼類型提示

相信大傢現在對 ts 有一個基本的瞭解瞭,那麼它應該怎麼使用呢? 首先先做一些簡單的準備工作:

  • 下載一個全局的包
npm i  -g  typescript
#或者
yarn  global add  typescript
  • 打開cmd 輸入命令 tsc -v 查看包是否下載成功

當 cmd 輸入指令出現版本號,就說明下載成功啦

首先打開 vscode, 新建一個 .ts文件。

如 hello.ts

接下來就可以書寫 ts 的代碼啦!

  • 新建文件,如 hello.ts。(ts文件的後綴名都是 .ts哦)
  • 書寫代碼

編譯代碼:在終端輸入 tsc ./hello.ts, 會自動生成一個js 文件,接下來就可以用 node 命名來運行js 的文件,在瀏覽器打開看效果啦

如果不想下載包的話,也可以在線運行,鏈接如下: 在線運行 接下來瞭解一下 ts 的類型註解

什麼是類型註解?

就是給變量添加類型約束,可以顯示標記出代碼中的意外行為,從而降低瞭發生錯誤的可能性 語法:

let 變量名: 類型 = 初始值
let age: number = 18

這樣寫有啥好處捏?更好的規定瞭數據的類型,避免瞭不必要的錯誤。 如果你不小心寫錯瞭,他會直接提示你類型錯誤哦。是不是很貼心呢?

代碼中的 : number 就是類型註解。

註:這裡的代碼錯誤提示,我是下載瞭一個插件才有的。如果大傢也想有提示的話,可以在 vscode 裡面下載。我把插件的截圖貼在下面。

ts 的類型

ts 的常用基礎類型分為兩種: js 已有類型

原始類型:number/string/boolean/null/undefined/symbol

對象類型:object(包括,數組、對象、函數等對象)

ts 新增類型

  • 聯合類型
  • 自定義類型(類型別名)
  • 接口
  • 元組
  • 字面量類型
  • 枚舉
  • void
  • any
  • 等等

原始類型: number/string/boolean/null/undefined/symbol 語法比較簡單

基本和 js 差別不大

// 數值類型
let age: number = 18
// 字符串類型
let myName: string = '小花'
// 佈爾類型
let isLoading: boolean = false
// undefined
let un: undefined = undefined
// null
let timer:null = null
// symbol
let uniKey:symbol = Symbol()

類型推論 在 TS 中,某些沒有明確指定類型的情況下,TS 的類型推論機制會自動提供類型。好處:由於類型推論的存在,有些情況下的類型註解可以省略不寫 有如下兩種場景:

  • 聲明變量並初始化時

  • 決定函數返回值時

已知函數的兩個參數都是number類型,那麼該函數的返回值也是 number 類型。

聯合類型

需求:如何定義一個變量可以是null也可以是 number 類型? 這個時候,前面所學的已經不能滿足我們的需求瞭,就需要用到一個新的類型 – 組合類型。 語法:

let 變量: 類型1 | 類型2 | 類型3 .... = 初始值
let arr1 :number | string = 1 // 可以寫兩個類型

註意: 這裡的 | 豎線,在 TS 中叫做聯合類型,即:由兩個或多個其他類型組成的類型,表示可以是這些類型中的任意一種。不要和 js 中的 || 搞混哦。 應用場景: 定時器id

// | 聯合類型  變量可以是兩種類型之一
let timer:number|null = null
timer = setTimeout()

類型別名

在我們定義類型的時候,有時候自己定義的類型名往往很長,這個時候就需要在定義個別名,方便書寫。 語法:

type 別名 = 類型
type s = string // 定義
const str1:s = 'abc'
const str2:string = 'abc'

作用:

  • 給類型起別名
  • 定義瞭新類型

使用場景:給復雜的類型起個別名

 type NewType = string | number
 let a: NewType = 1
 let b: NewType = '1'

註意:別名可以是任意的合法字符串,一般首字母大寫

數組類型

語法:

// 寫法1:
let 變量: 類型[] = [值1,...]:
let numbers: number[] = [1, 3, 5] 
//  numbers必須是數組,每個元素都必須是數字
// 寫法2:
let 變量: Array<類型> = [值1,...]
let strings: Array<string> = ['a', 'b', 'c'] 
//  strings必須是數組,每個元素都必須是字符串

函數

函數涉及的類型實際上指的是:函數參數和返回值的類型

定義單個函數

語法:

// 普通函數
function 函數名(形參1: 類型=默認值, 形參2:類型=默認值,...): 返回值類型 { }
// 聲明式實際寫法:
function add(num1: number, num2: number): number {
  return num1 + num2
}
// 箭頭函數
const 函數名(形參1: 類型=默認值, 形參2:類型=默認值, ...):返回值類型 => { }
const add2 = (a: number =100, b: number = 100): number =>{
   return a + b
 }
 // 註意: 箭頭函數的返回值類型要寫在參數小括號的後面
add(1,'1') // 報錯

統一定義函數格式

當函數的類型一致時,寫多個就會顯得代碼冗餘,所以需要統一定義函數的格式 如下所示:

const add2 = (a: number =100, b: number = 100): number => {
    return a + b
  }
function add1 (a:number = 100 , b: number = 200): number {
    return a + b
  }
// 這裡的 add1 和 add2 的參數類型和返回值一致,
// 那麼就可以統一定義一個函數類型
type Fn = (n1:number,n2:number) => number 
const add3 : Fn = (a,b)=>{return a+b }
// 這樣書寫起來就簡單多啦

函數返回值類型void

在 ts 中,如果一個函數沒有返回值,應該使用 void 類型

function greet(name: string): void {  console.log('Hello', name)  //}

可以用到void 有以下幾種情況

  • 函數沒寫return
  • 隻寫瞭 return, 沒有具體的返回值
  • return 的是 undefined
// 如果什麼都不寫,此時,add 函數的返回值類型為: void
const add = () => {}
// 如果return之後什麼都不寫,此時,add 函數的返回值類型為: void
const add = () => { return }
const add = (): void => {
  // 此處,返回的 undefined 是 JS 中的一個值
  return undefined
}
// 這種寫法是明確指定函數返回值類型為 void,與上面不指定返回值類型相同
const add = (): void => {}

那麼就有人好奇,既然return undefined,那麼為什麼不可以直接在返回值那裡寫 :undefined 呢? 如果函數沒有指定返回值,調用結束之後,值是undefined的,但是不能直接聲明返回值是undefined

function add(a:number, b:number): undefined { // 這裡會報錯
  console.log(a,b)
}

函數-可選參數

使用函數實現某個功能時,參數可以傳也可以不傳。

例如:數組的 slice 方法,可以 slice() 也可以 slice(1) 還可以 slice(1, 3) 那麼就可以定義可選參數 語法:

//可選參數:在可選參數名的後面添加 ?(問號)
function slice (a?: number, b?: number) {
    // ? 跟在參數名字的後面,表示可選的參數
    // 註意:可選參數隻能在 必須參數的後面
    // 如果可選參數在必選參數的前面,會報錯
    console.log(111);
  }
  slice()
  slice(1)
  slice(1,2)
}

可選和默認值的區別

相同點: 調用函數時,可以少傳參數

區別:設置瞭默認值之後,就是可選的瞭,不寫就會使用默認值; 可選的參數一定有值。

註意:它們不能一起使用。優先使用默認值

對象類型-單獨使用

格式: 方法有兩種寫法: 普通函數 和 箭頭函數

const 對象名: {
  屬性名1:類型1,
  屬性名2?:類型2,
  方法名1(形參1: 類型1,形參2: 類型2): 返回值類型,
  方法名2:(形參1: 類型1,形參2: 類型2) => 返回值類型
} = { 屬性名1: 值1,屬性名2:值2  }

對象類型-類型別名

// 創建類型別名
type Person = {
  name: string,
  age: number
  sayHi(): void
}
// 使用類型別名作為對象的類型:
let person: Person = {
  name: '小花',
  age: 18
  sayHi() {}
}

接口

當一個對象類型被多次使用時,有如下兩種方式來來描述對象的類型,以達到復用的目的:

  • 類型別名,type
  • 接口,interface

語法:

interface 接口名  {屬性1: 類型1, 屬性2: 類型2}
// 這裡用 interface 關鍵字來聲明接口
interface IGoodItem  {
	// 接口名稱(比如,此處的 IPerson),可以是任意合法的變量名稱,推薦以 `I` 開頭
   name: string, price: number, func: ()=>string
}
// 聲明接口後,直接使用接口名稱作為變量的類型
const good1: IGoodItem = {
   name: '手表',
   price: 200,
   func: function() {
       return '看時間'
   }
}
const good2: IGoodItem = {
    name: '手機',
    price: 2000,
    func: function() {
        return '打電話'
    }
}

接口和類型 的區別 interface(接口)和 type(類型別名)的對比:

  • 相同點:都可以給對象指定類型
  • 不同點:
    • 接口,隻能為對象指定類型。它可以繼承。
    • 類型別名,不僅可以為對象指定類型,實際上可以為任意類型指定別名

先有的 interface,後有的 type,推薦使用 type

// 接口的寫法-------------
interface IPerson {
	name: string,
	age: number
}
const user1:IPerson = {
	name: 'a',
	age: 20
}
// type的寫法-------------
type Person  = {
	name: string,
	age: number
}
const user2:Person = {
	name: 'b',
	age: 20
}

接口繼承

如果兩個接口之間有相同的屬性或方法,可以將公共的屬性或方法抽離出來,通過繼承來實現復用 語法:

interface 接口2 extends 接口1 {
 屬性1: 類型1, // 接口2中特有的類型 
 }
interface a { x: number; y: number }
// 繼承 a
// 使用 extends(繼承)關鍵字實現瞭接口
interface b extends a {
  z: number
}
// 繼承後,b 就有瞭 a 的所有屬性和方法(此時,b 同時有 x、y、z 三個屬性)

元組

元組是一種特殊的數組。有兩點特殊之處

  • 它約定瞭的元素個數

  • 它約定瞭特定索引對應的數據類型

舉個例子: 就拿 react 裡面的 useState來舉例:

function useState(n: number): [number, (number)=>void] {
        const setN = (n1) => {
            n = n1
        }
        return [n, setN]
    }
const [num ,setNum] = useState(10)

字面量類型

例如下面的代碼

let str1 = 'hello TS'
const str2 = 'hello TS'

大傢可以猜一下,str1 是什麼類型的,str2 是什麼類型?不要偷偷看答案哦。

這裡是正確答案: str1 的類型為 string 類型,str2 的類型為 Hello TS類型

這是為啥呢?

  • str1 是一個變量(let),它的值可以是任意字符串,所以類型為:string
  • str2 是一個常量(const),它的值不能變化隻能是 'hello TS',所以,它的類型為:'hello TS'

註意:此處的 'Hello TS',就是一個字面量類型,也就是說某個特定的字符串也可以作為 TS 中的類型

這時候就有人好奇瞭,那字面量類型有啥作用呢? 字面量類型一般是配合聯合類型一起使用的, 用來表示一組明確的可選值列表。 例如下面的例子:

type Gender = 'girl' | 'boy'
// 聲明一個類型,他的值 是 'girl' 或者是 'boy'
let g1: Gender = 'girl' // 正確
let g2: Gender = 'boy' // 正確
let g3: Gender = 'man' // 錯誤

可以看到會有提示,明確告訴你隻能選這兩種。媽媽再也不用擔心寫錯啦

枚舉

枚舉(enum)的功能類似於字面量類型+聯合類型組合的功能,來描述一個值,該值隻能是 一組命名常量 中的一個。 在沒有 type 的時候,大傢都是用枚舉比較多的,現在比較少瞭。 語法:

enum 枚舉名 { 可取值1, 可取值2,.. }
// 使用格式:
枚舉名.可取值

註意:

  • 一般枚舉名稱以大寫字母開頭
  • 枚舉中的多個值之間通過 ,(逗號)分隔
  • 定義好枚舉後,直接使用枚舉名稱作為類型註解

枚舉也分數值枚舉 和 字符串枚舉。 數值枚舉: 默認情況下,枚舉的值是數值。默認為:從 0 開始自增的數值 當然,也可以給枚舉中的成員初始化值

enum Direction { Up = 10, Down, Left, Right }
// Down -> 11、Left -> 12、Right -> 13
enum Direction { Up = 2, Down = 3, Left = 8, Right = 16 }

字符串枚舉:

enum Direction {
  Up = 'UP',
  Down = 'DOWN',
  Left = 'LEFT',
  Right = 'RIGHT'
}

註意:字符串枚舉沒有自增長行為,因此,字符串枚舉的每個成員必須有初始值

any 類型

any: 任意的。當類型設置為 any 時,就取消瞭類型的限制。 例如:

let obj: any = { x: 0 }
obj.bar = 100
obj()
// obj 可以是任意類型
const n: number = obj

使用any的場景

  • 函數就是不挑類型。 例如,console.log() ; 定義一個函數,輸入任意類型的數據,返回該數據類型
  • 臨時使用 any 來“避免”書寫很長、很復雜的類型

還有一種隱式 any,有下面兩種情況會觸發

  • 聲明變量不提供類型也不提供默認值
  • 定義函數時,參數不給類型

註意:不推薦使用 any!這會讓 TypeScript 變為 “AnyScript”(失去 TS 類型保護的優勢)

類型介紹這邊就不一一展開瞭,更多介紹請看查閱官網。TypeScript官方文檔

以上就是TypeScript保姆級教程的詳細內容,更多關於TypeScript教程的資料請關註WalkonNet其它相關文章!

推薦閱讀: