KSP2中Java源文件声明实例的相等性问题解析

问题背景

在Kotlin Symbol Processing (KSP)工具的最新版本KSP2中，开发者发现了一个关于声明实例相等性的重要行为变化。这个问题主要出现在处理Java源文件中的类声明时，通过不同方式获取的相同声明实例会出现不相等的情况。

现象描述

在KSP1版本中，对于同一个声明，无论通过何种方式获取其KSDeclaration实例，这些实例都是相等的（这与Java编译器对Element实例的处理方式类似）。然而在KSP2中，当开发者分别通过Resolver#getSymbolsWithAnnotation()和Resolver#getClassDeclarationByName()方法获取同一个类的声明实例时，这两个实例会被判定为不相等。

技术细节

具体表现为：假设有一个用@MyAnnotation注解标记的MyClass类：

@MyAnnotation class MyClass

当处理器通过以下两种方式获取声明实例时：

val declaration1 = resolver.getSymbolsWithAnnotation("MyAnnotation").single()
val declaration2 = resolver.getClassDeclarationByName(resolver.getKSNameFromString("MyClass"))!!

在KSP1中，declaration1.equals(declaration2)会返回true，而在KSP2中则会返回false。

影响范围

经过进一步分析，这个问题主要影响Java源文件中的声明处理。对于Kotlin源文件中的声明，两种方式获取的实例仍然能够保持相等性。

技术原理

这种行为的差异源于KSP2内部实现的变化。在KSP2中，不同解析路径可能会创建不同的符号实例：

1. 通过注解扫描获取的实例可能是KaFirNamedClassSymbol
2. 通过类名直接查找获取的实例可能是KaFirPsiJavaClassSymbol

虽然这两个实例代表的是同一个声明，但由于它们属于不同的实现类，导致equals比较返回false。

解决方案

开发团队已经将此问题作为上游bug提交，并正在寻找合适的解决方案。在官方修复发布前，开发者可以采取以下临时措施：

1. 避免直接比较声明实例的相等性
2. 改为比较声明的限定名或其他唯一标识符
3. 对于需要判断声明是否相同的场景，使用qualifiedName等属性进行比较

最佳实践建议

在处理跨语言(Kotlin/Java)的符号处理时，建议开发者：

1. 统一使用一种方式获取声明实例
2. 如果必须比较不同来源的声明，使用qualifiedName等稳定属性进行比较
3. 关注KSP的更新日志，及时获取问题修复信息

这个问题提醒我们在处理编译器API时，需要注意不同解析路径可能带来的行为差异，特别是在多语言混合开发环境中。