一、前置思考ArkTS的类型系统基于TypeScript但做了大量裁剪。开发者常常在这种受限制的类型系统中设计复杂业务逻辑时感到束手束脚——不能用索引类型、不能用条件类型infer、不能用交叉类型。但限制不等于无能。ArkTS选择保留的类型能力interface、class、泛型、继承、联合类型足够应对绝大多数业务场景。我们需要的是在约束中寻找最优解。本文聚焦泛型约束在DAO层/Repository层的应用类型工厂模式无索引访问类型的替代方案类型安全的API响应模型设计协变/逆变在继承链中的避坑二、核心原理2.1 ArkTS类型系统能力矩阵能力TSArkTS替代方案泛型✅✅直接使用泛型约束 extends✅✅直接使用联合类型✅✅直接使用类型守卫 instanceof✅✅直接使用条件类型 infer✅❌类继承多态索引访问类型 T[K]✅❌getter方法映射类型✅❌显式interface交叉类型 A B✅❌接口继承2.2 泛型约束实战模式Repository模式是最经典的泛型应用场景interfaceEntity{id:number;}classBaseRepositoryTextendsEntity{privatedata:Mapnumber,TnewMap();findById(id:number):T|undefined{returnthis.data.get(id);}save(entity:T):void{this.data.set(entity.id,entity);}}// 具体实体的RepositoryinterfaceUserextendsEntity{name:string;age:number;}classUserRepositoryextendsBaseRepositoryUser{findByName(name:string):User|undefined{constall:User[][];this.data.forEach((user:User){all.push(user);});for(leti:number0;iall.length;i){if(all[i].namename){returnall[i];}}returnundefined;}}2.3 API响应模型设计interfaceApiResponseT{code:number;message:string;data:T;}interfacePaginatedDataT{list:T[];total:number;page:number;}// 组合typeUserListResponseApiResponsePaginatedDataUser;// 注意ArkTS中type别名可用但有限制三、企业级实战落地本Demo演示场景技术点代码泛型DAO层T extends Entity约束数据层的增删改查工厂模式类工厂替代索引类型class CreatorAPI响应泛型响应模型ApiResponseT联合类型路由多类型统一处理string多级继承基类→子类→孙类Entity→User→Admin四、避坑速查坑ArkTS报错修正Recordstring, Object作类型类型不可分配先声明interfacekeyof T不支持用getter/setter方法代替A B不支持交叉类型interface D extends A, B泛型推断失败返回类型缺失显式标注泛型参数五、总结ArkTS的类型编程核心原则是用类接口继承的经典OOP范式替代TypeScript的类型运算范式。设计模式工厂、Repository、Strategy仍然是有效的抽象工具。对应Demo文件entry/src/main/ets/pages/TypeProgrammingDemo.ets
