聽著，我們需要談?wù)勀愕念愋蜋z查癮。是的，您——在您的身份驗證中間件中進(jìn)行了 47 個instanceof 檢查。編寫的測試用例多于實際代碼的開發(fā)人員。將 TypeScript 視為只是花哨的 JSDoc 注釋的人。

干預(yù)

讓我給你畫一幅圖畫：現(xiàn)在是中午，你正在喝第四杯咖啡，并且正在調(diào)試一個生產(chǎn)問題。日志顯示用戶以某種方式通過了十五層運行時驗證。你的單元測試比 Twitter 的活躍用戶還要多，但不知何故，不知何故，有人設(shè)法在應(yīng)該是字符串的地方發(fā)送了一個數(shù)字。

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

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

1. 一旦進(jìn)入 TypeScript 界面
2. 再次在您的驗證中間件中
3. 再次在單元測試中

停止測試 TypeScript 已經(jīng)知道的內(nèi)容

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

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"
 */

“但是生產(chǎn)呢？”

我現(xiàn)在可以聽到您的聲音：“但是如果有人向我的 API 發(fā)送無效的 JSON 怎么辦？”

首先，誰傷害了你？其次，是的，驗證您的 API 邊界。但是，一旦該數(shù)據(jù)進(jìn)入您的打字稿域，就該放手了。讓編譯器成為你的保鏢。

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

// 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 團(tuán)隊會愛你（一次）

想象一下：您的 CI/CD 管道在幾分鐘內(nèi)完成，而不是幾小時。您的生產(chǎn)日志中不會充滿類型錯誤。您的 AWS 賬單看起來不像電話號碼。

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

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

// 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
}

“但我喜歡寫測試！”

偉大的！為真正需要測試的東西編寫測試：

• 業(yè)務(wù)邏輯
• 整合點
• 用戶工作流程
• 復(fù)雜算法

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

真實的談話：好處

1. 更快的發(fā)展

   • 不再用三種不同的方式編寫相同的驗證
   • 在編譯時捕獲錯誤，而不是在凌晨 3 點
   • 花時間在功能上，而不是驗證樣板

2. 更好的性能

   • 類型檢查的零運行時開銷
   • 更小的包大小（無驗證庫）
   • 快樂的CPU，快樂的生活

3. 提高安全性

   • 類型級保證無法被繞過
   • 不再有“哎呀，忘了驗證”
   • 默認(rèn)完全覆蓋

4. DevOps 夢想

   • 更快的 CI/CD 管道
   • 降低基礎(chǔ)設(shè)施成本
   • 生產(chǎn)事故減少
   • SRE 團(tuán)隊更快樂（結(jié)果可能會有所不同）

入門

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"
 */

選擇是你的

您可以繼續(xù)生活在恐懼中，為所有內(nèi)容編寫運行時檢查，將 TypeScript 視為 JavaScript 的可選類型。

或者您可以在 2024 年加入我們，我們信任我們的編譯器并讓它完成其工作。

記?。好看文憔帉戇\行時類型檢查時，TypeScript 編譯器都會在某個地方哭泣。

結(jié)論

Byzantium 不僅僅是另一個庫——它是對類型信任問題的干預(yù)。是時候放棄運行時檢查并擁抱編譯時保證的力量了。

您的 CPU 會感謝您的。您的 DevOps 團(tuán)隊會感謝您。您的用戶會感謝您（因為沒有發(fā)現(xiàn)與類型相關(guān)的錯誤）。

最重要的是，你會在凌晨 3 點感謝自己，當(dāng)時你睡得很熟，而不是在生產(chǎn)中調(diào)試類型錯誤。

---

P.S.如果您仍然不相信，請嘗試計算代碼庫中有多少個運行時類型檢查。然后乘以你的小時費率。這就是你花費了多少時間不信任 TypeScript。

P.P.S.在撰寫這篇博文的過程中，沒有人受到傷害。盡管一些運行時檢查已永久停用。

*P.P.P.S。如果您想做出貢獻(xiàn)，請訪問我的 Github 并克隆該存儲庫。一切都還是新鮮的，所以有很多貢獻(xiàn)的機會。

JSR.io 上提供的文檔和包

以上是TypeScript 干預(yù)：使用 Byzantium 打破運行時檢查成癮的詳細(xì)內(nèi)容。更多信息請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！