鸿蒙 ArkTS 实战：杯垫库存管理的状态建模、算法与交互实现

前言

杯垫库存管理用于登记不同类别杯垫并在数量变化后统计低库存类别。
项目通过 ArkTS、ArkUI 和 @State 管理 name、items。
核心是 空值校验、对象数组、低库存和索引更新，默认数据为软木杯垫 6 个、硅胶杯垫 4 个。
页面展示各类别数量和需要补充类别数。

图 1：DevEco Studio 中的 ArkTS 开发环境。

页面结果应能从当前状态完整复算。
边界条件需要落到真实代码路径。
新增杯垫默认数量为一。
本文只讨论源码已实现能力。

一、业务对象

1.1 数据结构

杯垫库存管理使用 name、items 支撑业务对象。
新增杯垫默认数量为一。

1.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

1.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

1.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

业务对象维度	当前实现	作用
状态	name、items	保存数据
规则	add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存	生成反馈
边界	空值校验、对象数组、低库存和索引更新	保护结果
结果	各类别数量和需要补充类别数	呈现结论

二、状态字段

2.1 数据结构

杯垫库存管理使用 name、items 支撑状态字段。
数量为一时使用低库存背景。

2.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

2.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

2.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

三、核心规则

3.1 数据结构

杯垫库存管理使用 name、items 支撑核心规则。
低库存类别由 filter 实时计算。

3.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

3.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

3.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

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

四、输入控件

4.1 数据结构

杯垫库存管理使用 name、items 支撑输入控件。
新增杯垫默认数量为一。

4.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

4.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

4.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

输入控件维度	当前实现	作用
状态	name、items	保存数据
规则	add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存	生成反馈
边界	空值校验、对象数组、低库存和索引更新	保护结果
结果	各类别数量和需要补充类别数	呈现结论

五、事件回调

5.1 数据结构

杯垫库存管理使用 name、items 支撑事件回调。
数量为一时使用低库存背景。

5.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

5.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

5.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

六、边界保护

6.1 数据结构

杯垫库存管理使用 name、items 支撑边界保护。
低库存类别由 filter 实时计算。

6.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

6.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

6.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

• 杯垫库存管理保存真实状态。
• change参与核心逻辑。
• 各类别数量和需要补充类别数形成反馈。
• 空值校验、对象数组、低库存和索引更新保护输出。

七、状态反馈

7.1 数据结构

杯垫库存管理使用 name、items 支撑状态反馈。
新增杯垫默认数量为一。

7.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

7.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

7.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

八、默认运行

8.1 数据结构

杯垫库存管理使用 name、items 支撑默认运行。
数量为一时使用低库存背景。

8.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

8.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

8.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

默认运行维度	当前实现	作用
状态	name、items	保存数据
规则	add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存	生成反馈
边界	空值校验、对象数组、低库存和索引更新	保护结果
结果	各类别数量和需要补充类别数	呈现结论

九、连续迁移

9.1 数据结构

杯垫库存管理使用 name、items 支撑连续迁移。
低库存类别由 filter 实时计算。

9.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

9.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

9.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

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

十、数组或数值更新

10.1 数据结构

杯垫库存管理使用 name、items 支撑数组或数值更新。
新增杯垫默认数量为一。

10.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

10.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

10.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

十一、声明式刷新

11.1 数据结构

杯垫库存管理使用 name、items 支撑声明式刷新。
数量为一时使用低库存背景。

11.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

11.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

11.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

• 杯垫库存管理保存真实状态。
• change参与核心逻辑。
• 各类别数量和需要补充类别数形成反馈。
• 空值校验、对象数组、低库存和索引更新保护输出。

十二、布局层级

12.1 数据结构

杯垫库存管理使用 name、items 支撑布局层级。
低库存类别由 filter 实时计算。

12.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

12.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

12.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

布局层级维度	当前实现	作用
状态	name、items	保存数据
规则	add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存	生成反馈
边界	空值校验、对象数组、低库存和索引更新	保护结果
结果	各类别数量和需要补充类别数	呈现结论

十三、颜色语义

13.1 数据结构

杯垫库存管理使用 name、items 支撑颜色语义。
新增杯垫默认数量为一。

13.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

13.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

13.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

十四、异常输入

14.1 数据结构

杯垫库存管理使用 name、items 支撑异常输入。
数量为一时使用低库存背景。

14.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

14.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

14.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

十五、验证场景

15.1 数据结构

杯垫库存管理使用 name、items 支撑验证场景。
低库存类别由 filter 实时计算。

15.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

15.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

15.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

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

十六、性能表现

16.1 数据结构

杯垫库存管理使用 name、items 支撑性能表现。
新增杯垫默认数量为一。

16.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

16.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

16.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

性能表现维度	当前实现	作用
状态	name、items	保存数据
规则	add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存	生成反馈
边界	空值校验、对象数组、低库存和索引更新	保护结果
结果	各类别数量和需要补充类别数	呈现结论

十七、维护方式

17.1 数据结构

杯垫库存管理使用 name、items 支撑维护方式。
数量为一时使用低库存背景。

17.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

17.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

17.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

十八、代码职责

18.1 数据结构

杯垫库存管理使用 name、items 支撑代码职责。
低库存类别由 filter 实时计算。

18.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

18.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

18.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

• 杯垫库存管理保存真实状态。
• change参与核心逻辑。
• 各类别数量和需要补充类别数形成反馈。
• 空值校验、对象数组、低库存和索引更新保护输出。

十九、运行结论

19.1 数据结构

杯垫库存管理使用 name、items 支撑运行结论。
新增杯垫默认数量为一。

19.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

19.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

19.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

二十、项目启示

20.1 数据结构

杯垫库存管理使用 name、items 支撑项目启示。
数量为一时使用低库存背景。

20.2 业务规则

add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存
change 及相关表达式承担核心行为。

20.3 交互刷新

控件回调更新状态并显示各类别数量和需要补充类别数。
ArkUI 根据依赖关系刷新。

20.4 边界结论

空值校验、对象数组、低库存和索引更新
结果因此保持稳定。

项目启示维度	当前实现	作用
状态	name、items	保存数据
规则	add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存	生成反馈
边界	空值校验、对象数组、低库存和索引更新	保护结果
结果	各类别数量和需要补充类别数	呈现结论

二十一、真实源码分段

21.1 源码片段 1

以下代码来自当前项目。

interface Coaster{name:string;count:number}@Entry @Component struct Index{@State name:string='';@State items:Coaster[]=[{name:'软木杯垫',count:6},{name:'硅胶杯垫',count:4}];add():void{if(this.name.trim().length===0)return;let c:Coaster={name:this.name.trim(),count:1};this.items=[c].concat(this.items);this.name=''}change(i:number,d:number):void{this.items[i].count=Math.max(0,this.items[i].count+d);this.items=this.items.slice()}build(){Column(){Text('杯垫库存管理').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Row(){TextInput({text:this.name,placeholder:'杯垫类别'}).layoutWeight(1).onChange((v:string)=>this.name=v);Button('添加').margin({left:8}).onClick(()=>this.add())}.width('100%').margin({top:20});ForEach(this.items,(c:Coaster,i:number)=>{Row(){Text(c.name).fontSize(17).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(c.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(15).backgroundColor(c.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(8).margin({top:9})});Text(this.items.filter((c:Coaster)=>c.count<=1).length+' 类需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记不同类别杯垫并在数量变化后统计低库存类别。

21.2 源码片段 2

以下代码来自当前项目。

interface Coaster{name:string;count:number}@Entry @Component struct Index{@State name:string='';@State items:Coaster[]=[{name:'软木杯垫',count:6},{name:'硅胶杯垫',count:4}];add():void{if(this.name.trim().length===0)return;let c:Coaster={name:this.name.trim(),count:1};this.items=[c].concat(this.items);this.name=''}change(i:number,d:number):void{this.items[i].count=Math.max(0,this.items[i].count+d);this.items=this.items.slice()}build(){Column(){Text('杯垫库存管理').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Row(){TextInput({text:this.name,placeholder:'杯垫类别'}).layoutWeight(1).onChange((v:string)=>this.name=v);Button('添加').margin({left:8}).onClick(()=>this.add())}.width('100%').margin({top:20});ForEach(this.items,(c:Coaster,i:number)=>{Row(){Text(c.name).fontSize(17).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(c.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(15).backgroundColor(c.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(8).margin({top:9})});Text(this.items.filter((c:Coaster)=>c.count<=1).length+' 类需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记不同类别杯垫并在数量变化后统计低库存类别。

21.3 源码片段 3

以下代码来自当前项目。

interface Coaster{name:string;count:number}@Entry @Component struct Index{@State name:string='';@State items:Coaster[]=[{name:'软木杯垫',count:6},{name:'硅胶杯垫',count:4}];add():void{if(this.name.trim().length===0)return;let c:Coaster={name:this.name.trim(),count:1};this.items=[c].concat(this.items);this.name=''}change(i:number,d:number):void{this.items[i].count=Math.max(0,this.items[i].count+d);this.items=this.items.slice()}build(){Column(){Text('杯垫库存管理').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Row(){TextInput({text:this.name,placeholder:'杯垫类别'}).layoutWeight(1).onChange((v:string)=>this.name=v);Button('添加').margin({left:8}).onClick(()=>this.add())}.width('100%').margin({top:20});ForEach(this.items,(c:Coaster,i:number)=>{Row(){Text(c.name).fontSize(17).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(c.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(15).backgroundColor(c.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(8).margin({top:9})});Text(this.items.filter((c:Coaster)=>c.count<=1).length+' 类需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记不同类别杯垫并在数量变化后统计低库存类别。

21.4 源码片段 4

以下代码来自当前项目。

interface Coaster{name:string;count:number}@Entry @Component struct Index{@State name:string='';@State items:Coaster[]=[{name:'软木杯垫',count:6},{name:'硅胶杯垫',count:4}];add():void{if(this.name.trim().length===0)return;let c:Coaster={name:this.name.trim(),count:1};this.items=[c].concat(this.items);this.name=''}change(i:number,d:number):void{this.items[i].count=Math.max(0,this.items[i].count+d);this.items=this.items.slice()}build(){Column(){Text('杯垫库存管理').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Row(){TextInput({text:this.name,placeholder:'杯垫类别'}).layoutWeight(1).onChange((v:string)=>this.name=v);Button('添加').margin({left:8}).onClick(()=>this.add())}.width('100%').margin({top:20});ForEach(this.items,(c:Coaster,i:number)=>{Row(){Text(c.name).fontSize(17).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(c.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(15).backgroundColor(c.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(8).margin({top:9})});Text(this.items.filter((c:Coaster)=>c.count<=1).length+' 类需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记不同类别杯垫并在数量变化后统计低库存类别。

21.5 源码片段 5

以下代码来自当前项目。

interface Coaster{name:string;count:number}@Entry @Component struct Index{@State name:string='';@State items:Coaster[]=[{name:'软木杯垫',count:6},{name:'硅胶杯垫',count:4}];add():void{if(this.name.trim().length===0)return;let c:Coaster={name:this.name.trim(),count:1};this.items=[c].concat(this.items);this.name=''}change(i:number,d:number):void{this.items[i].count=Math.max(0,this.items[i].count+d);this.items=this.items.slice()}build(){Column(){Text('杯垫库存管理').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Row(){TextInput({text:this.name,placeholder:'杯垫类别'}).layoutWeight(1).onChange((v:string)=>this.name=v);Button('添加').margin({left:8}).onClick(()=>this.add())}.width('100%').margin({top:20});ForEach(this.items,(c:Coaster,i:number)=>{Row(){Text(c.name).fontSize(17).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(c.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(15).backgroundColor(c.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(8).margin({top:9})});Text(this.items.filter((c:Coaster)=>c.count<=1).length+' 类需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记不同类别杯垫并在数量变化后统计低库存类别。

21.6 源码片段 6

以下代码来自当前项目。

interface Coaster{name:string;count:number}@Entry @Component struct Index{@State name:string='';@State items:Coaster[]=[{name:'软木杯垫',count:6},{name:'硅胶杯垫',count:4}];add():void{if(this.name.trim().length===0)return;let c:Coaster={name:this.name.trim(),count:1};this.items=[c].concat(this.items);this.name=''}change(i:number,d:number):void{this.items[i].count=Math.max(0,this.items[i].count+d);this.items=this.items.slice()}build(){Column(){Text('杯垫库存管理').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Row(){TextInput({text:this.name,placeholder:'杯垫类别'}).layoutWeight(1).onChange((v:string)=>this.name=v);Button('添加').margin({left:8}).onClick(()=>this.add())}.width('100%').margin({top:20});ForEach(this.items,(c:Coaster,i:number)=>{Row(){Text(c.name).fontSize(17).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(c.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(15).backgroundColor(c.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(8).margin({top:9})});Text(this.items.filter((c:Coaster)=>c.count<=1).length+' 类需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记不同类别杯垫并在数量变化后统计低库存类别。

21.7 源码片段 7

以下代码来自当前项目。

interface Coaster{name:string;count:number}@Entry @Component struct Index{@State name:string='';@State items:Coaster[]=[{name:'软木杯垫',count:6},{name:'硅胶杯垫',count:4}];add():void{if(this.name.trim().length===0)return;let c:Coaster={name:this.name.trim(),count:1};this.items=[c].concat(this.items);this.name=''}change(i:number,d:number):void{this.items[i].count=Math.max(0,this.items[i].count+d);this.items=this.items.slice()}build(){Column(){Text('杯垫库存管理').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Row(){TextInput({text:this.name,placeholder:'杯垫类别'}).layoutWeight(1).onChange((v:string)=>this.name=v);Button('添加').margin({left:8}).onClick(()=>this.add())}.width('100%').margin({top:20});ForEach(this.items,(c:Coaster,i:number)=>{Row(){Text(c.name).fontSize(17).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(c.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(15).backgroundColor(c.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(8).margin({top:9})});Text(this.items.filter((c:Coaster)=>c.count<=1).length+' 类需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记不同类别杯垫并在数量变化后统计低库存类别。

21.8 源码片段 8

以下代码来自当前项目。

interface Coaster{name:string;count:number}@Entry @Component struct Index{@State name:string='';@State items:Coaster[]=[{name:'软木杯垫',count:6},{name:'硅胶杯垫',count:4}];add():void{if(this.name.trim().length===0)return;let c:Coaster={name:this.name.trim(),count:1};this.items=[c].concat(this.items);this.name=''}change(i:number,d:number):void{this.items[i].count=Math.max(0,this.items[i].count+d);this.items=this.items.slice()}build(){Column(){Text('杯垫库存管理').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Row(){TextInput({text:this.name,placeholder:'杯垫类别'}).layoutWeight(1).onChange((v:string)=>this.name=v);Button('添加').margin({left:8}).onClick(()=>this.add())}.width('100%').margin({top:20});ForEach(this.items,(c:Coaster,i:number)=>{Row(){Text(c.name).fontSize(17).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(c.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(15).backgroundColor(c.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(8).margin({top:9})});Text(this.items.filter((c:Coaster)=>c.count<=1).length+' 类需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与登记不同类别杯垫并在数量变化后统计低库存类别。

二十二、运行案例

22.1 默认数据

使用软木杯垫 6 个、硅胶杯垫 4 个。
观察 name、items 与结果。
确认各类别数量和需要补充类别数可复算。

22.2 最小边界

空值校验、对象数组、低库存和索引更新
观察 name、items 与结果。
确认各类别数量和需要补充类别数可复算。

22.3 临界输入

围绕空值校验、对象数组、低库存和索引更新验证阈值。
观察 name、items 与结果。
确认各类别数量和需要补充类别数可复算。

22.4 连续操作

连续执行 change。
观察 name、items 与结果。
确认各类别数量和需要补充类别数可复算。

验证维度	当前实现	作用
状态	name、items	保存数据
规则	add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存	生成反馈
边界	空值校验、对象数组、低库存和索引更新	保护结果
结果	各类别数量和需要补充类别数	呈现结论

二十三、技术取舍

23.1 本地状态

杯垫库存管理围绕空值校验、对象数组、低库存和索引更新选择本地状态。
当前职责集中且可追踪。

23.2 具名函数

杯垫库存管理围绕空值校验、对象数组、低库存和索引更新选择具名函数。
当前职责集中且可追踪。

23.3 声明式组件

杯垫库存管理围绕空值校验、对象数组、低库存和索引更新选择声明式组件。
当前职责集中且可追踪。

23.4 清晰边界

杯垫库存管理围绕空值校验、对象数组、低库存和索引更新选择清晰边界。
当前职责集中且可追踪。

二十四、总结

杯垫库存管理使用鸿蒙 ArkTS 完成了“登记不同类别杯垫并在数量变化后统计低库存类别”闭环。
核心规则是：add 过滤空类别并新增一件，change 修改目标数量并限制非负，filter 统计低库存。
状态字段为 name、items。
状态建模、业务函数 与 声明式界面 共同保证结果稳定。

---

相关资源：

• ArkTS 语言基础
• ArkUI 声明式开发