80、深入理解Dart编程语言规范

深入理解Dart编程语言规范

1 Dart编程语言概述

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

Dart代码总是单线程的，不支持共享状态并发。并发通过类似演员的实体支持，这些实体被称为isolates。Isolate是并发的单位，拥有自己的内存和控制线程。Isolates通过消息传递进行通信，不共享状态。Isolates是通过生成创建的。

2 作用域与隐私

Dart是词法作用域的，并且对变量、函数和类型使用单一命名空间。如果在同一作用域内声明了两个同名的实体，这将是一个编译时错误。内部作用域中的名称可能会隐藏外部作用域中的名称，但如果一个声明引入了一个在词法上包含作用域中可用的名称，这将是一个静态警告。

Dart支持两种隐私级别：public和private。如果声明以下划线字符开头，则它是private；否则，它是public。private声明只能在声明它们的库内访问。Dart的隐私设计旨在支持软件工程需求而非安全需求，因此不受信任的代码应在另一个隔离区内运行。

3 类与接口

类定义了一组对象的形式和行为，这些对象是它的实例。类包括构造函数、实例方法、获取器、设置器和实例变量。每个类都有一个单一的父类，除了类 Object 没有父类