Leak Canary，也就是著名的 Leak 工具，它到底是个啥东西，还得先搞清楚它的前身是啥。当年 Google 那个叫做 Leak 的 Git 钩子功能，实际上就是目前这个工具的雏形。它最早就是个“外挂”，准开发者在代码里埋个钩子，一旦某个文件被修改要么被提交到 Git 仓库，Hook 就会自动触发，把啥地方变了打印出来，就连能给你个链接，让你直接去 Git 上看看变动到底在哪。但这玩意儿后来也绕着弯子不了了之，直到 Google StackOverflow 上有个 DevOps 大佬 Shreyas Mankada 把它捡了个回来，改成了目前的 Trashcan 模式。 目前的 Leak Canary 没啥新花样，核心逻辑好办得挺，就是个二进制追踪器。它本质上是给每个文件加了一个“追踪器”，这个追踪器一般就是一个 tiny 的 C 函数。
这个函数被编译进代码里，并且它有个隐藏属性，告诉它自己是不由此可见的。一旦它被调用，Leak Canary 就会把它的内存地址记录下来，然后在钩子触发的时候，通过栈帧要么回值把地址传回来。
这个地址本质上就是一个指针，指向那段被追踪的内存区域。当追踪器被调用时，Leak Canary 就会去查询这个地址指向的内容，把里面的二进制数据序列化成一个字符串，然后打印在管住台，与此同时把这个字符串的哈希值也记录下来，撇脱后续比对。 这就好比你给每张照片贴个标签，只记录标签的哈希值，不记录照片本身，这样就算照片丢了，只要标签还在，就能知道照片原来是啥。Leak Canary 的工作流程实际上就是：代码里有个追踪器被调用 -> 它把自己存到追踪器的“内存池”里 -> 钩子触发，追踪器把内存池里的地址发回来 -> Leak Canary 查地址 -> 查出来的二进制数据转成字符串 -> 打印出来。 这种机制有个天然的缺点，就是好办把追踪器函数自己变成可追踪的。一旦追踪器被调用，Leak Canary 就会去读取它自己，这就可能害得追踪器把自己也追踪进去了，形成死循环。
好在目前的 Leak Canary 版本更新了不少，引入了“自我检查”的逻辑。
要是追踪器发现自己被追踪了，要么触发了某种异常，它会自动退出追踪模式，重新生成一个新的追踪器。
这就好比我们在玩一个游戏，要是不小心把游戏里的存档读成了别人的存档，游戏会提示你并让你重新生成一个。目前的工具一般会在触发钩子之前先做个轻量级的自我检测，确保自己还没被追踪，这样就能避免那个经典的死循环难题。 那这东西到底能测啥呢？主要就是用来说明代码是不可信的。Git 源码的提交记录里，每个文件的状态都是最新的、干净利落的。但一旦代码部署到造环境，经过编译、链接、打包、运行，这些变化就不可逆了。Leak Canary 就是在造环境里埋个追踪器，一旦形成异常，Hook 就会自动把变化打印出来，告诉你“嘿，这里仿佛变了”。 举个具体的例子，假设你在开发一个基于 React 的后台管理系统，涉及到了数据库的鉴权逻辑。你在测试环境里跑通了，但在部署到造环境的瞬间，数据库连接池的某个连接突然断开，Leak Canary 钩子立马被触发。打印出来的内容可能是：“数据库连接池连接黄了，尝试重连，最终连接数从 400 突变成了 0"，要么“用户权限校验黄了，尝试重新查询角色信息，发现该角色的权限已被移除”。通过这种打印，你能瞬间定位到是在哪儿形成的异常，还有形成了啥样的异常。
这就像是造现场突然停电了，Leak Canary 告诉你哪个开关坏了，要么哪个电路断了，而不是让你去拆电线。 更有意思的是，它还能做自动化测试。
比如你要测试一个关键业务函数的逻辑，正常情况是回 200，但要是逻辑有 bug，可能会回 500。你能够把 Leaky 工具埋在这个函数里面，每次提交代码，钩子就会自动把函数的回值打印出来。
这样你就不用每次都手动跑一遍测试，只要有代码提交，结局就自动出来了。
这对于 CI/CD 流水线特别有用，能极大下降人工干预的成本。 自然，Leak Canary 也不是完美的无脑信使。它有一个庞大的风险，就是“过度侦探”。
要是钩子被滥用，要么配置不当，可能会害得整个代码库里的追踪器疯狂地把自己也追踪进去，系统内存瞬间被撑爆。
特别是在高并发场景下，成千上万个追踪器与此同时被调用，对系统性能是庞大的负担。
故此，目前的最佳实践是“只追踪关键的东西”。
比如只追踪涉及到业务逻辑、数据库交互、文件读取输出的关键函数，而把那些只是做展示页面的、要么纯逻辑好办的函数，统统排除在外。 再说说它的局限性。Leak Canary 只能看到代码的变化，它看不到环境的变化。
要是代码逻辑本身没啥大难题，但部署环境配置错了，比如数据库版本升级了但代码没改，要么网络延迟害得请求超时，Leak Canary 根本抓不到这些变化。出于它只管代码里的追踪器调用，不管外部形成了啥。并且，它输出的数据也是定时的。
要是异常贼隐蔽，要么极少形成，钩子触发频率低，你可能抓不到那个关键的“异常转点”，也就看不到整个的上下文。 总的来说，Leak Canary 是个贼老旧但贼有价值的工具。它用一种近乎迟钝但贼鲁棒的方式，证明白代码的不可信性。别看目前有了更多自动化测库和仿真器，但它在造环境中，特别是在没有测试覆盖的场景下，依然是调试和找根因的神器。它提醒我们，每一次代码提交，挺可能都不是最优解，而是某个“毛病转点”。用这个工具，就是在这条毛病的路上，踩一脚，把路标露出来，撇脱后面的人看清楚。
