鸿蒙 ArkTS 实战：冰淇淋库存的状态建模、算法与交互实现

前言

冰淇淋库存用于按口味记录取用和补充数量并统计低库存口味。
项目通过 ArkTS、ArkUI 和 @State 管理 flavors。
核心是 口味对象、非负数量和低库存统计，默认数据为香草 4、巧克力 2、草莓 1。
页面展示各口味数量和补充提示。

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

页面结果应能从当前状态完整复算。
边界条件需要落到真实代码路径。
Flavor 保存口味和数量。
本文只讨论源码已实现能力。

一、业务对象

1.1 数据结构

冰淇淋库存使用 flavors 支撑业务对象。
Flavor 保存口味和数量。

1.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

1.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

1.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

业务对象维度	当前实现	作用
状态	flavors	保存数据
规则	change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味	生成反馈
边界	口味对象、非负数量和低库存统计	保护结果
结果	各口味数量和补充提示	呈现结论

二、状态字段

2.1 数据结构

冰淇淋库存使用 flavors 支撑状态字段。
每个口味独立增减。

2.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

2.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

2.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

三、核心规则

3.1 数据结构

冰淇淋库存使用 flavors 支撑核心规则。
低库存数量实时派生。

3.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

3.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

3.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

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

四、输入控件

4.1 数据结构

冰淇淋库存使用 flavors 支撑输入控件。
Flavor 保存口味和数量。

4.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

4.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

4.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

输入控件维度	当前实现	作用
状态	flavors	保存数据
规则	change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味	生成反馈
边界	口味对象、非负数量和低库存统计	保护结果
结果	各口味数量和补充提示	呈现结论

五、事件回调

5.1 数据结构

冰淇淋库存使用 flavors 支撑事件回调。
每个口味独立增减。

5.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

5.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

5.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

六、边界保护

6.1 数据结构

冰淇淋库存使用 flavors 支撑边界保护。
低库存数量实时派生。

6.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

6.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

6.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

• 冰淇淋库存保存真实状态。
• change参与核心逻辑。
• 各口味数量和补充提示形成反馈。
• 口味对象、非负数量和低库存统计保护输出。

七、状态反馈

7.1 数据结构

冰淇淋库存使用 flavors 支撑状态反馈。
Flavor 保存口味和数量。

7.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

7.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

7.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

八、默认运行

8.1 数据结构

冰淇淋库存使用 flavors 支撑默认运行。
每个口味独立增减。

8.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

8.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

8.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

默认运行维度	当前实现	作用
状态	flavors	保存数据
规则	change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味	生成反馈
边界	口味对象、非负数量和低库存统计	保护结果
结果	各口味数量和补充提示	呈现结论

九、连续迁移

9.1 数据结构

冰淇淋库存使用 flavors 支撑连续迁移。
低库存数量实时派生。

9.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

9.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

9.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

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

十、数组或数值更新

10.1 数据结构

冰淇淋库存使用 flavors 支撑数组或数值更新。
Flavor 保存口味和数量。

10.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

10.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

10.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

十一、声明式刷新

11.1 数据结构

冰淇淋库存使用 flavors 支撑声明式刷新。
每个口味独立增减。

11.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

11.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

11.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

• 冰淇淋库存保存真实状态。
• change参与核心逻辑。
• 各口味数量和补充提示形成反馈。
• 口味对象、非负数量和低库存统计保护输出。

十二、布局层级

12.1 数据结构

冰淇淋库存使用 flavors 支撑布局层级。
低库存数量实时派生。

12.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

12.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

12.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

布局层级维度	当前实现	作用
状态	flavors	保存数据
规则	change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味	生成反馈
边界	口味对象、非负数量和低库存统计	保护结果
结果	各口味数量和补充提示	呈现结论

十三、颜色语义

13.1 数据结构

冰淇淋库存使用 flavors 支撑颜色语义。
Flavor 保存口味和数量。

13.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

13.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

13.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

十四、异常输入

14.1 数据结构

冰淇淋库存使用 flavors 支撑异常输入。
每个口味独立增减。

14.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

14.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

14.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

十五、验证场景

15.1 数据结构

冰淇淋库存使用 flavors 支撑验证场景。
低库存数量实时派生。

15.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

15.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

15.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

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

十六、性能表现

16.1 数据结构

冰淇淋库存使用 flavors 支撑性能表现。
Flavor 保存口味和数量。

16.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

16.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

16.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

性能表现维度	当前实现	作用
状态	flavors	保存数据
规则	change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味	生成反馈
边界	口味对象、非负数量和低库存统计	保护结果
结果	各口味数量和补充提示	呈现结论

十七、维护方式

17.1 数据结构

冰淇淋库存使用 flavors 支撑维护方式。
每个口味独立增减。

17.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

17.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

17.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

十八、代码职责

18.1 数据结构

冰淇淋库存使用 flavors 支撑代码职责。
低库存数量实时派生。

18.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

18.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

18.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

• 冰淇淋库存保存真实状态。
• change参与核心逻辑。
• 各口味数量和补充提示形成反馈。
• 口味对象、非负数量和低库存统计保护输出。

十九、运行结论

19.1 数据结构

冰淇淋库存使用 flavors 支撑运行结论。
Flavor 保存口味和数量。

19.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

19.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

19.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

二十、项目启示

20.1 数据结构

冰淇淋库存使用 flavors 支撑项目启示。
每个口味独立增减。

20.2 业务规则

change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味
change 及相关表达式承担核心行为。

20.3 交互刷新

控件回调更新状态并显示各口味数量和补充提示。
ArkUI 根据依赖关系刷新。

20.4 边界结论

口味对象、非负数量和低库存统计
结果因此保持稳定。

项目启示维度	当前实现	作用
状态	flavors	保存数据
规则	change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味	生成反馈
边界	口味对象、非负数量和低库存统计	保护结果
结果	各口味数量和补充提示	呈现结论

二十一、真实源码分段

21.1 源码片段 1

以下代码来自当前项目。

interface Flavor{name:string;count:number}@Entry @Component struct Index{@State flavors:Flavor[]=[{name:'香草',count:4},{name:'巧克力',count:2},{name:'草莓',count:1}];change(i:number,d:number):void{this.flavors[i].count=Math.max(0,this.flavors[i].count+d);this.flavors=this.flavors.slice()}build(){Column(){Text('冰淇淋库存').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Text('按口味记录取用和补充数量').fontColor('#667085').width('100%').margin({top:6,bottom:20});ForEach(this.flavors,(x:Flavor,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.count<=1?'库存偏低':'库存正常').fontSize(13).fontColor(x.count<=1?'#B42318':'#087443').margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(x.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(16).backgroundColor(x.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(9).margin({top:9})});Text(this.flavors.filter((x:Flavor)=>x.count<=1).length+' 种口味需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与按口味记录取用和补充数量并统计低库存口味。

21.2 源码片段 2

以下代码来自当前项目。

interface Flavor{name:string;count:number}@Entry @Component struct Index{@State flavors:Flavor[]=[{name:'香草',count:4},{name:'巧克力',count:2},{name:'草莓',count:1}];change(i:number,d:number):void{this.flavors[i].count=Math.max(0,this.flavors[i].count+d);this.flavors=this.flavors.slice()}build(){Column(){Text('冰淇淋库存').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Text('按口味记录取用和补充数量').fontColor('#667085').width('100%').margin({top:6,bottom:20});ForEach(this.flavors,(x:Flavor,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.count<=1?'库存偏低':'库存正常').fontSize(13).fontColor(x.count<=1?'#B42318':'#087443').margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(x.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(16).backgroundColor(x.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(9).margin({top:9})});Text(this.flavors.filter((x:Flavor)=>x.count<=1).length+' 种口味需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与按口味记录取用和补充数量并统计低库存口味。

21.3 源码片段 3

以下代码来自当前项目。

interface Flavor{name:string;count:number}@Entry @Component struct Index{@State flavors:Flavor[]=[{name:'香草',count:4},{name:'巧克力',count:2},{name:'草莓',count:1}];change(i:number,d:number):void{this.flavors[i].count=Math.max(0,this.flavors[i].count+d);this.flavors=this.flavors.slice()}build(){Column(){Text('冰淇淋库存').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Text('按口味记录取用和补充数量').fontColor('#667085').width('100%').margin({top:6,bottom:20});ForEach(this.flavors,(x:Flavor,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.count<=1?'库存偏低':'库存正常').fontSize(13).fontColor(x.count<=1?'#B42318':'#087443').margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(x.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(16).backgroundColor(x.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(9).margin({top:9})});Text(this.flavors.filter((x:Flavor)=>x.count<=1).length+' 种口味需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与按口味记录取用和补充数量并统计低库存口味。

21.4 源码片段 4

以下代码来自当前项目。

interface Flavor{name:string;count:number}@Entry @Component struct Index{@State flavors:Flavor[]=[{name:'香草',count:4},{name:'巧克力',count:2},{name:'草莓',count:1}];change(i:number,d:number):void{this.flavors[i].count=Math.max(0,this.flavors[i].count+d);this.flavors=this.flavors.slice()}build(){Column(){Text('冰淇淋库存').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Text('按口味记录取用和补充数量').fontColor('#667085').width('100%').margin({top:6,bottom:20});ForEach(this.flavors,(x:Flavor,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.count<=1?'库存偏低':'库存正常').fontSize(13).fontColor(x.count<=1?'#B42318':'#087443').margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(x.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(16).backgroundColor(x.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(9).margin({top:9})});Text(this.flavors.filter((x:Flavor)=>x.count<=1).length+' 种口味需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与按口味记录取用和补充数量并统计低库存口味。

21.5 源码片段 5

以下代码来自当前项目。

interface Flavor{name:string;count:number}@Entry @Component struct Index{@State flavors:Flavor[]=[{name:'香草',count:4},{name:'巧克力',count:2},{name:'草莓',count:1}];change(i:number,d:number):void{this.flavors[i].count=Math.max(0,this.flavors[i].count+d);this.flavors=this.flavors.slice()}build(){Column(){Text('冰淇淋库存').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Text('按口味记录取用和补充数量').fontColor('#667085').width('100%').margin({top:6,bottom:20});ForEach(this.flavors,(x:Flavor,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.count<=1?'库存偏低':'库存正常').fontSize(13).fontColor(x.count<=1?'#B42318':'#087443').margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(x.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(16).backgroundColor(x.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(9).margin({top:9})});Text(this.flavors.filter((x:Flavor)=>x.count<=1).length+' 种口味需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与按口味记录取用和补充数量并统计低库存口味。

21.6 源码片段 6

以下代码来自当前项目。

interface Flavor{name:string;count:number}@Entry @Component struct Index{@State flavors:Flavor[]=[{name:'香草',count:4},{name:'巧克力',count:2},{name:'草莓',count:1}];change(i:number,d:number):void{this.flavors[i].count=Math.max(0,this.flavors[i].count+d);this.flavors=this.flavors.slice()}build(){Column(){Text('冰淇淋库存').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Text('按口味记录取用和补充数量').fontColor('#667085').width('100%').margin({top:6,bottom:20});ForEach(this.flavors,(x:Flavor,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.count<=1?'库存偏低':'库存正常').fontSize(13).fontColor(x.count<=1?'#B42318':'#087443').margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(x.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(16).backgroundColor(x.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(9).margin({top:9})});Text(this.flavors.filter((x:Flavor)=>x.count<=1).length+' 种口味需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与按口味记录取用和补充数量并统计低库存口味。

21.7 源码片段 7

以下代码来自当前项目。

interface Flavor{name:string;count:number}@Entry @Component struct Index{@State flavors:Flavor[]=[{name:'香草',count:4},{name:'巧克力',count:2},{name:'草莓',count:1}];change(i:number,d:number):void{this.flavors[i].count=Math.max(0,this.flavors[i].count+d);this.flavors=this.flavors.slice()}build(){Column(){Text('冰淇淋库存').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Text('按口味记录取用和补充数量').fontColor('#667085').width('100%').margin({top:6,bottom:20});ForEach(this.flavors,(x:Flavor,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.count<=1?'库存偏低':'库存正常').fontSize(13).fontColor(x.count<=1?'#B42318':'#087443').margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(x.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(16).backgroundColor(x.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(9).margin({top:9})});Text(this.flavors.filter((x:Flavor)=>x.count<=1).length+' 种口味需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与按口味记录取用和补充数量并统计低库存口味。

21.8 源码片段 8

以下代码来自当前项目。

interface Flavor{name:string;count:number}@Entry @Component struct Index{@State flavors:Flavor[]=[{name:'香草',count:4},{name:'巧克力',count:2},{name:'草莓',count:1}];change(i:number,d:number):void{this.flavors[i].count=Math.max(0,this.flavors[i].count+d);this.flavors=this.flavors.slice()}build(){Column(){Text('冰淇淋库存').fontSize(27).fontWeight(FontWeight.Bold).width('100%');Text('按口味记录取用和补充数量').fontColor('#667085').width('100%').margin({top:6,bottom:20});ForEach(this.flavors,(x:Flavor,i:number)=>{Row(){Column(){Text(x.name).fontSize(18).fontWeight(FontWeight.Medium);Text(x.count<=1?'库存偏低':'库存正常').fontSize(13).fontColor(x.count<=1?'#B42318':'#087443').margin({top:4})}.alignItems(HorizontalAlign.Start).layoutWeight(1);Button('-').width(38).onClick(()=>this.change(i,-1));Text(x.count.toString()).width(42).textAlign(TextAlign.Center);Button('+').width(38).onClick(()=>this.change(i,1))}.width('100%').padding(16).backgroundColor(x.count<=1?'#FFF1F0':'#F8FAFC').borderRadius(9).margin({top:9})});Text(this.flavors.filter((x:Flavor)=>x.count<=1).length+' 种口味需要补充').fontColor('#B54708').margin({top:18})}.width('100%').height('100%').padding(22).backgroundColor('#FFFFFF')}}

该片段参与按口味记录取用和补充数量并统计低库存口味。

二十二、运行案例

22.1 默认数据

使用香草 4、巧克力 2、草莓 1。
观察 flavors 与结果。
确认各口味数量和补充提示可复算。

22.2 最小边界

口味对象、非负数量和低库存统计
观察 flavors 与结果。
确认各口味数量和补充提示可复算。

22.3 临界输入

围绕口味对象、非负数量和低库存统计验证阈值。
观察 flavors 与结果。
确认各口味数量和补充提示可复算。

22.4 连续操作

连续执行 change。
观察 flavors 与结果。
确认各口味数量和补充提示可复算。

验证维度	当前实现	作用
状态	flavors	保存数据
规则	change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味	生成反馈
边界	口味对象、非负数量和低库存统计	保护结果
结果	各口味数量和补充提示	呈现结论

二十三、技术取舍

23.1 本地状态

冰淇淋库存围绕口味对象、非负数量和低库存统计选择本地状态。
当前职责集中且可追踪。

23.2 具名函数

冰淇淋库存围绕口味对象、非负数量和低库存统计选择具名函数。
当前职责集中且可追踪。

23.3 声明式组件

冰淇淋库存围绕口味对象、非负数量和低库存统计选择声明式组件。
当前职责集中且可追踪。

23.4 清晰边界

冰淇淋库存围绕口味对象、非负数量和低库存统计选择清晰边界。
当前职责集中且可追踪。

二十四、总结

冰淇淋库存使用鸿蒙 ArkTS 完成了“按口味记录取用和补充数量并统计低库存口味”闭环。
核心规则是：change 修改目标口味数量并保持非负，filter 统计数量小于等于一的口味。
状态字段为 flavors。
状态建模、业务函数 与 声明式界面 共同保证结果稳定。

---

相关资源：

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