爲什麼Scala無法在存在方法重載的情況下推斷匿名函數的類型，並且只有一個方法需要函數？

Question

鑑於以下對重載函數：

def onAction_=(implicit aeh: jfxe.EventHandler[jfxe.ActionEvent]) { 
    onAction() = aeh 
} 
def onAction_=(handler: ActionEvent => Unit): Unit = { 
    onAction() = new jfxe.EventHandler[jfxe.ActionEvent] { 
    override def handle(event: jfxe.ActionEvent): Unit = handler(event) 
    } 
} 

當試圖使用分配方法作爲這樣

onAction = { ae => doSomething() } 

Scala的抱怨爲ae缺少類型參數。爲什麼Scala無法推斷ae的類型，因爲只有一個重載採用函數類型，因此不會對調用哪種方法感到困惑。

Scala編譯器是否簡單地放棄嘗試在看到重載函數時推斷類型？

P.S.除此之外，IntelliJ Scala插件能夠將ae的類型解析爲ActionEvent的類型。我對插件能夠做一些編譯器不能做的事情感到好笑，或者沒有。

Answer 1

我想你錯過了一個getter/accessor。沒有吸氣者，你不能有一個裝甲師。下面是一個完整的例子，編譯：

import javafx.{ event => jfxe } 

class Foo { 
    private var _onAction: jfxe.EventHandler[jfxe.ActionEvent] = _ 

    def onAction = _onAction // the getter is necessary! 

    def onAction_=(implicit aeh: jfxe.EventHandler[jfxe.ActionEvent]) { 
    _onAction = aeh 
    } 
    def onAction_=(handler: jfxe.ActionEvent => Unit): Unit = { 
    _onAction = new jfxe.EventHandler[jfxe.ActionEvent] { 
     override def handle(event: jfxe.ActionEvent): Unit = handler(event) 
    } 
    } 
} 

object Driver extends App { 
    val f = new Foo 
    f.onAction = { ae => doSomething() } 

    def doSomething(): Unit = ??? 
}