首页 文章

Flutter Future <dynamic> vs. Future <String>子类型错误?

提问于
浏览
0

我刚刚更新了Flutter并成功从 git 下载了原始项目 . 现在我得到一个奇怪的 Future 错误 . 我在github上看到了它的在线提及,但没有关于如何修复的明确答案 . 该项目甚至没有加载 . 它从我的main.dart文件中读取Future语句并返回此...

[VERBOSE-2:dart_error.cc(16)]未处理的异常:类型'Future dynamic'不是'Future String'类型的子类型,其中Future来自dart:async Future来自dart:async String来自dart:core

***不确定错误在哪里 . 我的飞镖分析说“等待期货” . 这是我在我的小部件开始构建之前运行的期货代码...

Future<Null> getData() async{
    FirebaseUser user = await FirebaseAuth.instance.currentUser;
    user = FirebaseAuth.instance.currentUser;
    var userid = user.uid;
    fb.child('users/${userid}').onValue.listen((Event event) {
      if (event.snapshot.value != null) {
        name = event.snapshot.value['displayName'];
        image = event.snapshot.value['image'];
      } else {
        name = "User";
      }
    });
  }

1 回答

  • 3

    好 . 我想我明白了 .

    Dart 1.0,是一种软式语言,所以类似于

    main() async {  
      print(await getData()); 
    }
    
    Future<Null> getDatare() async{return "a";}
    

    会打印“a”

    问题在于Dart 2.0是一种打字语言,因此Future实际上具有意义 . 这里发生的事情(简而言之)就是Future变成了FutureNull,你无法从FutureNull中获取一个String(因为它只包含一个Null) .

    实际上,这种情况曾经让我感到痛苦[1],但如果你想一想,那就有道理了 . 看下面的代码:

    List<dynamic> l = ["a", "b", "c", "d"];
    List<String> d = l;
    

    甚至更多

    List<int> l = [1,2,3,4];
    List<double> d = l;
    

    Flutter会崩溃 . 为什么?因为想想这里发生的事情:

    什么是“l”?

    ----------------------
    | int | int | int | int |
    ----------------------
    

    什么是“d”?

    ---------------------------------------------
    | double | double | double | double |
    ---------------------------------------------
    

    那么如何在“l”和“d”之间进行转换?

    您必须创建一个新的双精度列表,然后将值复制到l中,将其转换为double,然后将其存储在"d"中 .

    但这不仅适用于列表 . 它适用于所有泛型 .

    当你有类似 A<B> 的东西时,它与 A<C> 完全不同,你不能简单地从一个转换为另一个,并且出于同样的原因:

    请使用以下代码:

    class Box<T> {
      T a;
      Box(T v) {
        a=v;
      }
      T getVal() {
        return a;
      }
      }
    

    现在将Box转换为Box . 没有意义,对吧?我可以这样做吗?

    Box<int> i = new Box(5);
    Box<String> s= new Box("a");
    i + (s as Box<int>)
    

    所以这里真正发生的是Box变为BoxInt,Box变为BoxString(编译器用“int”或“T”替换标识符“T”和“String”) .

    所以你在这里有同样的事情:你必须取消未来的 Value ,然后使用它 . 在你的情况下(实际上,你的情况有一个额外的问题 - 你没有返回任何东西)你可能想要一个Future然后 await 那个Future并获得一个String .


    [1] . 它是怎么咬我的?来自Kotlin(或任何其他JVM语言),我习惯于能够做类似的事情:

    List<A> a = ...;
    List<B> b = a;
    

    没问题 . 为什么?因为JVM没有真正的泛型 . 它的作用被称为“类型擦除”,它真正发生了什么:

    List<Object> a = ...;
    List<Object> b = a;
    

    嗯,这显然有效,因为所有 List 都持有一个指向对象的指针,在运行时确定 .

    这是因为Java 1.0(不像Dart)从来没有使用泛型并且它们被用螺栓固定,因此为了向后兼容,它们使得泛型比它们可能具有更少的类型安全性 .

    所以Dart(或C或Rust或Go数组)将泛型视为单态,而Java将它们视为多态代码(将“T”视为指针) .

相关问题