診斷訊息

本頁列出 Dart 分析器產生的診斷訊息，其中詳細說明這些訊息的意義以及如何修正程式碼。如需分析器的詳細資訊，請參閱自訂靜態分析。

分析器會針對不符合語言規格或可能以非預期方式運作的程式碼產生下列診斷訊息。

擴充 'AbiSpecificInteger' 的類別必須剛好有一個 const 建構子、沒有其他成員，且沒有類型參數。

當擴充 AbiSpecificInteger 的類別不符合以下所有需求時，分析器會產生此診斷訊息

• 必須剛好有一個建構子
• 建構子必須標記為 const
• 除了建構子之外，不得有任何其他成員
• 不得有任何類型參數

下列程式碼會產生此診斷訊息，因為類別 C 未定義 const 建構子

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8()})
final class C extends AbiSpecificInteger {
}

下列程式碼會產生此診斷訊息，因為建構子不是 const 建構子

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8()})
final class C extends AbiSpecificInteger {
  C();
}

下列程式碼會產生此診斷訊息，因為類別 C 定義了多個建構子

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8()})
final class C extends AbiSpecificInteger {
  const C.zero();
  const C.one();
}

下列程式碼會產生此診斷訊息，因為類別 C 定義了一個欄位

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8()})
final class C extends AbiSpecificInteger {
  final int i;

  const C(this.i);
}

下列程式碼會產生此診斷訊息，因為類別 C 具有類型參數

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8()})
final class C<T> extends AbiSpecificInteger { // type parameters
  const C();
}

變更類別，使其符合沒有類型參數且只有一個成員（即 const 建構子）的需求

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8()})
final class C extends AbiSpecificInteger {
  const C();
}

擴充 'AbiSpecificInteger' 的類別必須剛好有一個 'AbiSpecificIntegerMapping' 註解，指定從 ABI 到具有固定大小的 'NativeType' 整數的對應。

當擴充 AbiSpecificInteger 的類別具有多個 AbiSpecificIntegerMapping 註解時，分析器會產生此診斷訊息。

下列程式碼會產生此診斷訊息，因為類別 C 上有兩個 AbiSpecificIntegerMapping 註解

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8()})
@AbiSpecificIntegerMapping({Abi.linuxX64 : Uint16()})
final class C extends AbiSpecificInteger {
  const C();
}

移除除一個註解之外的所有註解，並視情況合併引數

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8(), Abi.linuxX64 : Uint16()})
final class C extends AbiSpecificInteger {
  const C();
}

擴充 'AbiSpecificInteger' 的類別必須剛好有一個 'AbiSpecificIntegerMapping' 註解，指定從 ABI 到具有固定大小的 'NativeType' 整數的對應。

當擴充 AbiSpecificInteger 的類別沒有 AbiSpecificIntegerMapping 註解時，分析器會產生此診斷訊息。

下列程式碼會產生此診斷訊息，因為類別 C 上沒有 AbiSpecificIntegerMapping 註解

import 'dart:ffi';

final class C extends AbiSpecificInteger {
  const C();
}

將 AbiSpecificIntegerMapping 註解新增至類別

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8()})
final class C extends AbiSpecificInteger {
  const C();
}

對 '{0}' 的無效對應；僅支援對 'Int8'、'Int16'、'Int32'、'Int64'、'Uint8'、'Uint16'、'UInt32' 和 'Uint64' 的對應。

當 AbiSpecificIntegerMapping 註解的 map 引數中的值不是下列整數類型之一時，分析器會產生此診斷訊息

• Int8
• Int16
• Int32
• Int64
• Uint8
• Uint16
• UInt32
• Uint64

下列程式碼會產生此診斷訊息，因為 map 條目的值是 Array<Uint8>，這不是有效的整數類型

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Array<Uint8>(4)})
final class C extends AbiSpecificInteger {
  const C();
}

使用其中一個有效類型作為 map 中的值

import 'dart:ffi';

@AbiSpecificIntegerMapping({Abi.macosX64 : Int8()})
final class C extends AbiSpecificInteger {
  const C();
}

抽象欄位不能有初始化器。

當具有 abstract 修飾詞的欄位也有初始化器時，分析器會產生此診斷訊息。

下列程式碼會產生此診斷訊息，因為 f 標記為 abstract 且具有初始化器

abstract class C {
  abstract int f = 0;
}

下列程式碼會產生此診斷訊息，因為 f 標記為 abstract 且建構子中有初始化器

abstract class C {
  abstract int f;

  C() : f = 0;
}

如果欄位必須是抽象的，則移除初始化器

abstract class C {
  abstract int f;
}

如果欄位不需要是抽象的，則移除關鍵字

abstract class C {
  int f = 0;
}

'sealed' 類別不能標記為 'abstract'，因為它已經隱含地是抽象的。

當使用 abstract 修飾詞和 sealed 修飾詞宣告類別時，分析器會產生此診斷訊息。密封類別隱含地是抽象的，因此不允許明確地同時使用這兩個修飾詞。

下列程式碼會產生此診斷訊息，因為類別 C 同時使用 abstract 和 sealed 宣告

abstract sealed class C {}

如果類別應該是抽象的但不是密封的，則移除 sealed 修飾詞

abstract class C {}

如果類別應該同時是抽象的和密封的，則移除 abstract 修飾詞

sealed class C {}

父類型中的 {0} '{1}' 永遠是抽象的。

當使用 super 參考繼承的成員，但父類別鏈中沒有成員的具體實作時，分析器會產生此診斷訊息。抽象成員無法叫用。

下列程式碼會產生此診斷訊息，因為 B 未繼承 a 的具體實作

abstract class A {
  int get a;
}
class B extends A {
  int get a => super.a;
}

移除抽象成員的叫用，可能以叫用具體成員取代。

名稱 '{0}' 定義於程式庫 '{1}' 和 '{2}' 中。

當兩個或多個匯出指示詞導致從多個程式庫匯出相同的名稱時，分析器會產生此診斷訊息。

假設檔案 a.dart 包含

class C {}

以及檔案 b.dart 包含

class C {}

下列程式碼會產生此診斷訊息，因為名稱 C 同時從 a.dart 和 b.dart 匯出

export 'a.dart';
export 'b.dart';

如果其中一個程式庫中的名稱都不需要匯出，則移除不必要的匯出指示詞

export 'a.dart';

如果所有匯出指示詞都是必要的，則在除一個指示詞之外的所有指示詞中隱藏名稱

export 'a.dart';
export 'b.dart' hide C;

名為 '{0}' 的成員定義於 '{1}' 和 '{2}' 中，且兩者都不更具體。

名為 '{0}' 的成員定義於 {1} 中，且沒有任何一個更具體。

當程式碼參考物件的成員（例如，o.m() 或 o.m 或 o[i]），其中 o 的靜態類型未宣告成員（例如 m 或 []）時，分析器會嘗試在擴充功能中尋找成員。例如，如果成員是 m，則分析器會尋找宣告名為 m 的成員且具有 o 的靜態類型可賦值給的擴充類型之擴充功能。當範圍內有多個此類擴充功能時，會選取擴充類型最具體的擴充功能。

當沒有任何擴充功能的擴充類型比所有其他擴充功能的擴充類型更具體時，分析器會產生此診斷訊息，使得成員的參考不明確。

下列程式碼會產生此診斷訊息，因為無法在 E1 中的成員和 E2 中的成員之間做出選擇

extension E1 on String {
  int get charCount => 1;
}

extension E2 on String {
  int get charCount => 2;
}

void f(String s) {
  print(s.charCount);
}

如果您不需要兩個擴充功能，則可以刪除或隱藏其中一個。

如果您需要兩個擴充功能，則使用擴充功能覆寫明確選取您想要使用的擴充功能

extension E1 on String {
  int get charCount => length;
}

extension E2 on String {
  int get charCount => length;
}

void f(String s) {
  print(E2(s).charCount);
}

名稱 '{0}' 定義於程式庫 {1} 中。

當參考的名稱在兩個或多個匯入的程式庫中宣告時，分析器會產生此診斷訊息。

假設一個程式庫 (a.dart) 定義一個類別 (本範例中的 C)

class A {}
class C {}

以及一個程式庫 (b.dart) 定義一個具有相同名稱的不同類別

class B {}
class C {}

下列程式碼會產生此診斷訊息

import 'a.dart';
import 'b.dart';

void f(C c1, C c2) {}

如果不需要任何程式庫，則移除其匯入指示詞

import 'a.dart';

void f(C c1, C c2) {}

如果名稱仍然由多個程式庫定義，則將 hide 子句新增至除一個程式庫之外的所有程式庫的匯入指示詞

import 'a.dart' hide C;
import 'b.dart';

void f(C c1, C c2) {}

如果您必須能夠參考多個這些類型，則為每個匯入指示詞新增前置詞，並使用適當的前置詞限定參考

import 'a.dart' as a;
import 'b.dart' as b;

void f(a.C c1, b.C c2) {}

字面值不能是 map 或 set，因為它至少包含一個字面值 map 條目或展開運算子展開 'Map'，以及至少一個不是這些的元素。

由於 map 和 set 字面值使用相同的分隔符號（{ 和 }），因此分析器會查看類型引數和元素，以判斷您意指的字面值種類。當沒有類型引數時，分析器會使用元素的類型。如果所有元素都是字面值 map 條目，且所有展開運算子都在展開 Map，則它是 Map。如果沒有任何元素是字面值 map 條目，且所有展開運算子都在展開 Iterable，則它是 Set。如果這兩者都不成立，則不明確。

當至少一個元素是字面值 map 條目或展開運算子展開 Map，且至少一個元素不是這些時，分析器會產生此診斷訊息，使得分析器無法判斷您正在撰寫 map 字面值還是 set 字面值。

下列程式碼會產生此診斷訊息

union(Map<String, String> a, List<String> b, Map<String, String> c) =>
    {...a, ...b, ...c};

清單 b 只能展開到 set 中，而 map a 和 c 只能展開到 map 中，且字面值不能同時是兩者。

有兩種常見的方法可以解決這個問題。第一種方法是移除所有種類的展開元素，使元素保持一致。在這種情況下，這可能意味著移除列表，並決定如何處理現在未使用的參數。

union(Map<String, String> a, List<String> b, Map<String, String> c) =>
    {...a, ...c};

第二種解決方法是將其中一種元素更改為與其他元素一致的元素。例如，您可以將列表的元素添加為鍵，並將它們映射到自身。

union(Map<String, String> a, List<String> b, Map<String, String> c) =>
    {...a, for (String s in b) s: s, ...c};

這個字面值必須是 map 或 set，但元素沒有足夠的資訊來進行型別推斷。

因為 map 和 set 字面值使用相同的分隔符號 ({ 和 })，所以分析器會查看型別引數和元素，以判斷您指的是哪種字面值。當沒有型別引數且所有元素都是展開元素（這在兩種字面值中都允許）時，分析器會使用正在展開的表達式的型別。如果所有表達式都具有 Iterable 型別，則它是 set 字面值；如果它們都具有 Map 型別，則它是 map 字面值。

當展開的表達式都沒有允許分析器判斷您正在編寫 map 字面值還是 set 字面值的型別時，就會產生此診斷訊息。

下列程式碼會產生此診斷訊息

union(a, b) => {...a, ...b};

問題發生是因為沒有型別引數，並且沒有關於 a 或 b 型別的資訊。

有三種常見的方法可以解決這個問題。第一種方法是向字面值添加型別引數。例如，如果字面值旨在成為 map 字面值，您可以這樣寫

union(a, b) => <String, String>{...a, ...b};

第二種解決方法是添加型別資訊，使表達式具有 Iterable 型別或 Map 型別。您可以添加顯式轉換，或者在這種情況下，為兩個參數的宣告添加型別。

union(List<int> a, List<int> b) => {...a, ...b};

第三種解決方法是添加上下文資訊。在這種情況下，這意味著為函數添加回傳型別。

Set<String> union(a, b) => {...a, ...b};

在其他情況下，您可能在其他地方添加型別。例如，假設原始程式碼如下所示

union(a, b) {
  var x = {...a, ...b};
  return x;
}

您可以像這樣在 x 上添加型別註解

union(a, b) {
  Map<String, String> x = {...a, ...b};
  return x;
}

結構 (struct) 類別中型別為 'Pointer' 的欄位不應有任何註解。

當在 Struct 子類別中宣告且型別為 Pointer 的欄位也帶有相關的註解時，分析器會產生此診斷訊息。

有關 FFI 的更多資訊，請參閱 使用 dart:ffi 的 C 互操作。

以下程式碼產生此診斷訊息，因為欄位 p 的型別為 Pointer，並且在 Struct 的子類別中宣告，但帶有註解 @Double()

import 'dart:ffi';

final class C extends Struct {
  @Double()
  external Pointer<Int8> p;
}

從欄位中移除註解

import 'dart:ffi';

final class C extends Struct {
  external Pointer<Int8> p;
}

引數 '{0}' 必須是常數。

當 Pointer.asFunction 或 DynamicLibrary.lookupFunction 的調用具有 isLeaf 引數，但其值不是常數表達式時，分析器會產生此診斷訊息。

當 Pointer.fromFunction 或 NativeCallable.isolateLocal 的調用具有 exceptionalReturn 引數，但其值不是常數表達式時，分析器也會產生此診斷訊息。

有關 FFI 的更多資訊，請參閱 使用 dart:ffi 的 C 互操作。

以下程式碼產生此診斷訊息，因為 isLeaf 引數的值是一個參數，因此不是常數。

import 'dart:ffi';

int Function(int) fromPointer(
    Pointer<NativeFunction<Int8 Function(Int8)>> p, bool isLeaf) {
  return p.asFunction(isLeaf: isLeaf);
}

如果有適合使用的常數，則將引數替換為常數。

import 'dart:ffi';

const isLeaf = false;

int Function(int) fromPointer(Pointer<NativeFunction<Int8 Function(Int8)>> p) {
  return p.asFunction(isLeaf: isLeaf);
}

如果沒有適合的常數，則將引數替換為布林字面值。

import 'dart:ffi';

int Function(int) fromPointer(Pointer<NativeFunction<Int8 Function(Int8)>> p) {
  return p.asFunction(isLeaf: true);
}

'Native.addressOf' 的引數必須使用 @Native 註解。

當傳遞給 Native.addressOf 的引數未使用 Native 註解時，分析器會產生此診斷訊息。

以下程式碼產生此診斷訊息，因為 addressOf 的引數是一個字串，而不是欄位，而字串不能被註解。

import 'dart:ffi';

@Native<Void Function()>()
external void f();

void g() {
  print(Native.addressOf('f'));
}

以下程式碼產生此診斷訊息，因為函數 f 被傳遞給 addressOf，但未註解為 Native。

import 'dart:ffi';

external void f();

void g() {
  print(Native.addressOf<NativeFunction<Void Function()>>(f));
}

如果引數既不是欄位也不是函數，則將引數替換為使用 Native 註解的欄位或函數。

import 'dart:ffi';

@Native<Void Function()>()
external void f();

void g() {
  print(Native.addressOf<NativeFunction<Void Function()>>(f));
}

如果引數是欄位或函數，則使用 Native 註解欄位或函數。

import 'dart:ffi';

@Native<Void Function()>()
external void f();

void g() {
  print(Native.addressOf<NativeFunction<Void Function()>>(f));
}

引數型別 '{0}' 無法指派給參數型別 '{1}'。{2}

當引數的靜態型別無法指派給對應參數的靜態型別時，分析器會產生此診斷訊息。

以下程式碼產生此診斷訊息，因為 num 無法指派給 String。

String f(String x) => x;
String g(num y) => f(y);

如果可能，請重寫程式碼，使靜態型別可指派。在上面的範例中，您或許可以更改參數 y 的型別。

String f(String x) => x;
String g(String y) => f(y);

如果無法進行該修正，則添加程式碼來處理引數值不是所需型別的情況。一種方法是將其他型別強制轉換為所需的型別。

String f(String x) => x;
String g(num y) => f(y.toString());

另一種方法是添加顯式型別測試和後備程式碼。

String f(String x) => x;
String g(Object y) => f(y is String ? y : '');

如果您認為引數的執行時期型別將始終與參數的靜態型別相同，並且您願意承擔在錯誤時執行時期拋出例外狀況的風險，則添加顯式轉換。

String f(String x) => x;
String g(num y) => f(y as String);

引數型別 '{0}' 無法指派給參數型別 '{1} Function(Object)' 或 '{1} Function(Object, StackTrace)'。

當 Future.catchError 的調用具有一個引數，該引數是一個函數，其參數與在調用函數時將傳遞給函數的引數不相容時，分析器會產生此診斷訊息。 catchError 第一個引數的靜態型別只是 Function，即使傳入的函數預期具有型別為 Object 的單個參數，或型別為 Object 和 StackTrace 的兩個參數。

以下程式碼產生此診斷訊息，因為傳遞給 catchError 的閉包不接受任何參數，但函數需要至少接受一個參數。

void f(Future<int> f) {
  f.catchError(() => 0);
}

以下程式碼產生此診斷訊息，因為傳遞給 catchError 的閉包接受三個參數，但它不能有超過兩個的必要參數。

void f(Future<int> f) {
  f.catchError((one, two, three) => 0);
}

以下程式碼產生此診斷訊息，因為即使傳遞給 catchError 的閉包接受一個參數，但閉包的型別與 Object 不相容。

void f(Future<int> f) {
  f.catchError((String error) => 0);
}

更改傳遞給 catchError 的函數，使其具有一個或兩個必要參數，並且參數具有所需的型別。

void f(Future<int> f) {
  f.catchError((Object error) => 0);
}

重新導向建構子不能有 'assert' 初始化子。

當重新導向建構子（重新導向到同一類別中另一個建構子的建構子）在初始化列表中具有 assert 時，分析器會產生此診斷訊息。

以下程式碼產生此診斷訊息，因為未命名的建構子是重新導向建構子，並且在初始化列表中也具有 assert。

class C {
  C(int x) : assert(x > 0), this.name();
  C.name() {}
}

如果不需要 assert，則將其移除。

class C {
  C(int x) : this.name();
  C.name() {}
}

如果需要 assert，則將建構子轉換為工廠建構子。

class C {
  factory C(int x) {
    assert(x > 0);
    return C.name();
  }
  C.name() {}
}

資源目錄 '{0}' 不存在。

當資源列表包含引用不存在目錄的值時，分析器會產生此診斷訊息。

假設目錄 assets 不存在，則以下程式碼產生此診斷訊息，因為它被列為包含資源的目錄。

name: example
flutter:
  assets:
    - assets/

如果路徑正確，則在該路徑建立一個目錄。

如果路徑不正確，則更改路徑以匹配包含資源的目錄的路徑。

資源檔案 '{0}' 不存在。

當資源列表包含引用不存在檔案的值時，分析器會產生此診斷訊息。

假設檔案 doesNotExist.gif 不存在，則以下程式碼產生此診斷訊息，因為它被列為資源。

name: example
flutter:
  assets:
    - doesNotExist.gif

如果路徑正確，則在該路徑建立一個檔案。

如果路徑不正確，則更改路徑以匹配包含資源的檔案的路徑。

'assets' 欄位的值預期為相對檔案路徑的列表。

當 assets 鍵的值不是列表時，分析器會產生此診斷訊息。

以下程式碼產生此診斷訊息，因為 assets 鍵的值是一個字串，但預期為列表。

name: example
flutter:
  assets: assets/

更改資源列表的值，使其成為列表。

name: example
flutter:
  assets:
    - assets/

資源映射條目必須包含 'path' 欄位。

當資源映射缺少 path 值時，分析器會產生此診斷訊息。

以下程式碼產生此診斷訊息，因為資源映射缺少 path 值。

name: example
flutter:
  assets:
    - flavors:
      - premium

更改資源映射，使其包含具有字串值（有效的 POSIX 風格檔案路徑）的 path 欄位。

name: example
flutter:
  assets:
    - path: assets/image.gif
      flavors:
      - premium

資源必須是檔案路徑（字串）。

當 assets 列表包含不是字串的值時，分析器會產生此診斷訊息。

以下程式碼產生此診斷訊息，因為 assets 列表包含一個映射。

name: example
flutter:
  assets:
    - image.gif: true

更改 assets 列表，使其僅包含有效的 POSIX 風格檔案路徑。

name: example
flutter:
  assets:
    - assets/image.gif

資源值必須是檔案路徑（字串）或映射。

當資源值不是字串或映射時，分析器會產生此診斷訊息。

以下程式碼產生此診斷訊息，因為資源值是一個列表。

name: example
flutter:
  assets:
    - [one, two, three]

如果您需要指定的不僅僅是資源的路徑，則將該值替換為具有 path 鍵（有效的 POSIX 風格檔案路徑）的映射。

name: example
flutter:
  assets:
    - path: assets/image.gif
      flavors:
      - premium

如果您只需要指定路徑，則將該值替換為資源的路徑（有效的 POSIX 風格檔案路徑）。

name: example
flutter:
  assets:
    - assets/image.gif

資源路徑必須是檔案路徑（字串）。

當資源映射包含不是字串的 path 值時，分析器會產生此診斷訊息。

以下程式碼產生此診斷訊息，因為資源映射包含一個 path 值，該值是一個列表。

name: example
flutter:
  assets:
    - path: [one, two, three]
      flavors:
      - premium

更改 asset 映射，使其包含一個 path 值，該值是一個字串（有效的 POSIX 風格檔案路徑）。

name: example
flutter:
  assets:
    - path: image.gif
      flavors:
      - premium

'{0}' 標記為 'doNotStore'，不應指派給欄位或頂層變數。

當函數（包括方法和 getter）的值（明確或隱含地標記為 doNotStore 註解）儲存在欄位或頂層變數中時，分析器會產生此診斷訊息。