聽(tīng)著，我們需要談?wù)勀愕念愋蜋z查癮。是的，您－在您的身分驗(yàn)證中間件中進(jìn)行了 47 個(gè)instanceof 檢查。編寫的測(cè)試案例多於實(shí)際程式碼的開(kāi)發(fā)人員。將 TypeScript 視為只是花哨的 JSDoc 註釋的人。

幹預(yù)

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

「但那是不可能的！」你哭了，滾動(dòng)瀏覽測(cè)試覆蓋率報(bào)告，顯示原始的 100%。 「我檢查過(guò)這個(gè)！」

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

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

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

這是一個(gè)革命性的想法：如果我們......信任編譯器會(huì)怎麼樣？我知道，瘋狂的概念。但請(qǐng)聽(tīng)我說(shuō)完。

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)在可以聽(tīng)到您的聲音：「但是如果有人向我的 API 發(fā)送無(wú)效的 JSON 怎麼辦？」

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

以下是拜占庭為您的信任問(wèn)題聚會(huì)帶來(lái)的內(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)隊(duì)會(huì)愛(ài)你（一次）

想像一下：您的 CI/CD 管道在幾分鐘內(nèi)完成，而不是幾小時(shí)。您的生產(chǎn)日誌中不會(huì)充滿類型錯(cuò)誤。您的 AWS 帳單看起來(lái)不像電話號(hào)碼。

怎麼樣？因?yàn)榘菡纪㈩愋蜋z查移至編譯時(shí)。沒(méi)有了：

• 運(yùn)行數(shù)千個(gè)僅檢查類型的單元測(cè)試
• 消耗 CPU 週期一遍又一遍地檢查相同的類型
• 凌晨 3 點(diǎn)醒來(lái)，因?yàn)橛腥藢?undefined 傳遞給一個(gè)明確表示需要字串的函數(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
}

“但我喜歡寫測(cè)試！”

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

• 業(yè)務(wù)邏輯
• 整合點(diǎn)
• 使用者工作流程
• 複雜演算法

你知道什麼不需要測(cè)試嗎？字串是否實(shí)際上是字串。讓 TypeScript 來(lái)處理這場(chǎng)生存危機(jī)。

真實(shí)的談話：好處

1. 更快的發(fā)展

   • 不再用三種不同的方式寫相同的驗(yàn)證
   • 在編譯時(shí)捕獲錯(cuò)誤，而不是在凌晨 3 點(diǎn)
   • 花時(shí)間在功能上，而不是驗(yàn)證樣板

2. 更好的性能

   • 型檢的零運(yùn)轉(zhuǎn)時(shí)開(kāi)銷
   • 更小的套件大?。o(wú)驗(yàn)證庫(kù)）
   • 快樂(lè)的CPU，快樂(lè)的生活

3. 提高安全性

   • 類型級(jí)保證無(wú)法被繞過(guò)
   • 不再有「哎呀，忘了驗(yàn)證」
   • 預(yù)設(shè)完全覆蓋

4. DevOps 夢(mèng)想

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

入門

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)容編寫運(yùn)行時(shí)檢查，將 TypeScript 視為 JavaScript 的可選類型。

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

記住：每次你寫執(zhí)行時(shí)間類型檢查時(shí)，TypeScript 編譯器都會(huì)在某個(gè)地方哭泣。

結(jié)論

Byzantium 不僅僅是另一個(gè)庫(kù)——它是對(duì)類型信任問(wèn)題的干預(yù)。是時(shí)候放棄運(yùn)行時(shí)檢查並擁抱編譯時(shí)保證的力量了。

您的 CPU 會(huì)感謝您的。您的 DevOps 團(tuán)隊(duì)會(huì)感謝您。您的用戶會(huì)感謝您（因?yàn)闆](méi)有發(fā)現(xiàn)與類型相關(guān)的錯(cuò)誤）。

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

---

P.S.如果您仍然不相信，請(qǐng)嘗試計(jì)算程式碼庫(kù)中有多少個(gè)運(yùn)行時(shí)類型檢查。然後乘以你的小時(shí)費(fèi)率。這就是你花了多少時(shí)間不信任 TypeScript。

P.P.S.在撰寫這篇文章的過(guò)程中，沒(méi)有人受傷。儘管一些運(yùn)行時(shí)檢查已永久停用。

*P.P.P.S。如果您想做出貢獻(xiàn)，請(qǐng)?jiān)L問(wèn)我的 Github 並克隆該存儲(chǔ)庫(kù)。一切都還是新鮮的，所以有很多貢獻(xiàn)的機(jī)會(huì)。

JSR.io 上提供的文件和套件

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