Scala Generic Function Values (Anonymous Function) - Missing Parameter Type (Error)

前端 未结 1 1504
孤街浪徒
孤街浪徒 2021-02-20 10:46

I\'m new to Scala (Scala code runner version 2.7.7.final), and I really don\'t understand why it requires the caller to provide the parameter type when we are using hig

1条回答
  •  粉色の甜心
    2021-02-20 10:57

    It doesn't infer the type of T because the only thing it has to go by at this point would be arrayOne and arrayTwo. However, Scala does not use the type of one parameter to infer the type of another, probably because it would cause problems with method overloading. However, it works if you curry it:

    Object Util {
    
     // Just for fun! Suppose that the arrayOne and arrayTwo are all the same length.
     // will swap the elements from arrayOne to ArrayTwo.
       def swap[T](arrayOne:Array[T], arrayTwo:Array[T])(f:(T,T) =>(T,T)) : Unit = {
         var i = 0   
            var tuple :Tuple2[T,T] = null
           while(i < arrayOne.length && i < arrayTwo.length){
             tuple =f(arrayOne(i),arrayTwo(i))
             arrayOne(i) = tuple._1
             arrayTwo(i) = tuple._2
             i+=1
            }
          }
    }
    
    object Main extends Application {
    
       // val works fine below -- the object is mutable
       val arrayOne = Array("A","B","C")
       val arrayTwo = Array("D","E","F")
    
       (Util swap(arrayOne, arrayTwo))((elem1,elem2)=>(elem2,elem1))
       // The weird parenthesis is caused by mixing operator notation and currying
       // One could also write it like this:
       // Util.swap(arrayOne, arrayTwo)((elem1,elem2)=>(elem2,elem1))
    }
    

    The reason why it works fine if you curry it is that a curried method is actually a method receiving the first parameter list and returning a function that requires the other (or others) parameter list. Because of that, overloading can be decided in the first parameter list, so the second parameter list can take advantage of inferred types.

    0 讨论(0)
提交回复
热议问题