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

深入理解Dart编程语言规范

1. 概述

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

1.1 作用域

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

1.2 隐私保护

Dart支持两种隐私级别： public 和 private 。如果声明以下划线（ _ ）开头，则它是 private ；否则，它是 public 。私有声明只能在声明它们的库中访问。隐私保护主要是为了支持软件工程需求，而不是安全需求。不受信任的代码应在另一个隔离区中运行。

1.3 并发处理

Dart代码总是单线程的，没有共享状态并发。并发是通过类似演员的实体支持的，这些实体被称为 isolates 。 isolate 是并发单元，有自己的内存和控制线程。 isolates 通过消息传递进行通信，且彼此间不共享状态。