SuperAPI AI 工具集

kotlin-stable

编程与开发

查看项目

更新于 10-15 21:48

技能介绍

用途:作为 Kotlin 语言语义基础技能,用于在 JVM 项目中实现与诊断稳定的 Kotlin 语言语义,涵盖空安全、类型、泛型、型变、类、接口与密封类型等,并保持项目语言级别与 JVM 目标,而非默认假设使用最新编译器。

主要能力:提供语言规则与工作流指导。语言规则包括:仅在空值属于真实领域状态时用可空类型建模缺失,避免 !! 与未检查转换;优先不可变 val、只读集合接口、值语义 data class 以及封闭结果域的 sealed 类型;区分只读集合与不可变实现,在信任边界处复制;有意识地应用声明处型变,不靠星投影掩盖错误类型模型;扩展函数用于与接收者语义一致的行为;转换类型时保留相等性、哈希、排序、异常、序列化与 Java 调用点契约;将 Java 平台类型视为不可信可空边界;仅在有已验证的 Java ABI 需求时使用 @JvmName、@JvmStatic、@JvmOverloads、通配符与受检异常注解;避免炫技式作用域函数链。

使用方式:改代码前检查 settings.gradle.kts、build.gradle.kts、版本目录、gradle.properties 与 Java 工具链声明,记录 Kotlin 插件版本、语言/API 版本、JVM 目标、JDK、启用的编译器插件与目标平台,并先编译最小受影响模块。构建配置相关加载 kotlin-gradle-build,挂起/Flow 行为相关加载 kotlin-coroutines。工作流为复现编译器或行为故障,判断缺陷属于类型建模、可空性、型变、重载解析、ABI 还是构建配置,做最小语义修正且不弱化类型,添加观察公共行为的回归测试,依次运行模块编译、测试、静态分析与受影响的项目门禁。

质量门禁命令:gradle --no-daemon compileKotlin compileTestKotlin、gradle --no-daemon test、gradle --no-daemon check;存在仓库包装器时使用 ./gradlew。不得静默提高语言级别、JVM 目标或 JDK。

限制:该资料未提供具体安装命令、收费或价格信息,亦未给出更多平台支持细节,暂未提供。