53、深入理解Dart编程语言的关键特性

深入理解Dart编程语言的关键特性

1. Dart语言概述

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

Dart的类型系统是基于接口的，且类型注解在生产模式下不会影响程序的行为。这意味着Dart的类型系统是可选的，但在开发阶段可以帮助开发者发现潜在的错误。

2. 变量与类型

2.1 变量声明

Dart中的变量声明可以是顶层的、局部的或类成员。变量声明可以包含类型注解，也可以不包含，未指定类型的变量默认为 Dynamic 类型。所有未初始化的变量都具有初始值 null ，无论其类型是什么。因此，数值变量最好显式初始化，以避免默认初始化为0。

int x = 42; // 显式类型声明
var y = "Hello"; // 隐式类型推断

2.2 类型系统

Dart支持可选类型系统，这意味着类型注解是可选的，但它们在静态检查和检查模式下运行程序时非常有用。类型系统中的 Dynamic 类型表示未知类型，如果未提供类型注解，默认使用 Dynamic