为何Dart程序在词法作用域下因变量声明位置不同表现有差异？

核心原因：闭包捕获的是变量引用而非值 #

你的问题本质是Dart闭包对变量的捕获机制导致的：闭包（这里指test方法的回调函数）捕获的是变量的引用，而不是变量在定义时的快照值。

两种写法的差异分析 #

写法1：循环内部声明变量 #

void main() {
  final pairs = <List>[
    [95, 'A'],
    [85, 'B'],
  ];

  for (final pair in pairs) {
    int number = pair[0];
    String letter = pair[1];
    test('$number converts to $letter', () {
      final actual = convert(number);
      expect(actual, letter);
    });
  }
}

String convert(int value) => value >= 90 ? 'A' : 'B';

每次循环迭代时，number和letter都是全新的局部变量。每个test的回调函数捕获的是当前迭代的变量实例，这些变量各自独立，保存了当前循环的数值和字母。因此无论测试何时执行，每个回调都能拿到对应迭代的正确值。

写法2：循环外部声明变量 #

void main() {
  final pairs = <List>[
    [95, 'A'],
    [85, 'B'],
  ];

  int number;
  String letter;

  for (final pair in pairs) {
    number = pair[0];
    letter = pair[1];
    test('$number converts to $letter', () {
      final actual = convert(number);
      expect(actual, letter);
    });
  }
}

String convert(int value) => value >= 90 ? 'A' : 'B';

这里number和letter是循环外的单个变量，循环过程中只是不断给它们重新赋值。所有test的回调函数都捕获这同一个变量的引用——而测试框架通常会先完成所有循环的回调注册，再批量执行测试逻辑。当回调真正运行时，这两个变量的值已经被最后一次循环的赋值覆盖（比如你把85改成95后，最后一次赋值是number=95、letter='B'）。

这就解释了你的现象：测试名称是循环时即时插值的，所以显示正确，但回调执行时，letter已经变成了最后一次的'B'，导致两个测试都出现'A' != 'B'的失败。

总结 #

这是闭包语言的常见特性：闭包绑定的是变量本身，而非变量的当前值。如果要在循环中为闭包提供独立的变量值，要么像第一种写法那样在循环内部声明变量，要么显式创建变量快照（比如在循环内用临时变量保存当前值）。

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