KotlinからJavaコードを呼び出す際に発生するプラットフォーム型（T!）は、Kotlin の null 安全性を損ない、実行時例外の原因となります。これまではJSR-305やJetBrains注釈が利用されていましたが、Spring Boot 4におけるJSpecifyの標準採用やKotlin 2.1によるJSpecify診断のエラー格上げにより、状況は大きく変化しています。

本セッションでは、Javaライブラリの作者が、Kotlinから安全に利用できるAPIを提供する方法を提示します。背景としてJavaとKotlinでのnullハンドリングの違い、プラットフォーム型が発生する内部的な仕組みを整理した上で、具体的に付与すべきアノテーションや導入すべきツールを体系的に提示します。