獲取函數中的類型不匹配錯誤作為scala中的參數

Question

當我通過傳遞函數作為參數從n_shuffle調用in_shuffle方法時，我在 scala 中遇到了一些類型不匹配的問題。

  def in_shuffle[T](original: List[T], restrict_till:Int= -1):List[T]={

    require(original.size % 2 == 0, "In shuffle requires even number of elements")
    def shuffle(t: (List[T], List[T])): List[T] =
      t._2 zip t._1 flatMap { case (a, b) => List(a, b) }

    def midpoint(l: List[T]): Int = l.size / 2

    @annotation.tailrec
    def loop(current: List[T], restrict_till:Int, count:Int=0): List[T] = {
      if (original == current || restrict_till == count) current
      else{
        val mid         = midpoint(current)
        val shuffled_ls = shuffle(current.splitAt(mid))
        loop(shuffled_ls, restrict_till, count+1)
      }
    }
    loop(shuffle(original.splitAt(midpoint(original))), restrict_till, 1)
  }

def n_shuffle[T](f: (List[T], Int) => List[T], list:List[T], n:Int):List[T]={
  println("Inside Sub-function")
  f(list, n)
}

這是我在main調用n_shuffle的方式

print( n_shuffle(in_shuffle, (1 to 8).toList, 2) )

我得到的錯誤是

Error:(161, 22) type mismatch;
 found   : (List[Nothing], Int) => List[Nothing]
 required: (List[Int], Int) => List[Int]
    print( n_shuffle(in_shuffle, (1 to 8).toList, 2) )

任何幫助將不勝感激。 謝謝

Answer 1

嘗試多個參數列表來幫助類型推斷

def n_shuffle[T](list: List[T], n: Int)(f: (List[T], Int) => List[T]): List[T]
n_shuffle((1 to 8).toList, 2)(in_shuffle)

或提供顯式類型注釋

n_shuffle(in_shuffle[Int], (1 to 8).toList, 2)
n_shuffle[Int](in_shuffle, (1 to 8).toList, 2)

編譯器無法推斷第一個參數的類型的原因

def n_shuffle[T](f: (List[T], Int) => List[T], list: List[T], n: Int)

是因為它會從(1 to 8).toList獲取它，但是這是第二個參數。

Answer 2

似乎這種情況下的推理沒有按預期工作。 強制 in_shuffle[Int] 方法中的類型可以解決問題。

試試這個。

print(n_shuffle(in_shuffle[Int], (1 to 8).toList, 2))