TypeScript 幹預：使用 Byzantium 打破運行時檢查成癮-js教程-PHP中文網

聽著，我們需要談談你的類型檢查癮。是的，您－在您的身分驗證中間件中進行了 47 個instanceof 檢查。編寫的測試案例多於實際程式碼的開發人員。將 TypeScript 視為只是花哨的 JSDoc 註釋的人。

幹預

讓我為你畫一幅圖畫：現在是中午，你正在喝第四杯咖啡，並且正在調試一個生產問題。日誌顯示使用者以某種方式通過了十五層運行時驗證。你的單元測試比 Twitter 的活躍用戶還要多，但不知何故，不知何故，有人設法在應該是字符串的地方發送了一個數字。

「但那是不可能的！」你哭了，滾動瀏覽測試覆蓋率報告，顯示原始的 100%。「我檢查過這個！」

你有嗎？你真的嗎？或者您只是將同一張支票寫了三次：

一旦進入 TypeScript 介面
再次在您的驗證中間件
再次在單元測試

停止測試 TypeScript 已經知道的內容

這是一個革命性的想法：如果我們......信任編譯器會怎麼樣？我知道，瘋狂的概念。但請聽我說完。

interface ValidRabbit {
    username: string;
    password: string;
}
interface InvalidRabbit {
    username: number;
    password: string;
}


type ValidateRabbit<Rabbit> = Assert<
    //assert that Rabbit is of type {username, password}
    Is.Type<
        User,
        {
            username: string;
            password: string;
        }
    >,
    //custom compile time exceptions
    "Trix are for kids. Provide a username and password.",
    User
>;

// Ha! Silly Rabbit...
function checkRabbit<T>(rabbit: ValidateRabbit<T>) {
    // .... protect your trix
}

declare const rabbit1: ValidRabbit;
declare const rabbit2: InvalidRabbit;

checkRabbit(rabbit1);
checkRabbit(rabbit2);
/**        ~~~~~~~~~
 *           └───── Type Exception! "...Provide a username and password"
 */

登入後複製

“但是生產呢？”

我現在可以聽到您的聲音：「但是如果有人向我的 API 發送無效的 JSON 怎麼辦？」

首先，誰傷害了你？其次，是的，驗證您的 API 邊界。但是，一旦該資料進入您的打字稿域，就該放手了。讓編譯器成為你的保鑣。

以下是拜占庭為您的信任問題聚會帶來的內容：

// Define your trust boundaries
type APIRequest<Request> = Assert<
    And<
    Is.On<Request, "body">,
    Or<Is.In<Request["method"], "POST">, Is.In<Request["method"], "PUT">>
>;,
    "Someone's being naughty with our API"
>;

// Now everything inside is type-safe
function handleRequest<R>(req: APIRequest<R>) {
    // If it compiles, it's valid
    // If it's valid, it compiles
    // This is the way
}

登入後複製

DevOps 團隊會愛你（一次）

想像一下：您的 CI/CD 管道在幾分鐘內完成，而不是幾小時。您的生產日誌中不會充滿類型錯誤。您的 AWS 帳單看起來不像電話號碼。

怎麼樣？因為拜占庭將類型檢查移至編譯時。沒有了：

運行數千個僅檢查類型的單元測試
消耗 CPU 週期一遍又一遍地檢查相同的類型
凌晨 3 點醒來，因為有人將 undefined 傳遞給一個明確表示需要字串的函數

// Before: Your CPU crying for help
function validateUserMiddleware(req, res, next) {
    try {
        validateId(req.params.id)        // CPU cycle
        validateBody(req.body)           // CPU cycle
        validatePermissions(req.user)    // CPU cycle
        validateToken(req.headers.auth)  // CPU cycle
        // Your CPU is now considering a career change
        next()
    } catch (e) {
        res.status(400).json({ error: e.message })
    }
}

// After: Your CPU sending you a thank you note
type ValidRequest = Assert<
    And<
        Is.On<Request, 'params.id'>,
        Is.On<Request, 'body'>,
        Is.On<Request, 'user'>,
        Is.On<Request, 'headers.auth'>
    >,
    "Invalid request shape"
>;

function handleRequest(req: ValidRequest) {
    // Just business logic, no trust issues
}

登入後複製

“但我喜歡寫測試！”

The TypeScript Intervention: Breaking Your Runtime Check Addiction with Byzantium
偉大的！為真正需要測試的東西編寫測試：

業務邏輯
整合點
使用者工作流程
複雜演算法

你知道什麼不需要測試嗎？字串是否實際上是字串。讓 TypeScript 來處理這場生存危機。

真實的談話：好處

更快的發展
- 不再用三種不同的方式寫相同的驗證
- 在編譯時捕獲錯誤，而不是在凌晨 3 點
- 花時間在功能上，而不是驗證樣板
更好的性能
- 型檢的零運轉時開銷
- 更小的套件大小（無驗證庫）
- 快樂的CPU，快樂的生活
提高安全性
- 類型級保證無法被繞過
- 不再有「哎呀，忘了驗證」
- 預設完全覆蓋
DevOps 夢想
- 更快的 CI/CD 管道
- 降低基礎建設成本
- 生產事故減少
- SRE 團隊更快樂（結果可能會有所不同）

入門

interface ValidRabbit {
    username: string;
    password: string;
}
interface InvalidRabbit {
    username: number;
    password: string;
}


type ValidateRabbit<Rabbit> = Assert<
    //assert that Rabbit is of type {username, password}
    Is.Type<
        User,
        {
            username: string;
            password: string;
        }
    >,
    //custom compile time exceptions
    "Trix are for kids. Provide a username and password.",
    User
>;

// Ha! Silly Rabbit...
function checkRabbit<T>(rabbit: ValidateRabbit<T>) {
    // .... protect your trix
}

declare const rabbit1: ValidRabbit;
declare const rabbit2: InvalidRabbit;

checkRabbit(rabbit1);
checkRabbit(rabbit2);
/**        ~~~~~~~~~
 *           └───── Type Exception! "...Provide a username and password"
 */

登入後複製