源码解读
/// 这是描述 Element 的配置
/// 此小部件本身不可变的，如果想使用可变的，可以使用 StatefulWidget 小部件
/// 该小部件可以被包含零次或者多次
///
/// [key] 属性控制一个小部件如何替换树中的另一个小部件。 如果两个小部件的 [runtimeType] 和 [key] 属性分别为 [operator==]，
// 则新小部件通过更新底层元素来替换旧小部件（即，通过使用新小部件调用 [Element.update] ）。
// 否则，从树中删除旧元素，将新小部件膨胀为一个元素，并将新元素插入树中。
/// immutable 该部件是不可变的
@immutable
// Widget 继承于 DiagnosticableTree
abstract class Widget extends DiagnosticableTree {
/// 初始化
const Widget({ this.key });
/// 控制一个小部件如何替换树中的另一个小部件
///
/// 如果两个widget的[runtimeType]和[key]属性分别为[operator==]，
/// 那么新widget通过更新底层元素替换旧widget（即通过调用[Element.update] 新的小部件）。
/// 否则，从树中删除旧元素，将新小部件膨胀为一个元素，并将新元素插入树中。
///
/// 另外，使用 [GlobalKey] 作为小部件的 [key] 允许元素在树周围移动（更改父级）而不会丢失状态。
/// 当找到一个新的小部件（它的键和类型与同一位置的前一个小部件不匹配），但在前一帧的树中的
/// 其他地方有一个具有相同全局键的小部件，则该小部件的元素被移动到新位置。
final Key? key;
/// 创建 Element 对象
@protected
@factory
Element createElement();
/// 该部件的简短描述
@override
String toStringShort() {
// 获取 Widget 运行时的类型字符串
final String type = objectRuntimeType(this, 'Widget');
// 在没有设置 key 时，返回 type ，否者返回 type 和 key 组成的字符串
return key == null ? type : '$type-$key';
}
/// 调试模式，部件属性的填充
@override
void debugFillProperties(DiagnosticPropertiesBuilder properties) {
super.debugFillProperties(properties);
properties.defaultDiagnosticsTreeStyle = DiagnosticsTreeStyle.dense;
}
@override
/// 用于在类 `C` 或 mixin `M` 中注释实例成员（方法、getter、setter、运算符或字段）`m`。
/// 表示不应在任何扩展或混合“C”或“M”的类中覆盖“m”。
@nonVirtual
bool operator ==(Object other) => super == other;
@override
@nonVirtual
/// 该部件的哈希码
int get hashCode => super.hashCode;
/// 是否使用新的 newWidget 更换老的 oldWidget 的配置.
///
/// 如果小部件没有键（它们的键为空），那么如果它们具有相同的类型，
/// 则认为它们是匹配的，即使它们的孩子完全不同。
static bool canUpdate(Widget oldWidget, Widget newWidget) {
/// 旧的部件的运行时类型和新的部件的运行时类型相同，同时旧部件的key 和新部件的key 相同，才能更细部件
return oldWidget.runtimeType == newWidget.runtimeType
&& oldWidget.key == newWidget.key;
}
// 返回特定 `Widget` 具体子类型的数字编码。
// 这在 `Element.updateChild` 中用于确定热重载是否修改了已安装元素配置的超类.
static int _debugConcreteSubtype(Widget widget) {
return widget is StatefulWidget ? 1 :
widget is StatelessWidget ? 2 :
0;
}
}
二、总结
- Widget 是 Flutter 部件的核心部件，一般常用 StatelessWidget 和StatefulWidget 两种。
- Widget 从 key 的有无和新旧部件更新的前提是新旧部件的 runTimeType 以及两个部件的 key 是相等
