docs: add TODO.md for resuming Dart 3 null-safety migration (118->0 remaining)
This commit is contained in:
221
TODO.md
Normal file
221
TODO.md
Normal file
@@ -0,0 +1,221 @@
|
||||
# TODO — Flutter Wisetronic Dart 3 空安全迁移（剩余工作）
|
||||
|
||||
> **当前进度**：错误从峰值 **2374** 降到 **118（lib）/ 112（web 构建）**，0 语法损坏。
|
||||
> 分支 `dev2`，最新提交已 clean。Web 构建 (`flutter build web`) 目标：0 error → 可运行。
|
||||
|
||||
---
|
||||
|
||||
## 0. 快速恢复（Resume 起点）
|
||||
|
||||
```bash
|
||||
cd /Users/peima/StudioProjects/flutter_wisetronic
|
||||
git log --oneline -1 # 确认在最新提交
|
||||
dart analyze lib | tail -5 # 看当前错误（应 118 error）
|
||||
flutter build web 2>&1 | grep -c '^Error:' # web 错误（应 112）
|
||||
|
||||
# 重跑自动修复脚本（安全，带损坏自检，可随时跑）
|
||||
python3 tools/nullfix.py --max-rounds 12
|
||||
```
|
||||
|
||||
**核心原则**：每次改动后用 `dart analyze lib | grep -cE '\s+error\s+-'` 数错误；脚本若报"检测到语法损坏"会自动中止，`git checkout -- lib` 回滚。
|
||||
|
||||
---
|
||||
|
||||
## 1. 剩余错误分布（118 个）
|
||||
|
||||
| 规则 | 数量 | 说明 |
|
||||
|------|------|------|
|
||||
| `unchecked_use_of_nullable_value` | 44 | 可空值当非空用（方法调用/条件/迭代器，多为多行） |
|
||||
| `invalid_assignment` | 34 | 赋值类型不匹配（复杂表达式） |
|
||||
| `argument_type_not_assignable` | 22 | 参数类型不匹配（三元/比较/Map字面量） |
|
||||
| `return_of_invalid_type_from_closure` | 4 | 闭包返回类型 |
|
||||
| `undefined_getter` | 3 | 多为 `.buttonColor`（Flutter 3 移除） |
|
||||
| `return_of_invalid_type` | 3 | 函数 `return null` 但返回类型非空 |
|
||||
| `undefined_named_parameter` | 2 | |
|
||||
| `undefined_method` | 2 | |
|
||||
| `creation_with_non_type` | 2 | 类名拼错（util_io 内） |
|
||||
| `extra_positional_arguments_could_be_named` | 1 | |
|
||||
| `body_might_complete_normally` | 1 | |
|
||||
|
||||
**错误最多的文件**（详细见 `dart analyze lib`）：
|
||||
|
||||
```
|
||||
6 utils/util_io.dart ← 延后（仅原生，Web 构建已排除）
|
||||
5 widgets/desktop/desktop_edit_address.dart ← .trim() 多行（见 §3，已知修法）
|
||||
5 widgets/mobile/mobile_edit_address.dart ← 同上
|
||||
5 widgets/general/add_remove_button.dart
|
||||
5 widgets/general/parabolic_animation_widget.dart
|
||||
5 widgets/general/sliding_up_panel.dart
|
||||
4 widgets/desktop/desktop_me.dart
|
||||
4 widgets/mobile/mobile_attribute_selection.dart
|
||||
4 widgets/mobile/mobile_order_detail.dart
|
||||
3 widgets/desktop/desktop_coupons.dart / desktop_my_support / desktop_order_detail / shop_products
|
||||
3 widgets/general/animation_point_manager / popup_animation_widget
|
||||
3 widgets/mobile/mobile_coupons / mobile_me / mobile_my_support / mobile_orders / shopping_cart_bar
|
||||
2 约 12 个文件（blog/orders/product_item/shopping_cart 等）
|
||||
1 约 25 个文件（单点错误）
|
||||
```
|
||||
|
||||
---
|
||||
|
||||
## 2. 推荐处理顺序
|
||||
|
||||
1. **edit_address（5+5）** — 已知修法，见 §3，最快。
|
||||
2. **parabolic/popup_animation（5+3）** — `late` 字段已修，可能还有 unchecked_use（offset 计算方法调用），手动看。
|
||||
3. **sliding_up_panel（5）** — 第三方面板 widget 适配，手动。
|
||||
4. **add_remove_button（5）** — badges 相关，手动。
|
||||
5. **散落的 2-error / 1-error 文件** — 用 `dart analyze lib/<file>` 逐个看，多为加 `!`。
|
||||
6. **util_io.dart（6）** — 最后处理（见 §5），不影响 Web 构建。
|
||||
|
||||
**目标**：先清掉 Web 可达错误（`flutter build web` 的 112），让 Web 能跑；`util_io` 原生路径可延后。
|
||||
|
||||
---
|
||||
|
||||
## 3. 已知具体修法（直接套用）
|
||||
|
||||
### 3.1 edit_address `.trim()` 多行（desktop + mobile，各 5 处）
|
||||
错误：`A nullable expression can't be used to invoke 'trim'`。代码结构：
|
||||
```dart
|
||||
validator: (String? value) {
|
||||
if (value // ← value 是 String?
|
||||
.trim()
|
||||
.isEmpty) {
|
||||
```
|
||||
**修法**：把 `if (value` 行改成 `if (value!`。
|
||||
```python
|
||||
# 上次脚本 bug：用了 rstrip() 应该用 strip()。正确版：
|
||||
for p in ['lib/widgets/desktop/desktop_edit_address.dart','lib/widgets/mobile/mobile_edit_address.dart']:
|
||||
lines=open(p).read().split('\n'); n=0
|
||||
for i in range(len(lines)):
|
||||
if lines[i].strip()=='if (value' and lines[i+1].lstrip().startswith('.trim()'):
|
||||
lines[i]=lines[i].rstrip()+'!'; n+=1 # 注意 rstrip() 保留前导缩进
|
||||
open(p,'w').write('\n'.join(lines))
|
||||
```
|
||||
（`.buttonColor`→`.colorScheme.primary` 已在两个文件修好。）
|
||||
|
||||
### 3.2 通用模式（手动加 `!` / `?? 默认` / `== true`）
|
||||
- `String? → String` 参数：`field` → `field!`（确认运行时非空）。
|
||||
- `num?/int?/double?` 比较：`subtotal > minPrice` → `subtotal > minPrice!` 或 `(minPrice ?? 0)`。
|
||||
- `bool?` 当条件：`if (x)` → `if (x == true)`；`if (!x)` → `if (x != true)`。
|
||||
- `return null;` 但返回类型非空：把函数返回类型加 `?`（如 `CategoryProducts? foo()`）。
|
||||
- 局部变量赋值 nullable：声明加 `?`（如 `Map<String,dynamic>? x = ...`），下游 nullfix 会补 `!`。
|
||||
- 多行方法调用 `.toUpperCase()` / `.trim()`：接收者在上一行末尾，在该行末尾加 `!`。
|
||||
|
||||
### 3.3 可复用的定向脚本（一次性，贴进 bash 跑）
|
||||
|
||||
**a) 条件修复（analyzer 驱动，只修简单 `if (chain)`）** — 已用过，安全：
|
||||
```python
|
||||
python3 -c "
|
||||
import re,subprocess
|
||||
ERR=re.compile(r'\s+error\s+-\s+([\w/.\-]+):(\d+):(\d+)\s+-\s+(.*?)\s+-\s+([a-z_]+)\s*\$')
|
||||
pat=re.compile(r'^(\s*if \()(!?)([\w.!\[\]]+)(\)\s*\{?\s*)\$')
|
||||
out=subprocess.run(['dart','analyze','lib'],capture_output=True,text=True).stdout
|
||||
tg={}
|
||||
for ln in out.splitlines():
|
||||
m=ERR.match(ln)
|
||||
if m and 'used as a condition' in m.group(4): tg.setdefault('lib/'+m.group(1),set()).add(int(m.group(2)))
|
||||
n=0
|
||||
for p,ls in tg.items():
|
||||
L=open(p).read().split('\n');ch=False
|
||||
for i,x in enumerate(L,1):
|
||||
if i in ls:
|
||||
m=pat.match(x.rstrip('\n'))
|
||||
if m: L[i-1]=m.group(1)+m.group(3)+(' != true' if m.group(2) else ' == true')+m.group(4);ch=True;n+=1
|
||||
if ch: open(p,'w').write('\n'.join(L))
|
||||
print('fixed',n)
|
||||
"
|
||||
```
|
||||
|
||||
**b) 局部变量改可空（严格类型，已验证安全）** — 跑完再 `python3 tools/nullfix.py` 吃级联：
|
||||
```python
|
||||
python3 -c "
|
||||
import re,subprocess
|
||||
ERR=re.compile(r'\s+error\s+-\s+([\w/.\-]+):(\d+):(\d+)\s+-\s+(.*?)\s+-\s+([a-z_]+)\s*\$')
|
||||
NAMEQ=re.compile(r\"'([^']+)'\"); TYPE=r'(?:[A-Z]\w*(?:<[^;]*>)?|int|double|String|bool|num|dynamic|List<[^;]*>|Map<[^;]*>|Set<[^;]*>)'
|
||||
out=subprocess.run(['dart','analyze','lib'],capture_output=True,text=True).stdout;tg={}
|
||||
for ln in out.splitlines():
|
||||
m=ERR.match(ln)
|
||||
if m and m.group(5)=='not_assigned_potentially_non_nullable_local_variable':
|
||||
nm=NAMEQ.search(m.group(4))
|
||||
if nm: tg.setdefault('lib/'+m.group(1),[]).append((int(m.group(2)),nm.group(1)))
|
||||
dp=re.compile(r'^(\s+(?:final\s+|const\s+)?)('+TYPE+r')\s+(\w+)\s*;\s*\$');n=0
|
||||
for p,it in tg.items():
|
||||
L=open(p).read().split('\n');ch=False;done=set()
|
||||
for ul,nm in it:
|
||||
if (ul,nm) in done: continue
|
||||
done.add((ul,nm))
|
||||
for i in range(ul-2,-1,-1):
|
||||
m=dp.match(L[i])
|
||||
if m and m.group(3)==nm and '?' not in m.group(2): L[i]=m.group(1)+m.group(2)+'? '+nm+';';ch=True;n+=1;break
|
||||
if ch: open(p,'w').write('\n'.join(L))
|
||||
print('fixed',n)
|
||||
"
|
||||
```
|
||||
|
||||
---
|
||||
|
||||
## 4. 工具脚本说明（`tools/`）
|
||||
|
||||
### `tools/nullfix.py` — 主力自动修复
|
||||
```bash
|
||||
python3 tools/nullfix.py # 修整个 lib，默认 5 轮
|
||||
python3 tools/nullfix.py --max-rounds 12
|
||||
python3 tools/nullfix.py lib/widgets/mobile/shop.dart # 只修单文件
|
||||
```
|
||||
- 每轮重新 `dart analyze lib`，按 error 的 (file,line,col) 精确定位修改。
|
||||
- **带腐败自检**：每轮后检测 `expected_token`/`missing_identifier`，一旦 >0 立即中止并提示 `git diff`。
|
||||
- 已实现的 handler：
|
||||
- `insert_bang`：成员访问/方法调用/迭代器/return 加 `!`（按 analyzer 分类）
|
||||
- `insert_arg_bang`：`argument_type`/`invalid_assignment` 在参数值末尾加 `!`（值必须是简单标识符链 `[\w.\[\]()!]`，含运算符/空格跳过）
|
||||
- `late` 实例字段、参数空安全、field-formal 字段空安全
|
||||
- `missing_default_value_for_parameter`、`@required`→`required` 已并入
|
||||
- **已禁用的危险 handler**：基于正则的 `if(x)`→`if(x==true)`（曾破坏 89 文件）。条件修复改用 §3.3a 的 analyzer 驱动版。
|
||||
- **已知边界**：多行表达式（接收者跨行）、含空格/逗号的函数调用参数、三元/比较表达式 → 跳过，需手动。
|
||||
|
||||
### `tools/badge_migrate.py` — 未验证，**已不需要**
|
||||
badges 3.x 迁移已手动完成（`badgeStyle`/`badgeAnimation`），此脚本可忽略/删除。
|
||||
|
||||
---
|
||||
|
||||
## 5. 延后项
|
||||
|
||||
### `lib/utils/util_io.dart`（6 error，仅原生）
|
||||
- 通过 `dart.library.html` 条件导入从 **Web 构建中排除**，不影响 `flutter build web`。
|
||||
- 错误来自 `flutter_local_notifications` v17 API 变更：
|
||||
- `IOSInitializationSettings` / `IOSNotificationDetails` → v17 改名（`DarwinInitializationSettings` / `DarwinNotificationDetails`）
|
||||
- `onSelectNotification` 参数已移除
|
||||
- `extra_positional_arguments`（构造参数变化）
|
||||
- `body_might_complete_normally`（`Future<void>` 缺 return）
|
||||
- 原生（Android/iOS）构建时才需要修。Web 不阻塞。
|
||||
|
||||
---
|
||||
|
||||
## 6. 关键上下文 / 决策（避免踩坑）
|
||||
|
||||
- **`late` 用于实例字段**：避免模型 `fromJson` 初始化列表 + State 类的级联错误。模型字段置为可空，调用点加 `!`。
|
||||
- **脚本必须 analyzer 驱动**：盲目正则会损坏代码（如 `return? item;`、`this.?field`）。`nullfix.py` 用 analyzer 的列/列定位 + 腐败自检是关键。
|
||||
- **badges 实际解析 3.2.0**（不是 2.0.3）：参数是 `badgeStyle:`/`badgeAnimation:`（不是 `badgeColor`/`animationType`/`animation`）。
|
||||
- **pinput 实际 5.0.2**：类名 `Pinput`（非 `PinPut`），导入 `package:pinput/pinput.dart`，`length`/`onCompleted`/`defaultPinDecoration`。
|
||||
- **youtube_player_iframe 5.2.2**：`YoutubePlayerController.fromVideoId(videoId:, startSeconds:, params:)`。
|
||||
- **BreadCrumb.route 已改可空**：`String? route`，调用点 `BreadCrumb(X, null)` 合法。
|
||||
- **e-Transfer**：Stripe 已全移除，付款走 `payment@wisetronic.com`，备注写 `R#<receipt.id>`。
|
||||
- **搜索框**：自写轻量 `lib/widgets/general/search_bar.dart`（非第三方包）。
|
||||
- **不升级全局 Flutter SDK**：用本地 Flutter 3.29.3 / Dart 3.7.2。
|
||||
|
||||
## 7. 提交历史（基线 f8a90ad 之后）
|
||||
|
||||
```
|
||||
最新 phase3: mobile/shop clean ... 131->118 ← resume 起点
|
||||
phase3: checkout files clean ... 142->131
|
||||
phase3: fix attribute widgets ... ~30 fixed
|
||||
phase3: FIX arg-bang regex (missing \]) ... 235->183 ← 关键 bug 修复
|
||||
...（共约 28 个 phase3 提交）
|
||||
f8a90ad 基线
|
||||
```
|
||||
|
||||
## 8. 最终验收
|
||||
|
||||
```bash
|
||||
flutter build web # 目标：无 error，生成 build/web
|
||||
flutter run -d chrome # 目标：能打开、首页/商品/购物车/结账流程跑通
|
||||
```
|
||||
Reference in New Issue
Block a user