鸿蒙 ArkTS 实战：宠物牵引绳借还的状态建模、算法与交互实现

前言

宠物牵引绳借还用于登记牵引绳使用人并维护借出和归还状态。
项目通过 ArkTS、ArkUI 和 @State 管理 holder、items。
核心是 借用人校验、双分支状态机和借出统计，默认数据为红色短绳和蓝色伸缩绳均可使用。
页面展示使用人、状态和正在使用数量。
在这里插入图片描述
图 1：DevEco Studio 中的 ArkTS 开发环境。

页面结果应能从当前状态完整复算。
边界条件需要落到真实代码路径。
Leash 保存名称、持有人和 out。
本文只讨论源码已实现能力。

一、业务对象

1.1 数据结构

宠物牵引绳借还使用 holder、items 支撑业务对象。
Leash 保存名称、持有人和 out。

1.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

1.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

1.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

业务对象维度 当前实现 作用
状态 holder、items 保存数据
规则 toggle 对借出项归还并清空 holder，对可用项要求姓名后借出 生成反馈
边界 借用人校验、双分支状态机和借出统计 保护结果
结果 使用人、状态和正在使用数量 呈现结论

二、状态字段

2.1 数据结构

宠物牵引绳借还使用 holder、items 支撑状态字段。
空姓名不能借出。

2.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

2.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

2.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

三、核心规则

3.1 数据结构

宠物牵引绳借还使用 holder、items 支撑核心规则。
借出数量由 filter 派生。

3.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

3.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

3.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

  1. 读取输入。
  2. 执行业务规则。
  3. 处理边界。
  4. 刷新界面。

四、输入控件

4.1 数据结构

宠物牵引绳借还使用 holder、items 支撑输入控件。
Leash 保存名称、持有人和 out。

4.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

4.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

4.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

输入控件维度 当前实现 作用
状态 holder、items 保存数据
规则 toggle 对借出项归还并清空 holder，对可用项要求姓名后借出 生成反馈
边界 借用人校验、双分支状态机和借出统计 保护结果
结果 使用人、状态和正在使用数量 呈现结论

五、事件回调

5.1 数据结构

宠物牵引绳借还使用 holder、items 支撑事件回调。
空姓名不能借出。

5.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

5.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

5.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

六、边界保护

6.1 数据结构

宠物牵引绳借还使用 holder、items 支撑边界保护。
借出数量由 filter 派生。

6.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

6.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

6.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

  • 宠物牵引绳借还保存真实状态。
  • toggle参与核心逻辑。
  • 使用人、状态和正在使用数量形成反馈。
  • 借用人校验、双分支状态机和借出统计保护输出。

七、状态反馈

7.1 数据结构

宠物牵引绳借还使用 holder、items 支撑状态反馈。
Leash 保存名称、持有人和 out。

7.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

7.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

7.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

八、默认运行

8.1 数据结构

宠物牵引绳借还使用 holder、items 支撑默认运行。
空姓名不能借出。

8.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

8.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

8.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

默认运行维度 当前实现 作用
状态 holder、items 保存数据
规则 toggle 对借出项归还并清空 holder，对可用项要求姓名后借出 生成反馈
边界 借用人校验、双分支状态机和借出统计 保护结果
结果 使用人、状态和正在使用数量 呈现结论

九、连续迁移

9.1 数据结构

宠物牵引绳借还使用 holder、items 支撑连续迁移。
借出数量由 filter 派生。

9.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

9.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

9.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

  1. 读取输入。
  2. 执行业务规则。
  3. 处理边界。
  4. 刷新界面。

十、数组或数值更新

10.1 数据结构

宠物牵引绳借还使用 holder、items 支撑数组或数值更新。
Leash 保存名称、持有人和 out。

10.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

10.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

10.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

十一、声明式刷新

11.1 数据结构

宠物牵引绳借还使用 holder、items 支撑声明式刷新。
空姓名不能借出。

11.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

11.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

11.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

  • 宠物牵引绳借还保存真实状态。
  • toggle参与核心逻辑。
  • 使用人、状态和正在使用数量形成反馈。
  • 借用人校验、双分支状态机和借出统计保护输出。

十二、布局层级

12.1 数据结构

宠物牵引绳借还使用 holder、items 支撑布局层级。
借出数量由 filter 派生。

12.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

12.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

12.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

布局层级维度 当前实现 作用
状态 holder、items 保存数据
规则 toggle 对借出项归还并清空 holder，对可用项要求姓名后借出 生成反馈
边界 借用人校验、双分支状态机和借出统计 保护结果
结果 使用人、状态和正在使用数量 呈现结论

十三、颜色语义

13.1 数据结构

宠物牵引绳借还使用 holder、items 支撑颜色语义。
Leash 保存名称、持有人和 out。

13.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

13.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

13.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

十四、异常输入

14.1 数据结构

宠物牵引绳借还使用 holder、items 支撑异常输入。
空姓名不能借出。

14.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

14.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

14.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

十五、验证场景

15.1 数据结构

宠物牵引绳借还使用 holder、items 支撑验证场景。
借出数量由 filter 派生。

15.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

15.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

15.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

  1. 读取输入。
  2. 执行业务规则。
  3. 处理边界。
  4. 刷新界面。

十六、性能表现

16.1 数据结构

宠物牵引绳借还使用 holder、items 支撑性能表现。
Leash 保存名称、持有人和 out。

16.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

16.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

16.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

性能表现维度 当前实现 作用
状态 holder、items 保存数据
规则 toggle 对借出项归还并清空 holder，对可用项要求姓名后借出 生成反馈
边界 借用人校验、双分支状态机和借出统计 保护结果
结果 使用人、状态和正在使用数量 呈现结论

十七、维护方式

17.1 数据结构

宠物牵引绳借还使用 holder、items 支撑维护方式。
空姓名不能借出。

17.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

17.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

17.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

十八、代码职责

18.1 数据结构

宠物牵引绳借还使用 holder、items 支撑代码职责。
借出数量由 filter 派生。

18.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

18.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

18.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

  • 宠物牵引绳借还保存真实状态。
  • toggle参与核心逻辑。
  • 使用人、状态和正在使用数量形成反馈。
  • 借用人校验、双分支状态机和借出统计保护输出。

十九、运行结论

19.1 数据结构

宠物牵引绳借还使用 holder、items 支撑运行结论。
Leash 保存名称、持有人和 out。

19.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

19.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

19.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

二十、项目启示

20.1 数据结构

宠物牵引绳借还使用 holder、items 支撑项目启示。
空姓名不能借出。

20.2 业务规则

toggle 对借出项归还并清空 holder，对可用项要求姓名后借出
toggle 及相关表达式承担核心行为。

20.3 交互刷新

控件回调更新状态并显示使用人、状态和正在使用数量。
ArkUI 根据依赖关系刷新。

20.4 边界结论

借用人校验、双分支状态机和借出统计
结果因此保持稳定。

项目启示维度 当前实现 作用
状态 holder、items 保存数据
规则 toggle 对借出项归还并清空 holder，对可用项要求姓名后借出 生成反馈
边界 借用人校验、双分支状态机和借出统计 保护结果
结果 使用人、状态和正在使用数量 呈现结论

二十一、真实源码分段

21.1 源码片段 1

以下代码来自当前项目。

interface Leash{name:string;holder:string;out:boolean}@Entry @Component struct Index{@State holder:string='';@State items:Leash[]=[{name:'红色短绳',holder:'',out:false},{name:'蓝色伸缩绳',holder:'',out:false}];toggle(i:number):void{if(this.items[i].out){this.items[i].out=false;this.items[i].holder=''}else if(this.holder.trim().length>0){this.items[i].out=true;this.items[i].holder=this.holder.trim()}this.items=this.items.slice()}build(){Column(){Text('宠物牵引绳借还').fontSize(27).fontWeight(FontWeight.Bold).width('100%');TextInput({text:this.holder,placeholder:'使用人姓名'}).width('100%').margin({top:20}).onChange((v:string)=>this.holder=v);ForEach(this.items,(x:Leash,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.out?'使用人：'+x.holder:'可使用').fontColor(x.out?'#B54708':'#087443').fontSize(13).margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button(x.out?'归还':'借出').onClick(()=>this.toggle(i))}.width('100%').padding(16).backgroundColor(x.out?'#FFF8EB':'#F0FAF4').borderRadius(9).margin({top:10})});Text(this.items.filter((x:Leash)=>x.out).length+' 条正在使用').fontColor('#667085').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记牵引绳使用人并维护借出和归还状态。

21.2 源码片段 2

以下代码来自当前项目。

interface Leash{name:string;holder:string;out:boolean}@Entry @Component struct Index{@State holder:string='';@State items:Leash[]=[{name:'红色短绳',holder:'',out:false},{name:'蓝色伸缩绳',holder:'',out:false}];toggle(i:number):void{if(this.items[i].out){this.items[i].out=false;this.items[i].holder=''}else if(this.holder.trim().length>0){this.items[i].out=true;this.items[i].holder=this.holder.trim()}this.items=this.items.slice()}build(){Column(){Text('宠物牵引绳借还').fontSize(27).fontWeight(FontWeight.Bold).width('100%');TextInput({text:this.holder,placeholder:'使用人姓名'}).width('100%').margin({top:20}).onChange((v:string)=>this.holder=v);ForEach(this.items,(x:Leash,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.out?'使用人：'+x.holder:'可使用').fontColor(x.out?'#B54708':'#087443').fontSize(13).margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button(x.out?'归还':'借出').onClick(()=>this.toggle(i))}.width('100%').padding(16).backgroundColor(x.out?'#FFF8EB':'#F0FAF4').borderRadius(9).margin({top:10})});Text(this.items.filter((x:Leash)=>x.out).length+' 条正在使用').fontColor('#667085').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记牵引绳使用人并维护借出和归还状态。

21.3 源码片段 3

以下代码来自当前项目。

interface Leash{name:string;holder:string;out:boolean}@Entry @Component struct Index{@State holder:string='';@State items:Leash[]=[{name:'红色短绳',holder:'',out:false},{name:'蓝色伸缩绳',holder:'',out:false}];toggle(i:number):void{if(this.items[i].out){this.items[i].out=false;this.items[i].holder=''}else if(this.holder.trim().length>0){this.items[i].out=true;this.items[i].holder=this.holder.trim()}this.items=this.items.slice()}build(){Column(){Text('宠物牵引绳借还').fontSize(27).fontWeight(FontWeight.Bold).width('100%');TextInput({text:this.holder,placeholder:'使用人姓名'}).width('100%').margin({top:20}).onChange((v:string)=>this.holder=v);ForEach(this.items,(x:Leash,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.out?'使用人：'+x.holder:'可使用').fontColor(x.out?'#B54708':'#087443').fontSize(13).margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button(x.out?'归还':'借出').onClick(()=>this.toggle(i))}.width('100%').padding(16).backgroundColor(x.out?'#FFF8EB':'#F0FAF4').borderRadius(9).margin({top:10})});Text(this.items.filter((x:Leash)=>x.out).length+' 条正在使用').fontColor('#667085').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记牵引绳使用人并维护借出和归还状态。

21.4 源码片段 4

以下代码来自当前项目。

interface Leash{name:string;holder:string;out:boolean}@Entry @Component struct Index{@State holder:string='';@State items:Leash[]=[{name:'红色短绳',holder:'',out:false},{name:'蓝色伸缩绳',holder:'',out:false}];toggle(i:number):void{if(this.items[i].out){this.items[i].out=false;this.items[i].holder=''}else if(this.holder.trim().length>0){this.items[i].out=true;this.items[i].holder=this.holder.trim()}this.items=this.items.slice()}build(){Column(){Text('宠物牵引绳借还').fontSize(27).fontWeight(FontWeight.Bold).width('100%');TextInput({text:this.holder,placeholder:'使用人姓名'}).width('100%').margin({top:20}).onChange((v:string)=>this.holder=v);ForEach(this.items,(x:Leash,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.out?'使用人：'+x.holder:'可使用').fontColor(x.out?'#B54708':'#087443').fontSize(13).margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button(x.out?'归还':'借出').onClick(()=>this.toggle(i))}.width('100%').padding(16).backgroundColor(x.out?'#FFF8EB':'#F0FAF4').borderRadius(9).margin({top:10})});Text(this.items.filter((x:Leash)=>x.out).length+' 条正在使用').fontColor('#667085').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记牵引绳使用人并维护借出和归还状态。

21.5 源码片段 5

以下代码来自当前项目。

interface Leash{name:string;holder:string;out:boolean}@Entry @Component struct Index{@State holder:string='';@State items:Leash[]=[{name:'红色短绳',holder:'',out:false},{name:'蓝色伸缩绳',holder:'',out:false}];toggle(i:number):void{if(this.items[i].out){this.items[i].out=false;this.items[i].holder=''}else if(this.holder.trim().length>0){this.items[i].out=true;this.items[i].holder=this.holder.trim()}this.items=this.items.slice()}build(){Column(){Text('宠物牵引绳借还').fontSize(27).fontWeight(FontWeight.Bold).width('100%');TextInput({text:this.holder,placeholder:'使用人姓名'}).width('100%').margin({top:20}).onChange((v:string)=>this.holder=v);ForEach(this.items,(x:Leash,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.out?'使用人：'+x.holder:'可使用').fontColor(x.out?'#B54708':'#087443').fontSize(13).margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button(x.out?'归还':'借出').onClick(()=>this.toggle(i))}.width('100%').padding(16).backgroundColor(x.out?'#FFF8EB':'#F0FAF4').borderRadius(9).margin({top:10})});Text(this.items.filter((x:Leash)=>x.out).length+' 条正在使用').fontColor('#667085').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记牵引绳使用人并维护借出和归还状态。

21.6 源码片段 6

以下代码来自当前项目。

interface Leash{name:string;holder:string;out:boolean}@Entry @Component struct Index{@State holder:string='';@State items:Leash[]=[{name:'红色短绳',holder:'',out:false},{name:'蓝色伸缩绳',holder:'',out:false}];toggle(i:number):void{if(this.items[i].out){this.items[i].out=false;this.items[i].holder=''}else if(this.holder.trim().length>0){this.items[i].out=true;this.items[i].holder=this.holder.trim()}this.items=this.items.slice()}build(){Column(){Text('宠物牵引绳借还').fontSize(27).fontWeight(FontWeight.Bold).width('100%');TextInput({text:this.holder,placeholder:'使用人姓名'}).width('100%').margin({top:20}).onChange((v:string)=>this.holder=v);ForEach(this.items,(x:Leash,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.out?'使用人：'+x.holder:'可使用').fontColor(x.out?'#B54708':'#087443').fontSize(13).margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button(x.out?'归还':'借出').onClick(()=>this.toggle(i))}.width('100%').padding(16).backgroundColor(x.out?'#FFF8EB':'#F0FAF4').borderRadius(9).margin({top:10})});Text(this.items.filter((x:Leash)=>x.out).length+' 条正在使用').fontColor('#667085').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记牵引绳使用人并维护借出和归还状态。

21.7 源码片段 7

以下代码来自当前项目。

interface Leash{name:string;holder:string;out:boolean}@Entry @Component struct Index{@State holder:string='';@State items:Leash[]=[{name:'红色短绳',holder:'',out:false},{name:'蓝色伸缩绳',holder:'',out:false}];toggle(i:number):void{if(this.items[i].out){this.items[i].out=false;this.items[i].holder=''}else if(this.holder.trim().length>0){this.items[i].out=true;this.items[i].holder=this.holder.trim()}this.items=this.items.slice()}build(){Column(){Text('宠物牵引绳借还').fontSize(27).fontWeight(FontWeight.Bold).width('100%');TextInput({text:this.holder,placeholder:'使用人姓名'}).width('100%').margin({top:20}).onChange((v:string)=>this.holder=v);ForEach(this.items,(x:Leash,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.out?'使用人：'+x.holder:'可使用').fontColor(x.out?'#B54708':'#087443').fontSize(13).margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button(x.out?'归还':'借出').onClick(()=>this.toggle(i))}.width('100%').padding(16).backgroundColor(x.out?'#FFF8EB':'#F0FAF4').borderRadius(9).margin({top:10})});Text(this.items.filter((x:Leash)=>x.out).length+' 条正在使用').fontColor('#667085').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记牵引绳使用人并维护借出和归还状态。

21.8 源码片段 8

以下代码来自当前项目。

interface Leash{name:string;holder:string;out:boolean}@Entry @Component struct Index{@State holder:string='';@State items:Leash[]=[{name:'红色短绳',holder:'',out:false},{name:'蓝色伸缩绳',holder:'',out:false}];toggle(i:number):void{if(this.items[i].out){this.items[i].out=false;this.items[i].holder=''}else if(this.holder.trim().length>0){this.items[i].out=true;this.items[i].holder=this.holder.trim()}this.items=this.items.slice()}build(){Column(){Text('宠物牵引绳借还').fontSize(27).fontWeight(FontWeight.Bold).width('100%');TextInput({text:this.holder,placeholder:'使用人姓名'}).width('100%').margin({top:20}).onChange((v:string)=>this.holder=v);ForEach(this.items,(x:Leash,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.out?'使用人：'+x.holder:'可使用').fontColor(x.out?'#B54708':'#087443').fontSize(13).margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button(x.out?'归还':'借出').onClick(()=>this.toggle(i))}.width('100%').padding(16).backgroundColor(x.out?'#FFF8EB':'#F0FAF4').borderRadius(9).margin({top:10})});Text(this.items.filter((x:Leash)=>x.out).length+' 条正在使用').fontColor('#667085').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记牵引绳使用人并维护借出和归还状态。

二十二、运行案例

22.1 默认数据

使用红色短绳和蓝色伸缩绳均可使用。
观察 holder、items 与结果。
确认使用人、状态和正在使用数量可复算。

22.2 最小边界

借用人校验、双分支状态机和借出统计
观察 holder、items 与结果。
确认使用人、状态和正在使用数量可复算。

22.3 临界输入

围绕借用人校验、双分支状态机和借出统计验证阈值。
观察 holder、items 与结果。
确认使用人、状态和正在使用数量可复算。

22.4 连续操作

连续执行 toggle。
观察 holder、items 与结果。
确认使用人、状态和正在使用数量可复算。

验证维度 当前实现 作用
状态 holder、items 保存数据
规则 toggle 对借出项归还并清空 holder，对可用项要求姓名后借出 生成反馈
边界 借用人校验、双分支状态机和借出统计 保护结果
结果 使用人、状态和正在使用数量 呈现结论

二十三、技术取舍

23.1 本地状态

宠物牵引绳借还围绕借用人校验、双分支状态机和借出统计选择本地状态。
当前职责集中且可追踪。

23.2 具名函数

宠物牵引绳借还围绕借用人校验、双分支状态机和借出统计选择具名函数。
当前职责集中且可追踪。

23.3 声明式组件

宠物牵引绳借还围绕借用人校验、双分支状态机和借出统计选择声明式组件。
当前职责集中且可追踪。

23.4 清晰边界

宠物牵引绳借还围绕借用人校验、双分支状态机和借出统计选择清晰边界。
当前职责集中且可追踪。

二十四、总结

宠物牵引绳借还使用鸿蒙 ArkTS 完成了“登记牵引绳使用人并维护借出和归还状态”闭环。
核心规则是：toggle 对借出项归还并清空 holder，对可用项要求姓名后借出。
状态字段为 holder、items。
状态建模、业务函数 与 声明式界面 共同保证结果稳定。

相关资源：

# harmonyos # 华为
Logo
人工智能6S服务平台

作为“人工智能6S店”的官方数字引擎，为AI开发者与企业提供一个覆盖软硬件全栈、一站式门户。

更多推荐

HarmonyOS API 23 ArkTS 实战：实现一个轻量级歌单收藏管理工具

开发环境：HarmonyOS NEXT 6.1.0（API 23）、Stage应用开发模型、DevEco Studio 6.1 Beta、Hvigor增量编译构建体系核心技术栈：ArkTS强类型静态编程、声明式UI架构、单向响应式数据流、Preferences轻量持久化存储、结构化歌单/歌曲双层实体建模、自定义歌单创建、歌曲增删管理、收藏状态切换、歌单分类展示、列表高性能渲染、状态动态标签渲染、生

avatar 人工智能6S服务平台

基于华为昇腾310 Atlas 200DK的深度学习模型移植与边缘推理系统设计与实现——ATC模型转换、量化与AscendCL部署全流程（含环境配置与疑难解析

通过以上步骤，你已成功在华为昇腾310 Atlas 200DK上完成深度学习模型的移植与推理。这一流程可复用到目标检测、语义分割等其他任务，快去尝试将自己的AI模型部署到昇腾设备上，打造属于你的边缘智能应用吧！上部署深度学习模型，这篇教程将带你走完从模型转换到推理运行的完整流程。无需担心技术壁垒，我们以通俗易懂的方式拆解每一步，让你轻松在昇腾嵌入式设备上实现AI应用。是专为边缘AI设计的高性能处理

avatar 人工智能6S服务平台
cover

鸿蒙 ArkTS 实战：冰箱除味盒记录的状态建模、算法与交互实现

avatar 人工智能6S服务平台