捕获检查

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