Dart中使用=为class赋值的语法含义及规则是什么？

这个是Dart专门为「抽象类+Mixin组合场景」设计的语法糖，官方称其为显式类定义简写，不是普通的类型别名，我给你拆解下对应的疑问： #

1. 赋值语法的本质

你看到的class Counter = _Counter with _$Counter;完全等价于下面的完整写法：

class Counter extends _Counter with _$Counter {
  // 因为_Counter没有自定义构造函数，默认继承无参构造，不需要额外写实现
}

这里的=不是普通的变量赋值，是Dart的语法糖简写：因为这个组合出来的新类不需要额外添加属性和方法，就可以省略掉类的大括号部分，直接用=把类名和「基类+Mixin」的组合关联起来。

2. 和类型别名、子类的区别

• 不是普通类型别名：普通的typedef Counter = _Counter只是给现有类型起新名字，不会生成新类型，两种写法runtime完全等价；但这个语法会生成全新的独立类Counter，它的runtimeType既不等于_Counter也不等于_$Counter，而且原本抽象的_Counter无法直接实例化，组合出来的Counter是可以直接实例化的具体类。
• 确实是_Counter的子类：它本质继承了_Counter，同时混入了_$Counter的所有方法实现，不是简单的别名关系。

3. MobX里这么写的原因

你自己写的_Counter是只包含业务逻辑骨架的抽象类，MobX的build_runner会自动生成_$Counter这个mixin，里面封装了@observable响应式监听、@action事务处理的底层实现逻辑。
用这个语法糖可以快速生成对外暴露的可用类，不需要你手动写冗余的继承+混入代码，也可以把内部的_Counter、_$Counter这些实现细节隐藏起来，对外只暴露干净的Counter类给业务层使用。 #

补充：为什么官方指南里找不到相关说明

这个属于Dart的进阶偏门语法，绝大多数场景都配合代码生成框架使用，不会放在入门教程里，需要翻Dart官方文档的Mixin进阶章节才能看到相关说明。

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