鸿蒙ArkTS语言学习（四）：泛型&空安全&模块导入导出

鸿蒙开发之，ArkTS 开发语言了解

软件工程中，我们不仅要创建一致的定义良好的API，同时也要考虑可重用性。

泛型（Generics）是一种编程语言特性，允许在定义函数、类、接口等时使用占位符来表示类型，而不是具体的类型。泛型是一种在编写可重用、灵活且类型安全的代码时非常有用的功能。使用泛型的主要目的是为了处理不特定类型的数据，使得代码可以适用于多种数据类型而不失去类型检查。在泛型中，通常使用一些约定俗成的标识符，比如常见的T（表示 Type）、UV等，但实际上你可以使用任何标识符。T: 代表 “Type”，是最常见的泛型类型参数名。K, V: 用于表示键（Key）和值（Value）的泛型类型参数。

大概了解ArkTS的基础类型和用法和ts的大致基本相同，与Java也极其相似。本章节我们继续学习ArkTS类和接口、泛型等相关知识，为后续鸿蒙应用开发夯实基础。

在数字化浪潮的推动下，全球科技领域正经历着前所未有的变革。我国作为这一变革的积极参与者，不仅在多个科技前沿领域取得了显著成就，更在计算机操作系统这一核心技术领域孕育出了具有自主知识产权的创新成果—鸿蒙系统（HarmonyOS）。这一系统开发成功不仅是国人的骄傲，更是全球技术竞争中的一股新兴力量。鸿蒙系统的诞生，标志着我国在全球操作系统领域迈出了坚实的一步。凭借其独特的分布式架构、跨平台能力以及对开发者友好的设计理念，它为智能设备带来了全新的使用体验。

前面我们学习了 ArkTS基础知识 - 声明变量、常量、类型和函数，本文我们继续学习鸿蒙开发中使用ARKTS的类、接口、泛型、字段、方法、继承以及模块导出和导入的概念，为鸿蒙应用开发者提供了基础理论支持。学完本章，ArkTS的基础语法基本上就是学完了。希望这篇文章能够帮到你们。鸿蒙（HarmonyOS）北向开发知识点记录~鸿蒙（OpenHarmony）南向开发保姆级知识点汇总~鸿蒙应用开发与鸿蒙系统开发哪个更有前景？嵌入式开发适不适合做鸿蒙南向开发？看完这篇你就了解了~

目录1. 接口1.1 接口属性1.1.1 必需属性：1.1.2 可选属性：1.1.3 只读属性：1.1.4 函数类型的属性：1.2 接口继承1.3 接口实现2. 泛型2.1 泛型类2.2 泛型接口2.3 泛型约束2.4 泛型函数2.5 泛型默认值2.6 多个泛型参数 2.7 泛型约定3. 空安全3.1 非空断言运算符3.2 空值合并运算符3.3 可选链4. 模块4.1 导出（Export）4.2 导入（Import）4.2.1 静态导入4.2.2 动态导入4.2.3 全部导入4.2.4 导入HarmonyO

前面我们学习了 ArkTS基础知识 - 声明变量、常量、类型和函数，本文我们继续学习鸿蒙开发中使用ARKTS的类、接口、泛型、字段、方法、继承以及模块导出和导入的概念，为鸿蒙应用开发者提供了基础理论支持。

向开发者展示了在Stage模型中，如何调用已经上架的社区库和项目内创建的本地库。

4.声明一个异步函数名为（functionAwaitTPromiseName），带。3.声明一个函数名为（functionTPromiseName），带。2.声明一个函数名为（functionTName），带。1.声明一个函数名为（functionName），带。

/ 1. 字符串return arg// 2. 数字return arg// 3. 布尔return arg这几个函数实现的逻辑都是一样的，就只有传入和返回的类型不一样，如果还有很多其他类型的，那就要多写很多个相似的函数，那么能否只定义一个函数，实现一样的效果呢？return arg以上代码中，只是在函数名后面加了尖括号和T“”，然后分别把参数和返回值的类型也相应换成了T而已，就搞定啦~而其中最关键的是尖括号，在这里它是一个代表泛型的标记，固定写法；

●keyof 是 TypeScript 中用来获取对象类型所有键（属性名）的操作符。●可以使用 keyof 来定义泛型约束，限制泛型参数为某个对象的键。// 正确// 错误：Argument of type '"d"' is not assignable to parameter of type '"a" | "b" | "c"'

每个模块拥有独立作用域，未导出的内容视为私有。： ArkTS采用ES6模块化标准，通过。导出模块内的变量/方法/类，通过。重命名或整体导入避免冲突（如。动态加载模块（类似Java的。导出，常用于导出模块主功能。： 每个模块仅允许一个。

泛型类型的类型参数可以绑定。例如，HashMap容器中的Key类型参数必须具有哈希方法，即它应该是可哈希的。这样可以不指定实际的类型实参，而只使用泛型类型名称。在上面的例子中，Key类型扩展了Hashable，Hashable接口的所有方法都可以为key调用。继承接口包含被继承接口的所有属性和方法，还可以添加自己的属性和方法。泛型类型和函数允许创建的代码在各种类型上运行，而不仅支持单一类型。任何一个类的实例只要实现了特定接口，就可以通过该接口实现多态。接口是定义代码协定的常见方式。

ArkTS是HarmonyOS优选的主力应用开发语言。

import与export 概述 在 ES6 前， 实现模块化使用的是 RequireJS 或者 seaJS（分别是基于 AMD 规范的模块化库， 和基于 CMD 规范的模块化库）。 ES6 引入了模块化，其设计思想是在编译时就能确定模块的依赖关系，以及输入和输出的变量。 ES6 的模块化作为导出（export） @与导入（import）两个模块。 特点 ES6 的模块自动...

SDK对同一个Kit下的接口模块进行了封装，开发者在示例代码中可通过导入Kit的方式来使用Kit所包含的接口能力。在以下示例中，如果一个Person的实例有不为空的spouse属性，且spouse有不为空的nick属性，则输出spouse.nick。否则，这些语句将在执行模块的其他功能之前执行。每个模块都有其自己的作用域，即，在模块中创建的任何声明（变量、函数、类等）在该模块之外都不可见，除非它们被显式导出。方式三可能会导入过多无需使用的模块，导致编译后的HAP包太大，占用过多资源，请谨慎使用。

关系型数据库基于SQLite组件，适用于存储包含复杂关系数据的场景，比如一个班级的学生信息，需要包括姓名、学号、各科成绩等，又或者公司的雇员信息，需要包括姓名、工号、职位等，由于数据之间有较强的对应关系，复杂程度比键值型数据更高，此时需要使用关系型数据库来持久化保存数据。键值型数据库存储键值对形式的数据，当需要存储的数据没有复杂的关系模型，比如存储商品名称及对应价格、员工工号及今日是否已出勤等，由于数据复杂度低，更容易兼容不同数据库版本和设备类型，因此推荐使用键值型数据库持久化此类数据。

鸿蒙开发TS基础：ArkTS语言之空安全、非空断言运算符、空值合并运算符、可选链