如何將「餘下的」算法轉換爲功能樣式？

Question

在我的命令式Scala代碼，我有一個算法：

def myProcessor(val items: List) { 
    var numProcessed = 0 
    while(numProcessed < items.size) { 
    val processedSoFar = items.size - numProcessed 
    numProcessed += processNextBlockOfItems(items, processedSoFar) 
    } 
} 

我想保持「塊處理」的功能，而不是僅僅做一個「takeWhile」的項目名單上。我怎樣才能以功能性風格重寫？

Answer 1

所以，這取決於你認爲什麼是更多的功能，但這裏有一個版本，不帶「變種」

def myProcessorFunctional(items: List[Int]) { 
    def myProcessorHelper(items: List[Int], numProcessed: Int) { 
     if (numProcessed < items.size) { 
     val processedSoFar = items.size - numProcessed 
     myProcessorHelper(items, 
      numProcessed + processNextBlockOfItems(items, processedSoFar)) 
     } 
    } 
    myProcessorHelper(items, 0) 
    } 

（使它INTS的名單只是爲了簡單起見，將容易使它使用一個通用的列表）

我不得不說它是我不介意可變變量的那些情況之一 - 很明顯，沒有引用它可以逃避方法。

但正如我在上面的評論中所說的，無論如何，processNextBlockOfItems本質上是非功能性的，因爲它被稱爲副作用。一個更有效的方式是讓它返回到目前爲止的處理狀態，並且這個狀態將在隨後的調用中更新（並返回）。現在，如果你在處理兩個不同的項目名單中間，你就必須processNextBlockOfItems內維護兩個不同的部分處理的狀態的問題...

後來：

仍然忽略狀態問題，如果processNextBlockOfItems總是處理傳遞給它的項目列表的第一個塊，則返回其未處理的剩餘項目（如果使用List，這很方便和高效，所以我想知道爲什麼你會「重新使用指示）。

這會產生這樣的：

def myProcessorMoreFunctional(items: List[Int]) { 
    if (!items.isEmpty) { 
     myProcessorMoreFunctional(processNextBlockOfItems(items)) 
     } 
    } 

Answer 2

您需要將其更改爲遞歸式的，其中你在每個循環

@tailrec 
def myProcessor(items: List[A], count: Int = 0): Int = items match{ 
    case Nil => count 
    case x :: xs => 
    processNextBlockOfItems(items, count) 
    myProcessor(xs, count + 1) 
} 

假設「processedSoFar」不是一個指數的「狀態」，「通行證」。如果你可以用列表的當前「頭」的工作：

@tailrec 
def myProcessor(items: List[A], count: Int = 0): Int = items match{ 
    case Nil => count 
    case x :: xs => 
    process(x) 
    myProcessor(xs, count + 1) 
} 

其中process只會處理List目前「頭」。