鸿蒙ArkTS开发：变量与数据类型详解

1. 鸿蒙ArkTS开发基础：变量与数据类型详解

作为一名从Android转型鸿蒙开发的程序员，我深知打好基础的重要性。变量和数据类型就像建房子的砖块，是编写任何代码的基础。在鸿蒙应用开发中，ArkTS作为主力开发语言，其变量和数据类型的用法与JavaScript/TypeScript有些相似，但也有自己的特色和规范。下面我将结合自己踩过的坑，详细讲解这些基础知识。

1.1 开发环境准备

在开始之前，我们需要准备好开发环境。我推荐使用DevEco Studio 6.0+版本，它提供了完善的鸿蒙开发支持。创建一个新项目时，选择"Empty Ability"模板，命名为"VariableTypeDemo"。

项目结构清晰很重要，我习惯这样组织代码：

code复制entry/src/main/ets/
├── entryability/    # 应用入口
├── pages/           # 页面组件
│   └── Index.ets    # 主页面
└── utils/           # 工具类
    └── VariableType.ets # 本节的代码

提示：在实际项目中，建议尽早建立良好的目录结构习惯。把业务逻辑代码放在utils目录下，保持页面文件简洁，这样后期维护会轻松很多。

2. 变量声明：let与const的区别

2.1 let声明可变变量

let用于声明可以重新赋值的变量，这是最常用的变量声明方式。例如记录用户的分数：

typescript复制let score: number = 80;
score = 90; // 合法操作
console.log(`当前分数：${score}`);

在实际开发中，我常用let来声明会随着用户操作而改变的状态，比如表单输入值、页面切换标志等。

2.2 const声明常量

const用于声明不可变的常量，一旦初始化就不能重新赋值：

typescript复制const PI: number = 3.1415926;
// PI = 3.14; // 编译错误：不能重新赋值

我强烈建议优先使用const，除非确实需要修改变量值。这样做的好处是：

1. 代码更安全，避免意外修改
2. 提高可读性，一看就知道这个值不会变
3. 有助于性能优化

避坑指南：const只能保证变量引用的不变性，如果变量是对象或数组，其内部属性仍然可以修改。这点我们会在后续对象章节详细讨论。

2.3 类型推断特性

ArkTS具有强大的类型推断能力，可以省略类型注解：

typescript复制let name = "张三"; // 自动推断为string
const age = 20;    // 自动推断为number
let isStudent = true; // 自动推断为boolean

虽然类型推断很方便，但我建议在团队开发中还是显式声明类型，这样代码更清晰，也减少潜在的错误。

3. 基本数据类型详解

3.1 数字类型(number)

ArkTS中的number类型涵盖了所有数值，包括整数、小数、负数等：

typescript复制let integer: number = 100;    // 整数
let decimal: number = 3.14;   // 小数
let negative: number = -10;   // 负数
let scientific = 1.23e5;      // 科学计数法(123000)

在实际项目中，我常用number来处理各种数值计算，比如：

• 商品价格和折扣计算
• 进度百分比
• 动画的插值参数
• 视图的尺寸和位置

性能提示：虽然number可以表示所有数值，但在处理大量整数运算时，使用位运算符(如|0)可以将数值转换为32位整数，有时能提升性能。

3.2 字符串类型(string)

字符串是开发中最常用的类型之一，ArkTS支持三种声明方式：

typescript复制// 双引号
let str1: string = "Hello";

// 单引号
let str2: string = 'World';

// 模板字符串(推荐)
let str3: string = `${str1} ${str2}!`;

模板字符串是我最推荐的方式，因为它支持：

1. 变量插值：直接嵌入$
2. 多行文本：保持换行格式
3. 标签模板：高级用法(后续讲解)

实际应用场景举例：

typescript复制// 用户信息拼接
const userInfo = `
  姓名：${name}
  年龄：${age}
  职业：${job}
`.trim();

实用技巧：模板字符串中使用.trim()可以去除首尾空白，保持代码整洁的同时不影响输出格式。

3.3 布尔类型(boolean)

布尔类型只有true和false两个值，用于逻辑判断：

typescript复制let isLoaded: boolean = false;
let hasPermission: boolean = true;

与JavaScript不同，ArkTS中的布尔值不能与其他类型自动转换：

typescript复制if (isLoaded) { /* 合法 */ }
// if (1) { /* 编译错误：数字不能作为条件 */ }

这点在刚开始使用时容易犯错，需要特别注意。我建议：

• 明确使用布尔值做条件判断
• 避免隐式类型转换
• 复杂的条件可以拆分成多个布尔变量

4. 空值与联合类型

4.1 null和undefined的区别

• null：表示"没有值"，通常是我们主动设置的
• undefined：表示"未定义"，通常是系统默认的

typescript复制let empty: null = null;          // 明确设置为空
let notDefined: undefined;       // 未初始化，自动为undefined

4.2 联合类型的必要性

ArkTS要求null/undefined必须与联合类型一起使用：

typescript复制// 错误：单独使用null类型没有意义
// let bad: null = null; 

// 正确：使用联合类型
let username: string | null = "张三";
username = null; // 可以设置为null

联合类型的语法是类型1 | 类型2，表示变量可以是其中任意一种类型。

4.3 实际应用场景

1. 用户头像(可能未设置)：

typescript复制let avatar: string | null = null;

2. 接口返回数据(可能失败)：

typescript复制let response: UserData | undefined;

3. 多状态标志：

typescript复制let status: 'loading' | 'success' | 'error';

经验分享：在设计接口时，我习惯用联合类型明确表达可能的状态，这样代码更健壮，类型检查也能帮我们提前发现问题。

5. 代码规范与最佳实践

5.1 命名规范

良好的命名习惯能让代码更易读：

1. 变量/函数：小驼峰式(userName)
2. 常量：全大写加下划线(MAX_SIZE)
3. 类/接口：大驼峰式(UserModel)

我总结的命名原则：

• 见名知意，避免缩写
• 长度适中(3-20个字符)
• 保持一致性(整个项目统一风格)

5.2 注释规范

合理的注释能提高代码可维护性：

1. 单行注释：

typescript复制// 计算折扣后的价格
const price = original * discount;

2. 多行注释：

typescript复制/**
 * 用户登录验证
 * @param username 用户名
 * @param password 密码
 * @returns 验证结果
 */
function login(username: string, password: string): boolean {
  // ...
}

3. 避免的注释：

• 描述代码本身(代码应该自解释)
• 过时的注释(及时更新)
• 情绪化的内容(保持专业)

5.3 代码组织建议

随着项目变大，良好的代码结构很重要：

1. 按功能拆分文件
2. 一个文件只做一件事
3. 合理使用import/export
4. 保持文件大小适中(300行以内)

我的典型项目结构：

code复制src/
  ├── model/      // 数据模型
  ├── service/    // 业务逻辑
  ├── utils/      // 工具函数
  ├── view/       // 视图组件
  └── entry.ts    // 应用入口

6. 常见问题与解决方案

6.1 类型错误排查

问题：类型不匹配导致的编译错误

typescript复制let age: number = "20"; // 错误：string不能赋值给number

解决方案：

1. 检查变量声明类型
2. 确认赋值表达式的结果类型
3. 必要时使用类型断言(谨慎使用)

6.2 变量作用域问题

问题：变量在意外的地方被修改

typescript复制function demo() {
  if (true) {
    var old = "问题"; // var有函数作用域
    let modern = "解决"; // let有块级作用域
  }
  console.log(old); // 可以访问
  // console.log(modern); // 错误：modern未定义
}

建议：始终使用let/const，避免使用var

6.3 不可变数据的处理

问题：const声明的对象属性被意外修改

typescript复制const user = {name: "张三"};
user.name = "李四"; // 合法操作

解决方案：

1. 使用Object.freeze()冻结对象
2. 使用只读接口
3. 考虑不可变数据库(如immer)

7. 性能优化建议

1. 避免频繁创建临时字符串：

typescript复制// 不好：创建多个临时字符串
let fullName = firstName + " " + lastName;

// 更好：使用模板字符串
let fullName = `${firstName} ${lastName}`;

2. 数值计算优化：

typescript复制// 将浮点数转为整数计算(某些场景下更快)
let intValue = floatValue | 0;

3. 合理使用常量：

typescript复制// 多次使用的魔法数字/字符串定义为常量
const MAX_RETRY = 3;
const DEFAULT_TIMEOUT = 5000;

4. 避免不必要的类型转换：

typescript复制// 直接使用正确的类型，避免运行时转换
let count: number = 10; // 而不是 let count = "10";

8. 调试技巧

1. 使用console的多种方法：

typescript复制console.log("普通信息");
console.warn("警告信息");
console.error("错误信息");
console.table({name: "张三", age: 20}); // 表格形式输出对象

2. 类型检查：

typescript复制console.log(typeof variable); // 输出变量类型

3. 条件断点：
   在DevEco Studio中，可以设置只在特定条件下触发的断点，这在循环调试中特别有用。

4. 日志分级：

typescript复制const DEBUG = true;

function debugLog(...args: any[]) {
  if (DEBUG) {
    console.log("[DEBUG]", ...args);
  }
}

9. 实际项目经验分享

在我最近开发的鸿蒙电商应用中，变量和数据类型的正确使用帮我们避免了很多问题：

1. 商品价格处理：

typescript复制// 使用number类型，并固定小数位数
const price: number = 19.9;
const displayPrice = price.toFixed(2); // "19.90"

2. 用户输入验证：

typescript复制function validateInput(input: string | null): boolean {
  return input !== null && input.trim().length > 0;
}

3. 接口响应处理：

typescript复制interface ApiResponse<T> {
  code: number;
  data: T | null;
  message: string | null;
}

let response: ApiResponse<User> = await getUser();
if (response.data !== null) {
  // 处理用户数据
}

4. 状态管理：

typescript复制type LoadState = 'idle' | 'loading' | 'success' | 'error';
let currentState: LoadState = 'idle';

10. 进阶学习建议

掌握了基础数据类型后，可以继续学习：

1. 复杂类型：

• 数组和元组
• 枚举类型
• 对象和接口

2. 类型操作：

• 类型别名(type)
• 类型断言(as)
• 类型保护(typeof/instanceof)

3. 函数类型：

• 参数和返回值类型
• 可选参数和默认值
• 函数重载

4. 高级特性：

• 泛型
• 装饰器
• 命名空间

我建议的学习路径是：先熟练掌握基础类型，然后在实际项目中逐步应用更复杂的类型，最后学习高级特性。这样循序渐进，不会一开始就被复杂的类型系统吓到。