鉴于此课程:
data class CSVRecord(private val columns: SortedSet<CSVColumn>) : Iterable<String> {
override fun iterator(): Iterator<String> {
return columns.map { it.value }.iterator()
}
}
spotbugs引发错误:
[错误] com.example.CSVRecord.iterator()[com.example.CSVRecord]中从Collection到抽象类java.util.List的可疑转换在CSVRecord.kt:[第15行] BC_BAD_CAST_TO_ABSTRACT_COLLECTION
这是因为spotbugs不支持Kotlin,还是我的实施可能无效?
答案 0 :(得分:4)
FindBugs处理字节码,然后反向查找文件和行信息。似乎Kotlin编译器发出了CHECKCAST
指令,从Kotlin的角度来看,很明显演员会传递,但Java方法的返回类型声明,或声明的本地变量/参数类型,更广泛。
这是我从IDEA获得的函数的反编译Kotlin字节码:
@NotNull
public Iterator iterator() {
Iterable $receiver$iv = (Iterable)this.columns;
Collection destination$iv$iv = (Collection)
(new ArrayList(collectionSizeOrDefault($receiver$iv, 10)));
Iterator var4 = $receiver$iv.iterator();
while(var4.hasNext()) {
Object item$iv$iv = var4.next();
CSVColumn it = (CSVColumn)item$iv$iv;
String var11 = it.getValue();
destination$iv$iv.add(var11);
}
return ((List)destination$iv$iv).iterator();
}
您可以看到声明inline fun map
在此级别上的含义:它的整个代码成为您方法实现的一部分。发出的字节码碰巧使用Collection
类型变量destination$iv$iv
来保存对ArrayList
的引用。 return
语句将其转换为List
,这是完全允许的,这显然是安全的。