87、探索Dart编程语言的核心特性与应用

探索Dart编程语言的核心特性与应用

1. Dart编程语言概述

Dart是一种基于类的、单继承的纯面向对象编程语言。它支持可选类型系统、具体化的泛型和接口。Dart程序可以进行静态检查，静态检查器会报告一些类型规则的违规情况，但这些违规并不会中止编译或阻止程序执行。Dart程序可以以两种模式之一执行：生产模式或检查模式。在生产模式下，静态类型注解对执行毫无影响。在检查模式下，赋值会进行动态检查，而类型系统的某些违反会在运行时引发异常。

Dart的代码总是单线程的，没有共享状态并发。并发通过类似演员的实体（称为isolates）支持。Isolate是一种并发单位，拥有自己的内存和控制线程。Isolates通过消息传递进行通信，且隔离单元之间从不共享状态。Isolates是通过生成创建的。

2. 变量与类型

2.1 变量声明

变量是内存中的存储位置。变量声明可以是：

variableDeclaration: declaredIdentifier(',' identifier)* ;

未初始化的变量具有初始值 null 。 final 变量只能在初始化时被赋值一次，否则会发生编译时错误。静态变量与特定实例无关，而是与整个库或类相关联。如果变量既是静态的又是最终的，必须被初始化为编译时常量，否则将发生编译时错误。

2.2 类型系统

Dart支持基于接口类型的可选类型系统。类型系统由于泛型类型的协变性而不健全。类型别名（ty