Dart 中的 class 名称开头的美元符号 $ 是什么意思？

Question

在生成的类中可以经常观察到美元符号。 类型也以$符号开头。 我知道 Dart 语言允许 class 名称包含美元符号，但也许它有一个我不知道的隐藏含义？ 我在 stackoverflow 上发现了类似的问题，但它在 2012 年被问到，答案不再有效。

示例 1。

class Counter {
      int _counter = 0;
      int next() => ++_counter;
    }
    class Operation {
      void operate(int step) { doSomething(); }
    }


    class $OperationWithCounter = Operation with Counter;

    class Foo extends $OperationWithCounter{
      void operate([int step]) {
    super.operate(step ?? super.next());
    }

Answer 1

Dart 标识符可以包含$ 。 它只是该语言的另一个字母，但传统上它是为生成的代码保留的。 这允许代码生成器（在很大程度上）避免担心命名冲突，只要他们在他们创建的名称中放置一个$ 。

在这种特殊情况下，名称只是用来表示原始程序中没有出现的合成名称。 它是由您找到它的地方描述的脱糖“生成”的。