對flatMap的這個調用有一個隱含的含義嗎？

Question

在此代碼：How do I list all files in a subdirectory in scala?

爲什麼flatMap(recursiveListFiles)編譯：

import java.io.File 
def recursiveListFiles(f: File): Array[File] = { 
    val these = f.listFiles 
    these ++ these.filter(_.isDirectory).flatMap(recursiveListFiles) 
} 

取自？如recursiveListFiles接受File參數？文件參數是否隱式傳遞給recursiveListFiles？

Answer 1

整理。 flatMap相當明確地將一個論點傳遞給它自己的論點。這是一個高階函數的本質 - 你基本上給它一個回調函數，它調用回調函數，然後它對結果做一些事情。發生的唯一隱含的事情是將方法轉換爲函數類型。

任何方法都可以轉換爲等效函數類型。因此def recursiveListFiles(f: File): Array[File]等於File => Array[File]，這很好，因爲在Array[File]上，您有flatMap[B](f: File => Array[B]): Array[B]，而且您的方法的函數類型完全適用：類型參數B選擇爲File。

作爲另一個答覆中提到，你可以明確地做創建功能：

these.filter(_.isDirectory).flatMap(file => recursiveListFiles(file))或 these.filter(_.isDirectory).flatMap(recursiveListFiles(_))或 these.filter(_.isDirectory).flatMap(recursiveListFiles _)

在更復雜的情況下，你可能需要使用這些更詳細的一個工作選項，但在你的情況下，不需要打擾。

Answer 2

沒有因爲擴大flatMap樣子：

flatMap(file => recursiveListFiles(file)) 

所以在these每個file是越來越映射到Array[File]，其獲取flatMap夷爲平地。這裏沒有隱含的魔法（就像你問的那樣）。

Answer 3

flatMap以函數f: (A) ⇒ GenTraversableOnce[B]返回List[B]。

在你的情況下，這是recursiveListFiles這是一個File ⇒ Array[File]因此返回List[File]。產生的List[File]然後連接到these。