Excel LAMBDA的IFS分支误报循环引用错误原因与解决方法

Excel的公式计算分两个完全独立的阶段执行，虚假循环引用的问题完全来自第一阶段的静态扫描逻辑：

1. 依赖预扫描阶段：单元格公式正式求值前，计算引擎会先静态扫描公式文本，识别所有单元格/区域引用，构建全局计算依赖图，用来确定计算顺序、检测循环引用。这个阶段完全不会执行IF/IFS这类分支判断逻辑，也不会做表达式求值，只会按固定规则识别引用。
2. 实际求值阶段：依赖图构建完成、确认无循环引用后，才会按分支逻辑短路执行，只跑命中条件的分支代码。

你测试到的SUM和ROWS的行为差异，本质是两类函数在预扫描阶段的引用判定规则完全不同：

• 取值计算类函数（以SUM为代表）：和AVERAGE/COUNT/SUMIFS/VLOOKUP等多数常用函数一样，这类函数的核心逻辑需要读取引用区域内的单元格实际值才能计算结果，预扫描阶段会递归穿透这类函数，把内部所有明确写死的区域引用全部标记为当前单元格的依赖项。哪怕引用写在永远不会命中的IFS分支里，也会被纳入依赖列表——如果公式刚好写在被引用的B2单元格，就会直接判定为“B2依赖自身”，触发循环引用，根本不会进入后续的求值阶段。
• 元信息类函数（以ROWS为代表）：和COLUMNS/ROW/COLUMN/AREAS等函数一样，这类函数只需要读取引用的结构属性（比如区域行数、列数、行号位置），不需要读取单元格内存储的实际值，预扫描阶段不会把这类函数包裹的引用标记为值依赖，自然不会触发循环引用判定。

补充说明最早的无SUM版本为什么不报错：直接作为IF/IFS分支返回值的裸单元格引用，Excel做了特殊的惰性依赖处理——只有对应分支条件命中时，才会把这个引用加入依赖列表。但只要给裸引用套上一层SUM这类需要取值的函数，这个特殊惰性规则就会失效，引用会被预扫描阶段直接捕获。

核心思路是把每个分支的计算逻辑改成延迟求值，避免预扫描阶段捕获到非命中分支的引用，具体可落地的写法如下：

• 用Thunk（无参数的单值LAMBDA）封装每个分支的计算逻辑，只有分支条件命中时，才执行对应Thunk拿到结果。这种写法下，Thunk内部的引用不会被预扫描阶段识别，从根源上避免虚假循环引用。
  改写后的测试函数示例：

  TRY = LAMBDA(i,
      LET(
          // 每个分支封装成无参数LAMBDA，定义时不会执行内部逻辑
          b1, LAMBDA(SUM(Sheet1!$B$2)),
          b2, LAMBDA(Sheet1!$D$2),
          b_default, LAMBDA("haha"),
          // 按参数选中对应分支，超出范围走默认分支
          selected, CHOOSE(IF(i>2,3,i), b1, b2, b_default),
          // 执行选中的分支逻辑，返回结果
          selected()
      )
  );
  

• 如果分支条件不是连续序号，可搭配SWITCH做分支匹配，核心依然是每个分支返回Thunk，最后统一调用执行，不要把带取值函数的引用直接裸写在IFS/SWITCH的分支返回位置。
• 不要依赖IF/IFS的短路求值特性规避依赖扫描：分支短路只在求值阶段生效，预扫描阶段完全无视分支条件，所有被取值类函数包裹的引用都会被识别为依赖。

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