ESLint抽象语法树中是否存在同时活跃的多个代码路径段？

问题背景 #

我在阅读ESLint官方代码路径分析文档时，遇到一段跟踪代码路径（code path）和代码路径段（code path segment）的示例代码。相关背景：

• 代码路径对应代码中的每个函数定义（以及程序本身）
• 代码路径段对应代码路径内的每个代码分支
• 函数定义可嵌套，因此代码路径段内可创建新代码路径

示例代码中，create方法返回包含事件处理器的对象：currentCodePath始终存储当前代码路径，进入时设置、离开时重置为上层路径；currentSegments用Set存储，用于跟踪当前代码路径段。

我的疑惑是：currentSegments何时会包含多个代码路径段？从代码逻辑看，进入段时添加、离开时删除，似乎始终只会有一个段，但实验后没找到多段场景。起初以为是段嵌套，但单代码路径内的段是离散的，且进入新代码路径时currentSegments会重置。请问这是仅为方便用Set存储，还是确实存在同时多个活跃代码路径段的场景？若存在，何时会出现？

示例代码 #

module.exports = {
    meta: {
        // ...
    },
    create(context) {

        // tracks the code path we are currently in
        let currentCodePath;

        // tracks the segments we've traversed in the current code path
        let currentSegments;

        // tracks all current segments for all open paths
        const allCurrentSegments = [];

        return {

            onCodePathStart(codePath) {
                currentCodePath = codePath;
                allCurrentSegments.push(currentSegments);
                currentSegments = new Set();
            },

            onCodePathEnd(codePath) {
                currentCodePath = codePath.upper;
                currentSegments = allCurrentSegments.pop();
            },

            onCodePathSegmentStart(segment) {
                currentSegments.add(segment);
            },

            onCodePathSegmentEnd(segment) {
                currentSegments.delete(segment);
            },

            onUnreachableCodePathSegmentStart(segment) {
                currentSegments.add(segment);
            },

            onUnreachableCodePathSegmentEnd(segment) {
                currentSegments.delete(segment);
            }
        };

    }
};

解答 #

currentSegments确实会出现同时包含多个活跃段的场景，核心原因是ESLint的代码路径分析基于控制流图（CFG）处理分支的收敛与附加逻辑，具体场景包括：

1. 分支合并的过渡阶段 #

以if-else结构为例，当if和else分支结束后，会汇合到同一个后续代码段（比如分支后的console.log）。在ESLint的事件触发顺序中，会先触发汇合段的onCodePathSegmentStart，再依次触发两个分支段的onCodePathSegmentEnd。在这两个事件的间隙，currentSegments会同时包含即将结束的两个分支段和新的汇合段，此时就需要用Set来存储多个活跃段。

2. try-finally 结构中的并行段 #

在try-catch-finally结构中，finally块的代码无论try是否正常执行、catch是否触发都会运行。ESLint会将finally段标记为附加在try或catch段之上的活跃段，进入finally块时，currentSegments会同时包含try/catch的当前段和finally段，直到try/catch段结束。

使用Set存储的原因 #

除了适配上述多段场景，Set还能自动处理潜在的重复添加问题（比如极端情况下事件重复触发），同时保证段的唯一性，避免重复跟踪同一个代码路径段。

内容的提问来源于stack exchange，提问作者Richard Hunter