KSP2 中 getDeclarationsInSourceOrder 方法异常问题解析

在 Kotlin Symbol Processing (KSP) 2 版本中，开发者遇到了一个关于 getDeclarationsInSourceOrder 方法的异常问题。这个问题特别出现在处理 Java 类实现 Kotlin 接口的场景中，值得深入分析其技术背景和解决方案。

问题现象

当开发者尝试调用 getDeclarationsInSourceOrder 方法来获取一个 Java 类（实现了 Kotlin 接口）的声明顺序时，系统会抛出 KotlinIllegalStateExceptionWithAttachments 异常。值得注意的是，这个问题仅出现在源代码编译阶段，如果代码已经被编译过，则不会出现此异常。

技术背景

这个问题涉及到 KSP 在处理混合语言（Kotlin 和 Java）代码时的类型解析机制。具体来说：

1. Kotlin 接口与 Java 实现：Kotlin 和 Java 在类型系统上有细微差异，当 Java 类实现 Kotlin 接口时，需要特殊的处理逻辑。

2. 泛型的影响：从后续测试发现，当 Kotlin 父类是泛型时，问题更容易复现。这表明泛型类型参数的处理在此场景下可能存在问题。

3. 编译阶段差异：问题仅出现在源代码编译阶段，说明这与 KSP 的类型解析时机和阶段有关。

问题根源

通过深入分析，发现问题出在 FIR（Frontend IR）的假重写（Fake Override）生成阶段。具体来说：

1. 在 FirFakeOverrideGenerator.kt 文件中，有一行检查代码在特定情况下会失败。

2. 当 FIR 符号处于 TYPE 解析阶段时，状态检查会失败，导致异常抛出。

3. 简单的移除相关检查行可以临时解决问题，但这可能不是最佳解决方案。

解决方案

JetBrains 团队已经在上游修复了这个问题，修复包含在 Kotlin 2.1.0-dev-4693 及后续版本中。开发者可以：

1. 等待并使用包含修复的 Kotlin 编译器版本（如 2.1.0-dev-5441 已验证修复）。

2. 在等待官方修复期间，可以考虑临时移除相关检查代码作为 workaround。

最佳实践

对于需要在 KSP 中处理混合语言代码的开发者，建议：

1. 注意 Kotlin 和 Java 互操作时的类型处理差异。

2. 对于泛型接口/类的处理要特别小心。

3. 保持 KSP 和 Kotlin 编译器版本同步更新，以获取最新的修复和改进。

这个问题展示了 KSP 在处理复杂语言互操作场景时的挑战，也体现了 Kotlin 团队对这类问题的快速响应和修复能力。