深入理解 Dart 中的类型系统和泛型

最新推荐文章于 2025-03-07 22:32:27 发布

熊喵先生

最新推荐文章于 2025-03-07 22:32:27 发布

阅读量654

点赞数 1

分类专栏： Dart 入门实践

本文链接：https://blog.youkuaiyun.com/u013064109/article/details/108728326

版权

Dart 入门实践专栏收录该内容

26 篇文章 ¥39.90 ¥99.00

订阅专栏

本文深入探讨了Dart的类型系统，包括可选类型、接口类型和泛型。Dart的可选类型允许代码简洁但可能导致类型混乱，而不支持函数重载。接口类型通过类声明隐式实现。在泛型方面，Dart支持泛型类、函数和集合，并详细阐述了子类、子类型、子类型化关系、协变以及与Kotlin泛型安全性的对比。最后，文章介绍了类型检测和强制类型转换的概念。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Dart 中的类型系统不够严格，这当然和它的历史原因有关。在 Dart 最开始诞生之初，它的定位是一门像 JavaScript 一样的动态语言，动态语言的类型系统是比较松散的，所以在 Dart 类型也是可选的。然后动态语言类型系统松散对开发者并不是一件好事，程序逻辑一旦复杂，松散的类型可能就变得混乱，分析起来非常痛苦，但是有静态类型检查可以在编译的时候就快速定位问题所在。

其实，Dart 类型系统不够严格，这一点不仅仅体现在可选类型上和还没有划分可空与非空类型上，甚至还体现 Dart 中的泛型类型安全上，这一点我会通过对比 Kotlin 和 Dart 中泛型实现。你会发现 Dart 和 Kotlin 泛型安全完全走不是一个路子，而且 Dart 泛型安全是不可靠的，但是也会发现 Dart 2.0 之后对这块做很大的改进。

1. 可选类型

在 Dart 中的类型实际上是可选的，也就是在 Dart 中函数类型，参数类型，变量类型是可以直接省略的。

sum(a, b, c, d) {//函数参数类型和返回值类型可以省略
  return a + b + c + d;
}

main() {
  print('${sum(10, 12, 14, 12)}');//正常运行
}

上述的 sum 函数既没有返回值类型也没有参数类型，可能有的人会疑惑，如果 sum

了解本专栏