ts代碼編譯運行

A. 03 Puerts for Unity 搭建 Ts 編譯環境

在上兩節中，腳本文件內容一直都是 Js。Ts 作為 Js 的超集，不能直接丟進 V8 中運行，其在運行時仍然是以 Js 形式出現的。

所以，還需要搭建 Ts -> Js 的編譯環境。

Ts 編譯器有很多。例如：tsc（親兒子）、esbuild、swc 等...

這里將介紹兩種方案：

可以將以下內容，復制到初始化好的 package.json 中。

這里稍對其內容稍作介紹

在項目目錄下運行 yarn 或 npm install 來拉取依賴到本地，拉取到的所有的依賴都將保存在 node_moles 目錄中。

該文件用於配置 Ts 的 相關配置項

修改文件內容如下，稍後對參數稍作講解：

參數基本說明：

該配置文件主要有以下幾個作用：

對於該配置文件有以下幾個要求：

在 Assets/Editor/ 目錄下（沒有則手動創建該目錄），創建 PuertsConfig.cs 文件，內容如下：

出於輕量和速度考慮，且這里只需要對 Js 進行一些簡單處理，並不需要用到諸如 Webpack、Grunt、Gulp...這些強大的工具。

所以自己擼一個編譯相關的處理腳本，在項目根目錄下創建 Build.js ，其內容如下：

運行 yarn run watch:swc 或 yarn run watch:tsc 啟動監聽編譯，這樣 TypeScript 目錄下所有的 ts 文件有任何改動。都會實時編譯。

在 TypeScript/ 目錄下創建 main.ts 文件，內容如下：

看一下 Assets/StreamingAssets/Scripts/ 有應該有編譯出對應的 Js 文件，如果沒有可以嘗試重新保存一下文件或執行 yarn run build:tsc 手動編譯（只編譯一次）。

試著運行下游戲試試吧！

B. html使用ts

在運行html時要寬兆先編譯一下ts文件

TypeScript 只會在編譯時對類搏巧型型進行靜態檢查，如果發現有錯誤，編譯的時候就會報錯。而在運行時，與普通的 JavaScript 文基猜件一樣，不會對類型進行檢查。

C. ts 准備工作，及自動編譯

查詢typescript版本 ↓ (兩種方式)
①

②

因為瀏覽器無法直接解析ts文件，需要先將.ts文件編譯成.js文件。
可以手動編譯，也可以直接在編輯器內進行自動編譯的設置。

在ts文件的上級目錄下，小黑窗輸入 ↓

接著對vscode進行設置 ↓ 終端 --> 運行任務 --> tsc:監視

tada~~
准備工作已經做好，vscode也可自動編譯啦~

D. TypeScript 入門指南

新系列 深入淺出TypeScript 來了，本系列至少20+篇。本文為第一篇，來介紹一下TypeScript 以及常見的類型。

TypeScript是一門由微軟推出的開源的、跨平台的編程語言。它是JavaScript的超集，擴展了 JavaScript 的語法，最終會被編譯為JavaScript代碼。

TypeScript的主要特性：

TypeScript 主要是為了實現以下兩個目標：

下面就來看看這兩個目標是如何實現的。

為什麼要給JavaScript加上類型呢？

我們知道，JavaScript是一種輕量級的解釋性腳本語言。也是弱類型、動態類型語言，允許隱式轉換，只有運行時才能確定變數的類型。正是因為在運行時才能確定變數的類型，JavaScript代碼很多錯誤在運行時才能發現。TypeScript在JavaScript的基礎上，包裝了類型機制，使其變身成為 靜態類型 語言。在 TypeScript 中，不僅可以輕易復用 JavaScript 的代碼、最新特性，還能使用可選的靜態類型進行檢查報錯，使得編寫的代碼更健壯、更易於維護。

下面是 JavaScript 項目中最常見的十大錯誤，如果使用 TypeScript，那麼在 編寫階段 就可以發現並解決很多 JavaScript 錯誤了：

類型系統能夠提高代碼的質量和可維護性，經過不斷的實踐，以下兩點尤其需要注意：

可以認為，在所有操作符之前，TypeScript 都能檢測到接收的類型（在代碼運行時，操作符接收的是實際數據；在靜態檢測時，操作符接收的則是類型）是否被當前操作符所支持。當 TypeScript 類型檢測能力覆蓋到所有代碼後，任意破壞約定的改動都能被自動檢測出來，並提出類型錯誤。因此，可以放心地修改、重構業務邏輯，而不用擔憂因為考慮不周而犯下低級錯誤。

在一些語言中，類型總是有一些不必要的復雜的存在方式，而 TypeScript 盡可能地降低了使用門檻，它是通過如下方式來實現的。

TypeScript 與 JavaScript 本質並無區別，我們可以將 TypeScipt 理解為是一個添加了類型註解的 JavaScript，為JavaScript代碼提供了編譯時的類型安全。

實際上，TypeScript 是一門「 中間語言 」，因為它最終會轉化為JavaScript，再交給瀏覽器解釋、執行。不過 TypeScript 並不會破壞 JavaScript 原有的體系，只是在 JavaScript 的基礎上進行了擴展。

准確的說，TypeScript 只是將JavaScript中的方法進行了標准化處理：

這段代碼在TypeScript中就會報錯，因為TS會知道a是一個數字類型，不能將其他類型的值賦值給a，這種類型的推斷是很有必要的。

上面說了，TypeScript會盡可能安全的推斷類型。我們也可以使用類型注釋，以實現以下兩件事：

在一些語言中，類型總是有一些不必要的復雜的存在方式，而 TypeScript 的類型是結構化的。比如下面的例子中，函數會接受它所期望的參數：

為了便於把 JavaScript 代碼遷移至 TypeScript，即使存在編譯錯誤，在默認的情況下，TypeScript 也會盡可能的被編譯為 JavaScript 代碼。因此，我們可以將JavaScript代碼逐步遷移至 TypeScript。

雖然 TypeScript 是 JavaScript 的超集，但它始終緊跟ECMAScript標准，所以是支持ES6/7/8/9 等新語法標準的。並且，在語法層面上對一些語法進行了擴展。TypeScript 團隊也正在積極的添加新功能的支持，這些功能會隨著時間的推移而越來越多，越來越全面。

雖然 TypeScript 比較嚴謹，但是它並沒有讓 JavaScript 失去其靈活性。TypeScript 由於兼容 JavaScript 所以靈活度可以媲美 JavaScript，比如可以在任何地方將類型定義為 any（當然，並不推薦這樣使用），畢竟 TypeScript 對類型的檢查嚴格程度是可以通過 tsconfig.json 來配置的。

在搭建TypeScript環境之前，先來看看適合TypeScript的IDE，這里主要介紹Visual Studio Code，筆者就一直使用這款編輯器。

VS Code可以說是微軟的親兒子了，其具有以下優勢：

因為 VS Code 中內置了特定版本的 TypeScript 語言服務，所以它天然支持 TypeScript 語法解析和類型檢測，且這個內置的服務與手動安裝的 TypeScript 完全隔離。因此， VS Code 支持在內置和手動安裝版本之間動態切換語言服務，從而實現對不同版本的 TypeScript 的支持。

如果當前應用目錄中安裝了與內置服務不同版本的 TypeScript，我們就可以點擊 VS Code 底部工具欄的版本號信息，從而實現 「use VS Code's Version」 和 「use Workspace's Version」 兩者之間的隨意切換。

除此之外，VS Code 也基於 TypeScript 語言服務提供了准確的代碼自動補全功能，並顯示詳細的類型定義信息，大大的提升了我們的開發效率。

1）全局安裝TypeScript：

2）初始化配置文件：

執行之後，項目根目錄會出現一個 tsconfig.json 文件，裡麵包含ts的配置項（可能因為版本不同而配置略有不同）。

可以在 package.json 中加入script命令：

3）編譯ts代碼：

TSLint 是一個通過 tslint.json 進行配置的插件，在編寫TypeScript代碼時，可以對代碼風格進行檢查和提示。如果對代碼風格有要求，就需要用到TSLint了。其使用步驟如下： （1）在全局安裝TSLint：

（2）使用TSLint初始化配置文件：

執行之後，項目根目錄下多了一個 tslint.json 文件，這就是TSLint的配置文件了，它會根據這個文件對代碼進行檢查，生成的 tslint.json 文件有下面幾個欄位：

這些欄位的含義如下；

在說TypeScript數據類型之前，先來看看在TypeScript中定義數據類型的基本語法。

在語法層面，預設類型註解的 TypeScript 與 JavaScript 完全一致。因此，可以把 TypeScript 代碼的編寫看作是為 JavaScript 代碼添加類型註解。

在 TypeScript 語法中，類型的標注主要通過類型後置語法來實現：「 變數: 類型 」

在 JavaScript 中，原始類型指的是 非對象且沒有方法 的數據類型，包括：number、boolean、string、null、undefined、symbol、bigInt。

它們對應的 TypeScript 類型如下：

JavaScript原始基礎類型TypeScript類型 numbernumber booleanboolean stringstring nullnull undefinendefined symbolsymbol bigIntbigInt

需要注意 number 和 Number 的區別：TypeScript中指定類型的時候要用 number ，這是TypeScript的類型關鍵字。而 Number 是 JavaScript 的原生構造函數，用它來創建數值類型的值，這兩個是不一樣的。包括 string 、 boolean 等都是TypeScript的類型關鍵字，而不是JavaScript語法。

TypeScript 和 JavaScript 一樣，所有數字都是 浮點數 ，所以只有一個 number 類型。

TypeScript 還支持 ES6 中新增的二進制和八進制字面量，所以 TypeScript 中共支持 2、8、10和16 這四種進制的數值：

字元串類型可以使用單引號和雙引號來包裹內容，但是如果使用 Tslint 規則，會對引號進行檢測，使用單引號還是雙引號可以在 Tslint 規則中進行配置。除此之外，還可以使用 ES6 中的模板字元串來拼接變數和字元串會更為方便。

類型為布爾值類型的變數的值只能是true或者false。除此之外，賦值給布爾值的值也可以是一個計算之後結果為布爾值的表達式：

在 JavaScript 中，undefined和 null 是兩個基本數據類型。在 TypeScript 中，這兩者都有各自的類型，即 undefined 和 null，也就是說它們既是實際的值，也是類型。這兩種類型的實際用處不是很大。

注意，第一行代碼可能會報一個tslint的錯誤： Unnecessary initialization to 'undefined' ，就是不能給一個變數賦值為undefined。但實際上給變數賦值為undefined是完全可以的，所以如果想讓代碼合理化，可以配置tslint，將" no-unnecessary-initializer "設置為 false 即可。

默認情況下，undefined 和 null 是所有類型的子類型，可以賦值給任意類型的值，也就是說可以把 undefined 賦值給 void 類型，也可以賦值給 number 類型。當在 tsconfig.json 的"compilerOptions"里設置為 "strictNullChecks": true 時，就必須嚴格對待了。這時 undefined 和 null 將只能賦值給它們自身或者 void 類型。這樣也可以規避一些錯誤。

BigInt是ES6中新引入的數據類型，它是一種內置對象，它提供了一種方法來表示大於 2- 1 的整數，BigInt可以表示任意大的整數。

使用 BigInt 可以安全地存儲和操作大整數，即使這個數已經超出了JavaScript構造函數 Number 能夠表示的安全整數范圍。

我們知道，在 JavaScript 中採用雙精度浮點數，這導致精度有限，比如 Number.MAX_SAFE_INTEGER 給出了可以安全遞增的最大可能整數，即 2- 1 ，來看一個例子:

可以看到，最終返回了true，這就是超過精讀范圍造成的問題，而 BigInt 正是解決這類問題而生的:

這里需要用 BigInt(number) 把 Number 轉化為 BigInt ，同時如果類型是 BigInt ，那麼數字後面需要加 n 。

在TypeScript中， number 類型雖然和 BigInt 都表示數字，但是實際上兩者類型是完全不同的:

symbol我們平時用的比較少，所以可能了解也不是很多，這里就詳細來說說symbol。

symbol 是 ES6 新增的一種基本數據類型，它用來表示獨一無二的值，可以通過 Symbol 構造函數生成。

注意：Symbol 前面不能加 new關鍵字，直接調用即可創建一個獨一無二的 symbol 類型的值。

可以在使用 Symbol 方法創建 symbol 類型值的時候傳入一個參數，這個參數需要是一個字元串。如果傳入的參數不是字元串，會先自動調用傳入參數的 toString 方法轉為字元串：

上面代碼的第三行可能會報一個錯誤：This condition will always return 'false' since the types 'unique symbol' and 'unique symbol' have no overlap. 這是因為編譯器檢測到這里的 s1 === s2 始終是false，所以編譯器提醒這代碼寫的多餘，建議進行優化。

上面使用Symbol創建了兩個symbol對象，方法中都傳入了相同的字元串，但是兩個symbol值仍然是false，這就說明了 Symbol 方法會返回一個獨一無二的值。Symbol 方法傳入的這個字元串，就是方便我們區分 symbol 值的。可以調用 symbol 值的 toString 方法將它轉為字元串：

在TypeScript中使用symbol就是指定一個值的類型為symbol類型：

在ES6中，對象的屬性是支持表達式的，可以使用於一個變數來作為屬性名，這對於代碼的簡化有很多用處，表達式必須放在大括弧內：

symbol 也可以作為屬性名，因為symbol的值是獨一無二的，所以當它作為屬性名時，不會與其他任何屬性名重復。當需要訪問這個屬性時，只能使用這個symbol值來訪問（必須使用方括弧形式來訪問）：

在使用obj.name訪問時，實際上是字元串name，這和訪問普通字元串類型的屬性名是一樣的，要想訪問屬性名為symbol類型的屬性時，必須使用方括弧。方括弧中的name才是我們定義的symbol類型的變數name。

使用 Symbol 類型值作為屬性名，這個屬性是不會被 for…in遍歷到的，也不會被 Object.keys() 、 Object.getOwnPropertyNames() 、 JSON.stringify() 等方法獲取到：

雖然這些方法都不能訪問到Symbol類型的屬性名，但是Symbol類型的屬性並不是私有屬性，可以使用 Object.getOwnPropertySymbols 方法獲取對象的所有symbol類型的屬性名：

除了這個方法，還可以使用ES6提供的 Reflect 對象的靜態方法 Reflect.ownKeys ，它可以返回所有類型的屬性名，Symbol 類型的也會返回：

Symbol 包含兩個靜態方法， for 和 keyFor 。 1）Symbol.for()

用Symbol創建的symbol類型的值都是獨一無二的。使用 Symbol.for 方法傳入字元串，會先檢查有沒有使用該字元串調用 Symbol.for 方法創建的 symbol 值。如果有，返回該值；如果沒有，則使用該字元串新創建一個。使用該方法創建 symbol 值後會在全局范圍進行注冊。

上面代碼中，創建了一個iframe節點並把它放在body中，通過這個 iframe 對象的 contentWindow 拿到這個 iframe 的 window 對象，在 iframe.contentWindow上添加一個值就相當於在當前頁面定義一個全局變數一樣。可以看到，在 iframe 中定義的鍵為 TypeScript 的 symbol 值在和在當前頁面定義的鍵為'TypeScript'的symbol 值相等，說明它們是同一個值。

2）Symbol.keyFor() 該方法傳入一個 symbol 值，返回該值在全局注冊的鍵名：

看完簡單的數據類型，下面就來看看比較復雜的數據類型，包括JavaScript中的數組和對象，以及TypeScript中新增的元組、枚舉、Any、void、never、unknown。

在 TypeScript 中有兩種定義數組的方式：

以上兩種定義數組類型的方式雖然本質上沒有任何區別，但是更推薦使用第一種形式來定義。一方面可以避免與 JSX 語法沖突，另一方面可以減少代碼量。

注意，這兩種寫法中的 number 指定的是數組元素的類型，也可以在這里將數組的元素指定為其他任意類型。如果要指定一個數組里的元素既可以是數值也可以是字元串，那麼可以使用這種方式： number|string[] 。

在JavaScript中，object是引用類型，它存儲的是值的引用。在TypeScript中，當想讓一個變數或者函數的參數的類型是一個對象的形式時，可以使用這個類型：

可以看到，當給一個對象類型的變數賦值一個對象時，就會報錯。對象類型更適合以下場景:

在 JavaScript 中並沒有元組的概念，作為一門動態類型語言，它的優勢是支持多類型元素數組。但是出於較好的擴展性、可讀性和穩定性考慮，我們通常會把不同類型的值通過鍵值對的形式塞到一個對象中，再返回這個對象，而不是使用沒有任何限制的數組。TypeScript 的元組類型正好彌補了這個不足，使得定義包含固定個數元素、每個元素類型未必相同的數組成為可能。

元組可以看做是數組的擴展，它表示已知元素數量和類型的數組，它特別適合用來實現多值返回。確切的說，就是已知數組中每一個位置上的元素的類型，可以通過元組的索引為元素賦值：：

可以看到，定義的arr元組中，元素個數和元素類型都是確定的，當為arr賦值時，各個位置上的元素類型都要對應，元素個數也要一致。

當訪問元組元素時，TypeScript也會對元素做類型檢查，如果元素是一個字元串，那麼它只能使用字元串方法，如果使用別的類型的方法，就會報錯。

在TypeScript 新的版本中，TypeScript會對元組做越界判斷。超出規定個數的元素稱作越界元素，元素賦值必須類型和個數都對應，不能超出定義的元素個數。

這里定義了介面 Tuple ，它繼承數組類型，並且數組元素的類型是 number 和 string 構成的聯合類型，這樣介面 Tuple 就擁有了數組類型所有的特性。並且指定索引為0的值為 string 類型，索引為1的值為 number 類型，同時指定 length 屬性的類型字面量為 2，這樣在指定一個類型為這個介面 Tuple 時，這個值必須是數組，而且如果元素個數超過2個時，它的length就不是2是大於2的數了，就不滿足這個介面定義了，所以就會報錯；當然，如果元素個數不夠2個也會報錯，因為索引為0或1的值缺失。

TypeScript 在 ES 原有類型基礎上加入枚舉類型，使得在 TypeScript 中也可以給一組數值賦予名字，這樣對開發者比較友好。枚舉類型使用enum來定義：

上面定義的枚舉類型的Roles，它有三個值，TypeScript會為它們每個值分配編號，默認從0開始，在使用時，就可以使用名字而不需要記數字和名稱的對應關系了：

除此之外，還可以修改這個數值，讓SUPER_ADMIN = 1，這樣後面的值就分別是2和3。當然還可以給每個值賦予不同的、不按順序排列的值：

我們可以將一個值定義為any類型，也可以在定義數組類型時使用any來指定數組中的元素類型為任意類型：

any 類型會在對象的調用鏈中進行傳導，即any 類型對象的任意屬性的類型都是 any，如下代碼所示：

需要注意：不要濫用any類型，如果代碼中充滿了any，那TypeScript和JavaScript就毫無區別了，所以除非有充足的理由，否則應該盡量避免使用 any ，並且開啟禁用隱式 any 的設置。

void 和 any 相反，any 是表示任意類型，而 void 是表示沒有類型，就是什麼類型都不是。這在 定義函數，並且函數沒有返回值時會用到 ：

需要注意： void 類型的變數只能賦值為 undefined 和 null ，其他類型不能賦值給 void 類型的變數。

never 類型指永遠不存在值的類型，它是那些 總會拋出異常 或 根本不會有返回值的函數表達式的返回值 類型，當變數被永不為真的類型保護所約束時，該變數也是 never 類型。

下面的函數，總是會拋出異常，所以它的返回值類型是never，用來表明它的返回值是不存在的：

never 類型是任何類型的子類型，所以它可以賦值給任何類型；而沒有類型是 never 的子類型，所以除了它自身以外，其他類型（包括 any 類型）都不能為 never 類型賦值。

上面代碼定義了一個立即執行函數，函數體是一個死循環，這個函數調用後的返回值類型為 never，所以賦值之後 neverVariable 的類型是 never 類型，當給neverVariable 賦值 123 時，就會報錯，因為除它自身外任何類型都不能賦值給 never 類型。

基於 never 的特性，我們可以把 never 作為介面類型下的屬性類型，用來禁止操作介面下特定的屬性：

可以看到，無論給 props.name 賦什麼類型的值，它都會提示類型錯誤，這就相當於將 name 屬性設置為了只讀 。

unknown 是TypeScript在3.0版本新增的類型，主要用來描述類型並不確定的變數。它看起來和any很像，但是還是有區別的，unknown相對於any更安全。

對於any，來看一個例子：

上面這些語句都不會報錯，因為value是any類型，所以後面三個操作都有合法的情況，當value是一個對象時，訪問name屬性是沒問題的；當value是數值類型的時候，調用它的toFixed方法沒問題；當value是字元串或數組時獲取它的length屬性是沒問題的。

當指定值為unknown類型的時候，如果沒有 縮小類型範圍 的話，是不能對它進行任何操作的。總之，unknown類型的值不能隨便操作。那什麼是類型範圍縮小呢？下面來看一個例子：

這里由於把value的類型縮小為Date實例的范圍內，所以進行了value.toISOString()，也就是使用ISO標准將 Date 對象轉換為字元串。

使用以下方式也可以縮小類型範圍：

關於 unknown 類型，在使用時需要注意以下幾點：

在實際使用中，如果有類型無法確定的情況，要盡量避免使用 any，因為 any 會丟失類型信息，一旦一個類型被指定為 any，那麼在它上面進行任何操作都是合法的，所以會有意想不到的情況發生。因此如果遇到無法確定類型的情況，要先考慮使用 unknown。

E. vscode怎麼運行代碼

1、通過快捷方式打開Visual Studio Code工具，然後新建靜態頁面。

F. ts類型斷言(二)

一、將任何一個類型斷言為any

ts 的類型系統運轉良好，每個值類型都具體而精確。當我們引用一個在此類型 上不存在的屬性或方法時，就會報錯:

上面的例子中，數字類型的變數 num 是沒有length 屬性的，故ts給出了相應的錯誤提示。

但有的時候，我們非常確定這段代碼不會出錯，比如下面這個例子:

上面的例子中，我們需要將window.上添加一個屬性 num,但ts編譯時會報錯，提示我們window上不存在nun屬性。 此時我們可以使用 as any 臨時將 window 斷言為 any 類型

在any類型的變數上，訪問任何屬性都是允許的。

注意 ：將一個變數斷言為any可以說是解決ts中類型問題的最後一個手段。 它極有可能掩蓋了真正的類型錯誤。 如果不是非常確定，就不要使用 as any

我們不能濫用 as any ， 也不要否定它的作用

二、將any斷言為一個具體的類型

在開發中，我們不可避免需要處理any類型的變數，它們可能是由於第三方庫未能定義好自己的類型，也有可能是 歷史 遺留的或其他人編寫的爛代碼，還可能是受到ts類型系統的限制而無法精確定義類型的場景。

遇到any類型的變數時，我們可以選擇無視它，任由它滋生更多的any。

我們也可以選擇改進它，通過類型斷言及時把any斷言為精確的類型，亡羊補牢，使我們的代碼向著高可維護性的目標發展。

例如項目之前定義了一個 getCalander,它的返回值是any:

那麼我們在使用它時，最好能夠將調用了它之後的返回值斷言成一個精確的類型， 這樣就方便了後續的操作:

選擇語言

上面的例子中，我們調用完getCalander之後，將它斷言為CalanderType類型,從而明確getCurrentDate的類型，後續對getCurrentDate的訪問時就有了代碼補全，提高承俄碼以可維護性。

三、類型斷言的限制

根據之前的例子，我們可以得出：

1、聯合類型可以被斷言為其中一個類型

2、父類可以被斷言為子類

3、任何類型都可以被斷言為any

4、 any 可以被斷言為任何類型

那麼類型斷言有沒有什麼限制呢?是不是任何一個類型都可以被斷言為任何另一個類型呢?

其實並不是任何一個類型都可以被斷言為任何另一個類型。

具體來說，若A兼容B,那麼A能夠被斷言為B，B也能被斷言為A。

下面我們通過一個簡化的例子，來理解類型斷言的限制:

上例是可以斷言的，我們再看看下面的栗子:

這個時候會提示錯誤，兩者不能充分重疊，這意味要想斷言成功，還必須具備有一個條件:

即：要使得A能夠被斷言為B,只需要A兼容B或B兼容A即可

四、雙重斷言(不建議使用)

」任何類型都可以被斷言為any ， any 可以被斷言為任何類型

那麼我們是不是可以使用雙重斷言 xxx as any as xxx 將任何一個類型斷言為任何另一個類型呢?

在上面的例子中，若直接使用mySelf as Fish肯定會報錯，因為mySelf 和Fish 互相都不兼容。

若使用雙重斷言，則可以打破「要使得A能夠被斷言為B,只需要A兼容B或B兼容A即可」的限制，將任何一個類型斷言為任何另一個類型到若你使用了這種雙重斷言，那麼十有八九是非常錯誤的，它很可能會導致運行時錯誤。