鸿蒙状态管理概述 v2

概述

为了增强状态管理框架对类对象中属性的观测能力，开发者可以使用@ObservedV2装饰器和@Trace装饰器装饰类以及类中的属性。

@Trace装饰器与现有状态管理框架的@Track与@State装饰器的能力不同，@Track使class具有属性级更新的能力，但并不具备深度观测的能力；而@State只能观测到对象本身以及第一层的变化，对于多层嵌套场景只能通过封装自定义组件，搭配@Observed和@ObjectLink来实现观测。

状态管理之v2

• @ObservedV2 和 @Trace：类属性变化观测
• @ComponentV2：自定义组件，对应v1的@Component
• @Local：组件内部状态，对应v1的@State
• @Param：组件外部输入
• @Once：初始化同步一次
• @Event：组件输出
• @Monitor：状态变量修改监听，对应v1的@Watch
• @Provider 和 @Consumer：跨组件层级双向同步，对应v1的@Provide和@Consume
• @Computed：计算属性
• @Type：标记类属性的类型
• AppStorageV2：应用全局UI状态存储，对应v1的AppStorage
• PersistenceV2：持久化储存UI状态，对应v1的PersistentStorage
• !!语法：双向绑定,
• Repeat：子组件复用
• getTarget接口：获取状态管理框架代理前的原始对象
• makeObserved接口：将非观察数据变为可观察数据

@ObservedV2 和 @Trace

@ObservedV2和@Trace提供了对嵌套类对象属性变化直接观测的能力，是状态管理V2中相对核心的能力之一。

状态管理V1版本对嵌套类对象属性变化直接观测的局限性

@Track使class具有属性级更新的能力，但并不具备深度观测的能力；而@State只能观测到对象本身以及第一层的变化，对于多层嵌套场景只能通过封装自定义组件，搭配@Observed和@ObjectLink来实现观测。

ObservedV2 和 Trace 使用场景

嵌套类或继承类中使用，用于装饰类以及类中的属性，使得被装饰的类和属性具有深度观测的能力

@Local

• 被@Local装饰的变量无法从外部初始化，因此必须在组件内部进行初始化。
• 当被@Local装饰的变量变化时，会刷新使用该变量的组件。
• @Local的观测能力仅限于被装饰的变量本身。

状态管理V1版本@State装饰器的局限性

在V1中，由于@State装饰器能够从外部初始化，因此@State无法准确表达组件内部状态不能被外面修改的语义。

@Param

• @Param不仅可以接受组件外部输入，还可以接受@Local的同步变化。
• 允许本地初始化，若不在本地初始化，则需要和@Require装饰器一起使用，要求必须从外部传入初始化。
• @Param装饰的变量在子组件中无法进行修改。但当装饰的变量类型为对象时，在子组件中修改对象中属性是允许的。

状态管理V1版本接受外部传入的装饰器的局限性

• 状态管理V1存在多种可接受外部传入的装饰器，常用的有@State、@Prop、@Link、@ObjectLink。
• @Prop虽然能够进行单向同步，但是对于较复杂的类型来说，深拷贝性能较差。
• @Link能够接受传入的引用进行双向同步，但它必须要求数据源也是状态变量，因此无法接受info中的成员属性region。
• @ObjectLink能够接受类成员属性，但是要求该属性类型必须为@Observed装饰的类。装饰器的不同限制使得父子组件之间传值规则十分复杂，不易使用。

@Once

• @Once必须搭配@Param使用，单独使用或搭配其他装饰器使用都是不允许的。
• @Once不影响@Param的观测能力，仅针对数据源的变化做拦截。
• @Once与@Param搭配使用时，可以在本地修改@Param变量的值。

@Event

• 由于@Param装饰的变量在本地无法更改，使用@Event装饰器装饰回调方法并调用，可以实现更改数据源的变量，再通过@Local的同步机制，将修改同步回@Param，以此达到主动更新@Param装饰变量的效果。
• @Param标志着组件的输入，表明该变量受父组件影响，而@Event标志着组件的输出，可以通过该方法影响父组件。使用@Event装饰回调方法是一种规范，表明该回调作为自定义组件的输出。父组件需要判断是否提供对应方法用于子组件更改@Param变量的数据源。

@Computed

• 计算属性，在被计算的值变化的时候，只会计算一次。主要应用于解决UI多次重用该属性从而重复计算导致的性能问题。
• @Computed为方法装饰器，装饰getter方法。

Computed 使用场景

• 当被计算的属性变化时，@Computed装饰的getter访问器只会被求解一次（但有性能开销）
• @Computed装饰的属性可以被@Monitor监听变化
• @Computed装饰的属性可以初始化@Param

@Type

标记类属性，配合PersistenceV2使用，防止序列化时类丢失。

PersistenceV2

• 对于与PersistenceV2关联的@ObservedV2对象，该对象的@Trace属性的变化，会触发整个关联对象的自动持久化；
• PersistenceV2可以和UI组件同步，且可以在应用业务逻辑中被访问。
• PersistenceV2支持应用的主线程内多个UIAbility实例间的状态共享。
• 开发者可以通过connect绑定同一个key，在状态变量变换和应用冷启动时，实现持久化能力。

AppStorageV2

• AppStorageV2可以和UI组件同步，且可以在应用业务逻辑中被访问。
• AppStorageV2支持应用的主线程内多个UIAbility实例间的状态共享。
• AppStorageV2是提供状态变量在应用级全局共享的能力，开发者可以通过connect绑定同一个key，进行跨ability的数据共享。

!!语法

• !!双向绑定语法，是一个语法糖方便开发者实现数据双向绑定，
• 用于初始化子组件的@Param和@Event。其中@Event方法名需要声明为“$”+ @Param属性名

示例：

@Entry
@ComponentV2
struct Index {
  @Local value: number = 0;

  build() {
    Column() {
      Text(`${this.value}`)
      Button(`change value`).onClick(() => {
        this.value++;
      })
      Star({ value: this.value!! })
    }
  }
}



@ComponentV2
struct Star {
  @Param value: number = 0;
  @Event $value: (val: number) => void = (val: number) => {};

  build() {
    Column() {
      Text(`${this.value}`)
      Button(`change value `).onClick(() => {
        this.$value(10);
      })
    }
  }
}

Repeat

• on-virtualScroll场景中，需要与容器组件配合使用，例如，ListItem组件要求Repeat的父容器组件必须为List组件。
• 与ForEach相比，一是：优化了渲染性能，二是：index由框架侧来维护。
• virtualScroll场景中，新增了 按需创建组件 和 缓存组件

getTarget

• 使用getTarget接口需要导入UIUtils工具。
• 状态管理V2中，会给使用状态变量装饰器如@Trace、@Local装饰的Date、Map、Set、Array添加一层代理用于观测API调用产生的变化。
• 使用getTarget接口可以获取这些代理对象的原始对象。

makeObserved

• class的定义在三方包中：开发者无法手动对class中需要观察的属性加上@Trace标签，可以使用makeObserved使得当前对象可以被观察。
• 当前类的成员属性不能被修改：因为@Trace观察类属性会动态修改类的属性，这个行为在@Sendable装饰的class中是不被允许的，此时可以使用makeObserved。
• interface或者JSON.parse返回的匿名对象：这类场景往往没有明确的class声明，开发者无法使用@Trace标记当前属性可以被观察，此时可以使用makeObserved。

参考资料：状态管理（V2）