PageStorageBucket

PageStorageBucket 是 Flutter 框架自带的类型，来自 package:flutter/material.dart（底层在 package:flutter/widgets.dart 导出）。你的文档里只是使用它，并没有在项目里重新定义。

原文位置：// ======= ./lib/difference_views.dart

dart

import 'package:flutter/material.dart';