当前位置：首页 > 文章列表 > 文章 > 前端 > TypeScript 干预：使用 Byzantium 打破运行时检查成瘾

TypeScript 干预：使用 Byzantium 打破运行时检查成瘾

来源：dev.to 2024-10-26 22:28:03 0浏览收藏

推广推荐

支持 PC / 移动端，安全直达

你在学习文章相关的知识吗？本文《TypeScript 干预：使用 Byzantium 打破运行时检查成瘾》，主要介绍的内容就涉及到，如果你想提升自己的开发能力，就不要错过这篇文章，大家要知道编程理论基础和实战操作都是不可或缺的哦！

听着，我们需要谈谈你的类型检查瘾。是的，就是您——在您的身份验证中间件中进行了 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
}

“但我喜欢写测试！”

TypeScript 干预：使用 Byzantium 打破运行时检查成瘾
伟大的！为真正需要测试的东西编写测试：

业务逻辑
整合点
用户工作流程
复杂算法

你知道什么不需要测试吗？字符串是否实际上是字符串。让 typescript 来处理这场生存危机。

真实的谈话：好处

更快的发展
- 不再用三种不同的方式编写相同的验证
- 在编译时捕获错误，而不是在凌晨 3 点
- 花时间在功能上，而不是验证样板
更好的性能
- 类型检查的零运行时开销
- 更小的包大小（无验证库）
- 快乐的cpu，快乐的生活
提高安全性
- 类型级保证无法被绕过
- 不再有“哎呀，忘了验证”
- 默认完全覆盖
devops 梦想
- 更快的 ci/cd 管道
- 降低基础设施成本
- 生产事故减少
- sre 团队更快乐（结果可能会有所不同）

入门

$ npx jsr add @constantine/byzantium
#or
$ deno add jsr:@constantine/byzantium
#or
$ pnpm dlx jsr add @constantine/byzantium
# ... and yarn, and whatever other package manager
# Now go delete half your test suite