Dart 静的解析エラーの解決

目次

• コア コンセプトとガイドライン
  • 型システムと健全性
  • Null セーフティ
  • エラー処理
• ワークフロー
  • ワークフロー: 静的解析エラーの解決
• 例

コア コンセプトとガイドライン

型システムと健全性

Dart の健全な型システムを適用して、実行時の無効な状態を防止します。

• メソッドのオーバーライド: 健全な戻り値の型（共変）とパラメータの型（反変）を維持してください。covariant キーワードで明示的にマークされていない限り、サブクラスのパラメータ型を限定しないでください。
• ジェネリクスとコレクション: ジェネリッククラスに明示的な型アノテーションを追加してください（例：List<T>、Map<K, V>）。型付きリストに List<dynamic> を割り当てないでください（例：List<Cat>）。
• ダウンキャスト: dynamic からの暗黙的なダウンキャストを避けてください。必要な場合は明示的なキャスト（例：as List<Cat>）を使用しますが、TypeError 例外を防ぐため、基になるランタイム型が一致することを確認してください。
• 厳密なキャスト: analysis_options.yaml の analyzer: language: の下で strict-casts: true を有効にして、明示的なキャストを強制し、暗黙的なダウンキャストエラーをコンパイル時にキャッチしてください。

Null セーフティ

変数の初期化と null 許容性を正しく管理することで、null セーフティに関連する静的エラーを排除します。

• 修飾子: null 許容型に ? を、null アサーションに ! を、null にできない名前付きパラメータに required を適用してください。
• 遅延初期化: late キーワードを使用して、使用前に初期化が保証される null 非許容変数に対して適用してください。これを特にトップレベルまたはインスタンス変数に適用してください。Dart の制御フロー分析が初期化を確実に証明できない場合に限ります。
• ワイルドカード: _ ワイルドカード変数（Dart 3.7 以上）をローカル変数またはパラメータが非バインディングの場合に使用して、未使用変数の警告を避けてください。

エラー処理

回復可能な例外と回復不可能なエラーを区別します。

• キャッチ: 回復可能な障害に対して Exception サブタイプをキャッチしてください。
• エラー: Error またはそのサブタイプ（例：TypeError、ArgumentError）を明示的にキャッチしないでください。エラーはプログラミングのバグを示し、キャッチされるべきではなく修正されるべきです。avoid_catching_errors リンタルルールを有効にして、この規則を強制してください。
• 再スロー: catch ブロック内で rethrow を使用して、元のスタックトレースを保持したまま例外を伝播させてください。

ワークフロー

ワークフロー: 静的解析エラーの解決

このシーケンシャルワークフローを使用して、Dart プロジェクトの静的解析エラーを特定、修正、検証してください。チェックリストをコピーして進捗を追跡してください。

タスク進捗:

• 1. 静的アナライザを実行します。
• 2. 自動修正を適用します。
• 3. 残りのエラーを手動で解決します。
• 4. 修正を検証します（フィードバックループ）。

1. 静的アナライザを実行します Dart アナライザを実行して、ターゲット ディレクトリまたはファイル内のすべての静的エラーを特定します。

dart analyze . --fatal-infos

2. 自動修正を適用します dart fix ツールを使用して、標準的なリント処理と分析の問題を自動的に解決します。

# 変更をプレビュー
dart fix --dry-run
# 変更を適用
dart fix --apply

3. 残りのエラーを手動で解決します 残りのアナライザ出力を確認して、エラーの種類に基づいて条件付きロジックを適用します：

• エラーが Null セーフティの問題の場合（例：「Property cannot be accessed on a nullable receiver」）:
  • 変数が論理的に null になる可能性があるかを確認してください。
  • はい の場合、オプショナルチェーニング（?.）を使用するか、フォールバック（??）を提供してください。
  • いいえ の場合、別の場所で初期化が保証されていれば、宣言を late でマークしてください。
• エラーが型の不一致の場合（例：「The argument type 'List<dynamic>' can't be assigned...」）:
  • 変数の初期化をトレースしてください。
  • インスタンス化に明示的なジェネリック型アノテーションを追加してください（例：[] の代わりに <int>[]）。
• エラーが無効なオーバーライドの場合（例：「The parameter type doesn't match the overridden method」）:
  • パラメータ型をスーパークラスと一致するように拡張してください、または
  • 型を限定することが意図的にドメイン ロジックで必要な場合は、パラメータに covariant キーワードを追加してください。

4. 修正を検証します（フィードバックループ） バリデータを実行します。エラーを確認します。修正します。

dart analyze .
dart test

• dart analyze がエラーを報告する場合: ステップ 3 に戻ってください。
• dart test が TypeError で失敗する場合: 無効な明示的なキャスト（as T）を導入したか、初期化されていない late 変数にアクセスしました。実行時の障害を特定して、型の階層または初期化の順序を修正してください。

例

例: 動的リストの割り当ての修正

入力（静的解析に失敗）:

void printInts(List<int> a) => print(a);

void main() {
  final list = []; // List<dynamic> として推論される
  list.add(1);
  list.add(2);
  printInts(list); // エラー: List<dynamic> を List<int> に割り当てられません
}

出力（静的解析に成功）:

void printInts(List<int> a) => print(a);

void main() {
  final list = <int>[]; // 明示的に型付け
  list.add(1);
  list.add(2);
  printInts(list);
}

例: メソッドのオーバーライドの修正（反変性）

入力（静的解析に失敗）:

class Animal {
  void chase(Animal a) {}
}

class Cat extends Animal {
  @override
  void chase(Mouse a) {} // エラー: パラメータ型を限定
}

出力（静的解析に成功）:

class Animal {
  void chase(Animal a) {}
}

class Cat extends Animal {
  @override
  void chase(covariant Mouse a) {} // 明示的に共変としてマーク
}

例: late による Null セーフティの修正

入力（静的解析に失敗）:

class Thermometer {
  String temperature; // エラー: null 非許容インスタンス フィールドは初期化する必要があります

  void read() {
    temperature = '20C';
  }
}

出力（静的解析に成功）:

class Thermometer {
  late String temperature; // 初期化チェックをランタイムに遅延

  void read() {
    temperature = '20C';
  }
}