捕获检查是 Scala 中的一个实验性功能,它允许你跟踪哪些指定的值被任意其他值捕获(即作为引用存储)。这种跟踪发生在编译时,目前是一个可选机制,可以通过导入来启用。捕获检查通过在编译时验证能力(代表资源、效果或权限)是否被正确管理和不会逸出其预期范围,从而帮助确保资源安全并防止能力泄漏。