DevEco Code 让 AI 写 ArkTS,ForEach 漏 key、@State 不刷新、满屏 any:我立了 3 条冷门规矩治它

📅 2026/7/25 20:58:45 👁️ 阅读次数 📝 编程学习
DevEco Code 让 AI 写 ArkTS,ForEach 漏 key、@State 不刷新、满屏 any:我立了 3 条冷门规矩治它

DevEco Code 这工具,我小半年前就开始拿它写鸿蒙,越用越觉得它最值钱的那块不是补全,是 Build 模式能把"描述需求、生成 .ets、编译、推真机"一条龙串起来。你对着它说一句"新建个登录页",它真能把代码写完还顺手帮你 build 出来,第一次跑通那个 demo 的时候我确实有点惊着。

可你要是放手让它自由发挥写 ArkTS,三天里准撞上几个它反复犯的同款错误,现实反手就是一巴掌。我头一回信它不信邪,让它一口气给我生成整个设置页,编译过了,跑起来列表乱跳、状态还不更新。我一开始以为是真机抽风,折腾半天才反应过来是 AI 写出来的代码本身有问题。

那次之后我学乖了,凡是要让 AI 写 ArkTS,我先在脑子里过一遍它最容易翻车的几个点。后来发现翻来覆去就那三件事,干脆固化成规矩,每次新工程开头先拍给它。

说白了,通用大模型写 ArkTS 有先天短板。它训练数据里鸿蒙的样本本来就少,又爱把 TypeScript 和 React 的肌肉记忆搬过来。DevEco Code 内置的 arkts-grammar-standards 这类 skill 会拦一部分,可真到复杂点的页面,该翻车还是翻车。我躺过的坑比你想象的多,后来干脆给它立了三条冷门规矩,效果比反复改 prompt 强太多。

规矩一:ForEach 的 keyGenerator 必须显式写死,别信 AI 的"默认用 index"

你让 AI"给我来个商品列表",它十有八九给你这么一段:

ForEach(this.goods,(item:Goods)=>{ListItem(){Text(item.name)}})

这段代码能跑,可一旦你做删除、置顶,或者后端返回顺序变了,列表就开始抽风。明明数据删了,界面还留着旧的那条;或者点 A 项展开,B 项跟着展开。根因是 AI 没传第三个参数 keyGenerator,ArkTS 默认拿数组下标当 key,数据一变序,key 和内容的对应关系就乱套了。

我那次的具体场景是做了个置顶功能,用户把某个商品拖到最前面,数据层 reorder 之后界面却还是老顺序,点进去看详情还是旧的那条。我盯着模拟器翻来覆去试了十几分钟,才反应过来是 key 在捣鬼。后来给 AI 的规矩就一句话:ForEach 第三个参数必须写,且用稳定唯一 id,绝不能要下标。改完长这样:

ForEach(this.goods,(item:Goods)=>{ListItem(){Text(item.name).fontSize(16)}},(item:Goods):string=>item.id// 关键:稳定唯一 key,别用下标)

你猜怎么着,就这么一行,列表错乱从必现变消失。这坑我在三个项目里复现过,每次都是 AI 偷懒没写 keyGenerator。说白了就是它图省事,反正能编译过它才不管你后面删不删数据。

顺带说一句,鸿蒙的文档对 keyGenerator 讲得其实挺清楚,可 AI 偏偏爱用最省事的写法,你不在 prompt 里点名,它八成不会主动加。

规矩二:class 塞进 @State,光改属性 UI 不刷新,得 @Observed 加 @ObjectLink

AI 特别喜欢这么写:

@Stateitems:CartItem[]=[]// 某个方法里this.items[0].count=this.items[0].count+1

它以为改了数组里的对象,界面就该跟着变。错。ArkTS 的响应式系统盯的是引用有没有换,你拿着老引用改里面的字段,它眼里啥也没发生。@State 只对"赋值"这个动作做响应,直接改items[0].count属于就地改对象属性,框架压根感知不到,UI 纹丝不动。我当初还以为是模拟器没刷新,手滑点了七八次重启才死心。

我承认我一开始也这么写,盯着不动的购物车数字愣了五分钟。上周同事还问我,ArkTS 是不是状态管理有 bug,我跟他说不是 bug,是咱写法不对。正确做法:给 class 加 @Observed,子组件用 @ObjectLink 接,嵌套属性变了才会触发刷新。

等一下,这里我漏说一个前提,@Observed 只对 class 生效,你要是用 interface 定义数据,这套不灵,得先把数据结构改成 class 才行。

@ObservedclassCartItem{count:number=1constructor(publicname:string){}}@Componentstruct CartRow{@ObjectLinkitem:CartItem// 注意,这里不是 @Statebuild(){Row(){Text(this.item.name)Text(`x${this.item.count}`)}}}// 父组件里@Stateitems:CartItem[]=[newCartItem('键盘')]// 现在改属性就能刷新了this.items[0].count+=1

@ObjectLink 拿到的不是副本,是父组件那个被 @Observed 标记对象的引用,所以子组件里改 .count,父组件的数组和别的子组件会一起刷新,这才是它和 @State 最大的区别。

这套组合说出来简单,AI 默认几乎不会主动用 @ObjectLink,得你把它写进规矩里它才记得。我后来养成个习惯,凡是可能改属性的状态对象,一律先想清楚要不要上 @Observed。我特别烦那种"能编译过就行"的敷衍态度,上线之后用户看到的数字不对,锅还是你背。

规矩三:ArkTS 强类型,别让它用 any 和 as 糊弄,给个类型守卫

AI 拿不准类型的时候,最爱甩any或者直接obj as User硬转。ArkTS 开了严格模式,any 直接编译报错,as 强转在运行期还可能埋雷。我有次接口把 id 从 string 改成了 number,AI 强转出来的对象我直接取 .name,跑起来白屏,报错还指向一个八竿子打不着的组件,定位花了快一小时。DevEco Code 的语法 skill 理论上会拦,可我实测它还是会偷偷塞 as,尤其接口返回的数据它懒得判断类型时就来一手强转。

我的规矩就一条:禁止 any,禁止 as,拿不准就写类型守卫。比如接口返回的数据要转成 User:

interfaceUser{id:stringname:string}functionisUser(obj:Object):objisUser{// 守卫内部为拿属性做一次受控转型,外面绝不直接 rawData as Userconsto=objasRecord<string,Object>return'id'ino&&'name'ino&&typeofo['id']==='string'}// 用的时候if(isUser(rawData)){console.info(`拿到用户${rawData.name}`)}else{console.error('数据结构不对,别硬转')}

DevEco Code 其实有 arkts-error-fixes 这个 skill,编译报红了它会主动给解法,可它给的解法经常是“加个 as 让它过去”,而不是从类型上根治。所以类型守卫这招我是逼着它用的,不是它自愿。

你试试让 AI 第一次就写出这个守卫函数,十次里有七八次它还是图省事给你as。所以这条规矩我每次新开会话都会先丢过去,比事后一个个改红色波浪线省事得多。如果让我重来,我第一个鸿蒙项目起就把这三条钉死,而不是一个个坑踩过来才总结。

三条规矩怎么喂给 AI

我现在的习惯是,每个新工程第一次对话,先把这三句拍给它:ForEach 必须带 keyGenerator 且用稳定 id;class 进状态管理要用 @Observed 加 @ObjectLink;禁止 any 和 as,用类型守卫。不是塞进系统提示里,是作为第一条需求发过去,让它这轮就照做。比等它写错再返工舒服太多了。

规矩也不是一成不变,遇到新坑我会往里加,比如后来发现它生成的 @Builder 参数也爱乱用 any,就补了一条进去。

你也在用 DevEco Code 写鸿蒙的话,不妨也试试这几条。你遇到过它生成的代码不刷新的情况吗?欢迎留言聊聊。

顺带一提,雷达鸭鸿蒙版那几个列表页,最早就被 AI 生成的 ForEach 坑过,按上面规矩重写之后才安生。


老三,10 年以上软件开发经验,软件设计师、人工智能应用工程师。平时主要搞鸿蒙应用开发(ArkTS 北向)和 Web 前端,也折腾 AI 自动化。偶尔在 CSDN 写点鸿蒙和 AI 方向的踩坑笔记。

本文遵循 MIT 协议,转载请注明出处。