鸿蒙开发中 高级类型之交叉类型

本文同步发表于我的微信公众号，微信搜索 程语新视界 即可关注，每个工作日都有文章更新

在鸿蒙（HarmonyOS）开发中，交叉类型（Intersection Types）是TypeScript中的一种高级类型，用于将多个类型合并为一个类型，使新类型同时具备所有原类型的成员特性。这一特性在ArkTS（基于TypeScript的鸿蒙应用开发语言）中同样适用，常用于组合多个接口或类的功能，尤其在混入（Mixins）或复杂组件设计中。

交叉类型的定义与作用

1. 定义 交叉类型通过 & 符号将多个类型连接，生成的新类型包含所有类型的属性和方法。

   type Person = { name: string };
   type Serializable = { serialize(): void };
   type Loggable = { log(): void };

   type PersonWithFeatures = Person & Serializable & Loggable;

    此时，PersonWithFeatures 类型的对象必须同时实现 name``serialize 和 log 成员。

    2. 核心用途

        1. 混入模式（Mixins）：动态扩展对象功能，避免多重继承的复杂性。

        2. 组合多个接口：例如将UI组件的属性与事件监听器结合 。

使用方法示例

1. 基础合并

interface A {
  a: number;
}
interface B {
  b: string;
}
type C = A & B;

const obj: C = { a: 1, b: "test" }; // 必须同时包含a和b

2. 混入实现

以下是一个混入工具函数，将两个对象合并为交叉类型：

function extend(first: T, second: U): T & U {
  const result = {} as T & U;
  for (const key in first) {
    (result as any)[key] = first[key];
  }
  for (const key in second) {
    if (!result.hasOwnProperty(key)) {
      (result as any)[key] = second[key];
    }
  }
  return result;
}

class Person {
  constructor(public name: string) {}
}
interface Loggable {
  log(): void;
}
class ConsoleLogger implements Loggable {
  log() { console.log("Logged"); }
}

const jim = extend(new Person("Jim"), new ConsoleLogger());
jim.name; // "Jim"
jim.log(); // "Logged"

此例中，jim 同时具备 Person 和 Loggable 的特性。

注意事项

1. 类型冲突 若合并的类型存在同名但不同类型的属性（如 a: number 和 a: string），会导致冲突，实际使用时需避免 。
2. 实际应用场景
   • 鸿蒙UI组件：结合多个组件的属性，如自定义弹窗的控制器与样式接口 。
   • 状态管理：合并多个状态接口，统一管理复杂数据 。

与联合类型的区别

• 联合类型（Union Types）：用 | 表示，表示值属于其中一种类型（如 string | number），只能访问共有成员 。
   
• 交叉类型：用 & 表示，要求同时满足所有类型，可访问全部成员 。