TypeScript 5.3 來了，一大波新特性
根據 TypeScript 路線圖，TypeScript 5.3 計劃于 11 月 14 日發布。
下面是該版本帶來的新特性：
- 導入屬性
- 導入類型中穩定支持 resolution-mode
- 所有模塊模式均支持 resolution-mode
- switch (true) 縮小范圍
- 對布爾值進行比較的縮小范圍
- 通過 Symbol.hasInstance 進行 instanceof 類型縮小
- 實例字段上的 super 屬性訪問檢查
- 嵌入提示支持跳轉到類型的定義
- 通過跳過 JSDoc 解析進行優化
- 通過比較非標準交集進行優化
- 整合 tsserverlibrary.js 和 typescript.js
導入屬性
TypeScript 5.3 支持導入屬性提案的最新更新。導入屬性的一個用例是向運行時提供有關模塊的預期格式的信息。
// 希望將這個文件解釋為 JSON 數據，而不是一個帶有 .json 擴展名的可執行/惡意的 JavaScript 文件。
import obj from "./something.json" with { type: "json" };這些屬性的內容不會被 TypeScript 檢查，因為它們是特定于宿主環境的，并且會被直接保留，以便瀏覽器和運行時環境可以處理它們（并可能會出現錯誤）。
// TypeScript 對此沒有問題，但是瀏覽器可能不支持。
import * as foo from "./foo.js" with { type: "fluffy bunny" };動態 import() 調用還可以通過第二個參數使用導入屬性。
const obj = await import("./something.json", {
with: { type: "json" }
});第二個參數的預期類型由名為 ImportCallOptions 的類型定義，該類型默認情況下只需要一個名為 with 的屬性。
注意，導入屬性是早期提案“導入斷言”的演進版本，該提案已在 TypeScript 4.5 中實現。最明顯的區別是使用 with 關鍵字而不是 assert 關鍵字。但不太明顯的區別在于，現在運行時可以自由地使用屬性來引導導入路徑的解析和解釋，而導入斷言只能在加載模塊后斷言某些特征。
隨著時間的推移，TypeScript 將逐漸棄用舊的導入斷言語法，并傾向于使用導入屬性的提案語法。現有使用 assert 的代碼應該遷移到使用 with 關鍵字。需要使用導入屬性的新代碼應該使用 with。
resolution-mode
導入類型中穩定支持 resolution-mode
在 TypeScript 4.7 中，TypeScript 增加了對 /// <reference types="..." /> 中的 resolution-mode 屬性的支持，以控制特定規范符號是應該通過 import 還是 require 語義進行解析。
/// <reference types="pkg" resolution-mode="require" />
// 或
/// <reference types="pkg" resolution-mode="import" />考慮到導入屬性可以引導解析，并且已經看到了合理的使用案例，TypeScript 5.3 現在支持 import type 的 resolution-mode 屬性。
// 以使用 `require()` 進行導入的方式解析 `pkg`
import type { TypeFromRequire } from "pkg" with {
"resolution-mode": "require"
};
// 以使用 `import` 進行導入的方式解析 `pkg`
import type { TypeFromImport } from "pkg" with {
"resolution-mode": "import"
};
export interface MergedType extends TypeFromRequire, TypeFromImport {}這些導入屬性也可以用于 import() 類型。
export type TypeFromRequire =
import("pkg", { with: { "resolution-mode": "require" } }).TypeFromRequire;
export type TypeFromImport =
import("pkg", { with: { "resolution-mode": "import" } }).TypeFromImport;
export interface MergedType extends TypeFromRequire, TypeFromImport {}所有模塊模式均支持 resolution-mode
以前，只有在 moduleResolution 選項為 node16 和 nodenext 時才允許使用 resolution-mode。為了更容易地專門查找用于類型的模塊，現在 resolution-mode 在所有其他 moduleResolution 選項中都能正常工作，比如 bundler、node10，在 classic 模式下則不會報錯。
類型縮小優化
switch (true)
現在 TypeScript 5.3 能夠根據 switch 中每個 case 子句的條件進行類型細化。
function f(x: unknown) {
switch (true) {
case typeof x === "string":
// 這里，'x' 是一個 'string'
console.log(x.toUpperCase());
case Array.isArray(x):
// 這里 'x' 是一個 'string | any[]'
console.log(x.length);
default:
// 這里 'x' 是 'unknown'
// ...
}
}布爾值比較
有時候你可能會在條件語句中直接與 true 或 false 進行比較。通常這些比較是不必要的，但可能出于代碼風格或避免 JavaScript 真值方面的某些問題而偏好這種寫法。然而，在之前的 TypeScript 版本中，它不能正確地識別這種形式來執行類型縮小。
TypeScript 5.3 現在在縮小變量范圍時可以跟上并理解這些表達式。
interface A {
a: string;
}
interface B {
b: string;
}
type MyType = A | B;
function isA(x: MyType): x is A {
return "a" in x;
}
function someFn(x: MyType) {
if (isA(x) === true) {
console.log(x.a); // works!
}
}Symbol.hasInstance
JavaScript 的一個特性是可以重寫 instanceof 運算符的行為。要實現這一點，需要在 instanceof 運算符右側的值上定義一個名為 Symbol.hasInstance 的特定方法。
class Weirdo {
static [Symbol.hasInstance](testedValue) {
return testedValue === undefined;
}
}
// false
console.log(new Thing() instanceof Weirdo);
// true
console.log(undefined instanceof Weirdo);為了更好地模擬 instanceof 運算符的行為，TypeScript 現在會檢查是否存在 [Symbol.hasInstance] 方法，并且該方法被聲明為類型斷言函數。如果存在這樣的方法，那么通過 instanceof 運算符對左側測試的值將會被相應地進行類型縮小。
interface PointLike {
x: number;
y: number;
}
class Point implements PointLike {
x: number;
y: number;
constructor(x: number, y: number) {
this.x = x;
this.y = y;
}
distanceFromOrigin() {
return Math.sqrt(this.x ** 2 + this.y ** 2);
}
static [Symbol.hasInstance](val: unknown): val is PointLike {
return !!val && typeof val === "object" &&
"x" in val && "y" in val &&
typeof val.x === "number" &&
typeof val.y === "number";
}
}
function f(value: unknown) {
if (value instanceof Point) {
// 可以訪問這兩個屬性 - 正確！
value.x;
value.y;
// 無法訪問這個屬性，有 'PointLike' 類型的對象，但實際上并沒有 'Point' 類型的對象。
value.distanceFromOrigin();
}
}在這個例子中，Point 定義了自己的 [Symbol.hasInstance]方法。它實際上充當了一個對稱為 PointLike 的獨立類型的自定義類型保護程序。在函數 f 中，我們能夠通過 instanceof 將 value 縮小到 PointLike 類型，但無法縮小到 Point 類型。這意味著可以訪問屬性 x 和 y，但無法訪問 distanceFromOrigin 方法。
實例字段上的 super 屬性訪問檢查
在 JavaScript 中，可以通過 super 關鍵字訪問基類中的聲明。
class Base {
someMethod() {
console.log("Base method called!");
}
}
class Derived extends Base {
someMethod() {
console.log("Derived method called!");
super.someMethod();
}
}
new Derived().someMethod();
// 輸出結果：
// Derived method called!
// Base method called!這與編寫像 this.someMethod() 這樣的代碼是不同的，因為那樣可能會調用一個被重寫的方法，如果一個聲明根本沒有被重寫，那么通常這兩種方式是可以互換的。
class Base {
someMethod() {
console.log("someMethod called!");
}
}
class Derived extends Base {
someOtherMethod() {
// These act identically.
this.someMethod();
super.someMethod();
}
}
new Derived().someOtherMethod();
// 輸出結果：
// someMethod called!
// someMethod called!問題在于這兩種方式是不能互換使用的，因為 super 只能用于在原型上聲明的成員，而不能用于實例屬性。這意味著如果你寫了 super.someMethod()，但 someMethod 被定義為一個字段，那么就會出現運行時錯誤！
class Base {
someMethod = () => {
console.log("someMethod called!");
}
}
class Derived extends Base {
someOtherMethod() {
super.someMethod();
}
}
new Derived().someOtherMethod();TypeScript 5.3 現在更仔細地檢查 super 屬性訪問/方法調用，以查看它們是否對應于類字段。如果是的話，現在會得到一個類型檢查錯誤。
嵌入提示支持跳轉到類型的定義
TypeScript 的嵌入提示現在支持跳轉到類型的定義！
按住 Ctrl 鍵單擊嵌入提示可跳轉至參數類型的定義。
通過跳過 JSDoc 解析進行優化
通過 tsc 運行 TypeScript 時，編譯器現在將避免解析 JSDoc。這不僅減少了解析時間，還減少了存儲注釋的內存使用量以及垃圾收集所花費的時間。可以在 --watch 模式下看到稍快的編譯速度和更快的反饋。
通過比較非標準交集進行優化
在 TypeScript 中，并集和交集始終遵循特定的形式，其中交集不能包含并集類型。這意味著當我們在 A & (B | C) 這樣的并集上創建交集時，該交集將被標準化為 (A & B) | （A & C）。盡管如此，在某些情況下，類型系統仍會出于顯示目的而保留原始形式。
舉個例子，假設我們有 SomeType & (Type1 | Type2 | ... | Type99999NINE)，我們想要確定它是否可以賦值給 SomeType，源類型是一個看起來像 (SomeType & Type1) | (SomeType & Type2) | ... |(SomeType & Type99999NINE) 的聯合類型。在檢查一個聯合類型是否可以賦值給某個目標類型時，必須檢查聯合類型的每個成員是否可以賦值給目標類型，這可能會非常慢。
在 TypeScript 5.3 中，當比較類型時，會快速檢查目標類型是否存在于源交集中的任何成員中。
整合 tsserverlibrary.js 和 typescript.js
TypeScript 本身提供了兩個庫文件：tsserverlibrary.js 和 typescript.js。在 tsserverlibrary.js 中只有特定的 API（例如 ProjectService API）。然而，這兩個是不同包，它們有許多重疊之處，在包中重復了很多代碼。更重要的是，由于自動導入或肌肉記憶，要始終一致地使用其中一個可能會很具有挑戰性。意外加載兩個模塊太容易了，代碼在不同的 API 實例上可能無法正常工作。即使它能夠正常工作，加載第二個包會增加資源使用率。
鑒于此，TypeScript 團隊決定整合兩者。 typescript.js 現在包含 tsserverlibrary.js 的內容，并且 tsserverlibrary.js 現在只是重新導出 typescript.js。整合之后，包大小減少了 20.5%。
