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其它相關文章!
推薦閱讀:
- TypeScript基本類型之typeof和keyof詳解
- 分享Typescript的13個基礎語法
- typescript快速上手的基礎知識篇
- TypeScript中定義變量方式以及數據類型詳解
- typeScript 核心基礎之接口interface