Java lambda類型推斷在Kotlin中沒有像預期的那樣工作

Question

爲什麼這段Java代碼不能在Kotlin中編譯，而在Collectors.toList<String>()中沒有顯式類型參數？有沒有更習慣的方式來做到這一點？

// works 
List<String> folders = Files.walk(Paths.get(args[0])) 
             .filter(it -> it.toFile().isDirectory()) 
           .map(it -> it.toAbsolutePath().toString()) 
           .collect(Collectors.toList()); 

// does not compile - resulting type is `MutableList<in String!>..List<Any?>?` which is not compatible to `List<String>` 
val folders: List<String> = Files.walk(Paths.get(args[0])) 
           .filter { it.toFile().isDirectory } 
           .map { it.toAbsolutePath().toString() } 
           .collect(Collectors.toList()) 

// compiles 
val folders: List<String> = Files.walk(Paths.get(args[0])) 
           .filter { it.toFile().isDirectory } 
           .map { it.toAbsolutePath().toString() } 
           .collect(Collectors.toList<String>()) 

Answer 1

我發現了兩種方法使它在兩個地方都沒有明確指定泛型的情況下工作。

要麼你可以指定全類型的變量與generic covariance

val folders: MutableList<in String> = Files.walk(Paths.get(args[0])) 
     .filter { it.toFile().isDirectory } 
     .map { it.toAbsolutePath().toString() } 
     .collect(Collectors.toList()) 

，或者你可以簡單地讓科特林做它的類型推斷變量（方法的不通用參數）

val folders2 = Files.walk(Paths.get(args[0])) 
     .filter { it.toFile().isDirectory } 
     .map { it.toAbsolutePath().toString() } 
     .collect(Collectors.toList<String>()) 

Answer 2

爲什麼這段Java代碼在Kotlin中沒有在Collectors.toList<String>()中顯式類型參數沒有編譯？

這看起來像是一個編譯器bug。我建議在Kotlin (KT) | YouTrack中創建一個問題。

有沒有更習慣的方法來做到這一點？

是的。如Kirill Rakhmancomments，「Kotlin有自己的File.walk擴展方法。」例如：

val folders: List<String> = File(args[0]).walk() 
     .filter(File::isDirectory) 
     .map(File::getAbsolutePath) 
     .toList() 

如果您更喜歡使用Java 8流，然後結賬Kotlin/kotlinx.support: Extension and top-level functions to use JDK7/JDK8 features in Kotlin 1.0。它定義了一個Stream<T>.toList()函數：

val folders: List<String> = Files.walk(Paths.get(args[0])) 
     .filter { it.toFile().isDirectory } 
     .map { it.toAbsolutePath().toString() } 
     .toList()