dart-fix-runtime-errors

目次

• 型システムと健全性
• Null 安全と変数の初期化
• エラーと例外の処理
• ワークフロー: 静的解析と実行時障害の解決
• 例

型システムと健全性

Dart は健全な型システムを強制し、変数が実行時にコンパイル時の型と一致することを保証します。実行時の型エラーを防ぐには:

• メソッドのオーバーライド: サブクラスのオーバーライドが共変の戻り値の型と反変のパラメータ型を維持していることを確認してください。安全性チェックをオーバーライドするために covariant キーワードを明示的に使用する場合を除き、サブクラスでパラメータ型を厳しくしてはいけません。
• ジェネリクスとコレクション型: 型付けされていないコレクション(例えば List<dynamic>)を、強い型付けのターゲットに直接代入することは避けてください。リストやマップの初期化時には、常に明示的なジェネリックパラメータ(例えば List<String>)を指定してください。
• 明示的なダウンキャスト: dynamic の値からの暗黙的なダウンキャストは避けてください。明示的な型キャスト(例えば as List<Map<String, dynamic>>)は、基になる構造が一致することが保証されている場合にのみ使用してください。
• 厳格な設定: プロジェクトの analysis_options.yaml で厳格なキャスト設定を有効にし、明示的なキャストを強制して、コード解析中に動的型付けのバグを検出します:

  analyzer:
    language:
      strict-casts: true
  

Null 安全と変数の初期化

変数の状態を適切に管理し、コンパイル時のアナライザーエラーや実行時のヌルポインタ例外を回避します:

• Null 許容インジケーター: null 値を保持できる型には ? を付けます。値が確実に非 null であると断言する場合にのみ ! を使用してください。
• 遅延初期化: late キーワードは、変数が最初のアクセスの前に初期化されることが保証されている場合にのみ適用してください。late 変数が初期化前にアクセスされると、実行時に LateInitializationError がスローされます。
• ワイルドカード変数: 意図的に未読のローカルパラメータや変数を宣言するには、単一のアンダースコア _(モダンな Dart バージョンでサポート)を使用し、未使用変数の lint を満たします。

エラーと例外の処理

回復可能なアプリの障害(例外)と回復不能なバグ(エラー)を区別します:

• 例外のキャッチ: try-catch ブロックを実装して、Exception のサブクラス(例えば FormatException、SocketException)をキャッチして処理します。これらはアプリケーションが適切に処理すべき予期される実行時障害を表します。
• エラーのキャッチを避ける: Error やそのサブクラス(例えば TypeError、RangeError)をキャッチしないでください。エラーは開発中に修正すべきコーディングのバグを表し、実行時に抑制してはいけません。
• 再スロー: ログ記録やクリーンアップのために例外をキャッチする場合、キャッチした例外を再度スローするのではなく、常に rethrow キーワードを使用してください。rethrow は元のスタックトレースを保持します。

ワークフロー: 静的解析と実行時障害の解決

静的および実行時のバグを特定、修正、検証するには、このチェックリストに従ってください:

• 静的アナライザーを実行: プロジェクトのルートで dart analyze . --fatal-infos を実行します。
• 自動修正を適用: 以下を使用して機械的な調整をプレビューし、適用します:

  dart fix --dry-run
  dart fix --apply
  

• 手動修正を特定: 複雑な警告に対処します:
  • null 許容の競合が報告された場合: ビジネスロジックを評価し、合体演算子 ?? を使用してデフォルトを指定するか、null 認識チェーン ?. を使用します。
  • 共変の不一致が報告された場合: サブクラスのパラメータを調整するか、covariant 修飾子を適用します。
• テストの実行: dart test または flutter test を実行して、実行時の健全性を確認します。
• late の状態変化を検証: 実行時に TypeError または LateInitializationError が発生した場合はスタックトレースを検査し、初期化フローを修正します。

例

動的リスト代入の修正

// Fails Static Analysis due to List<dynamic> assignment:
void printScores(List<int> scores) => print(scores);

void badMain() {
  final scores = []; // Inferred as List<dynamic>
  scores.add(90);
  printScores(scores); // Error: List<dynamic> cannot be assigned to List<int>
}

// Corrected Implementation:
void goodMain() {
  final scores = <int>[]; // Explicitly typed
  scores.add(90);
  printScores(scores); // Compiles and runs safely
}

メソッドのオーバーライドと共変

class Worker {
  void performTask(Task t) {}
}

// Fails Static Analysis: Tightening parameter type from Task to CodingTask
class SoftwareEngineer extends Worker {
  @override
  void performTask(CodingTask t) {} 
}

// Corrected Implementation using the covariant keyword:
class LeadSoftwareEngineer extends Worker {
  @override
  void performTask(covariant CodingTask t) {} 
}

late 初期化の安全な管理

class DatabaseClient {
  // Late keyword defers null safety checks to runtime
  late final String connectionString;

  void initialize(String url) {
    connectionString = url;
  }

  void connect() {
    // If connect() is called before initialize(), this throws a LateInitializationError
    print('Connecting to $connectionString');
  }
}