7.1 平台类型与空安全边界


文档摘要

7.1 平台类型与空安全边界 本节摘要:Kotlin 调用 Java 时,Java 返回值的可空性无从得知,编译器把它标记为平台类型——允许当非空用、也允许当可空用,风险自担。这是空安全防线的制度性缺口,也是现代 Kotlin 工程 NPE 的最后堡垒。本节讲平台类型的推断规则、击穿案例、可空性注解的补洞、边界收容的架构纪律,以及相关的一批互操作映射差异。 缺口是怎么来的 第 2 章建立的体系依赖一个前提:每个类型的可空性都写在类型里。 会员。《7.1 平台类型与空安全边界》收录于灏天文库文集《Kotlin安卓开发实战指南》,原作者/来源:灏天文库,整理自「灏天文库」,提供技术教程、实践指南与问题解决方案,支持在线阅读、全文检索与知识沉淀,助力开发者系统化学习。本站整理收录,版权归原作者/开源协议所有。

该文档为会员专享,请先登录或注册后再查看


作者与出处
原作者: 灏天文库
来源:灏天文库
整理: 灏天文库整理
由灏天文库平台收录,内容或由平台用户上传,仅供学习交流
发布者: 作者: 灏天文库 转发
评论区 (0)
U