斯卡拉多個隱式轉換？

Question

我不明白的明顯矛盾的行爲我看到下面的代碼（斯卡拉2.9）：

class Pimp1(val x : Double) { 
    def pluss(that : Pimp1) = x + that.x 
    def <(that : Pimp1) = x < that.x 
} 

object Pimp1 { 
implicit def d2pimp(d : Double) = new Pimp1(d) 
implicit def d2pimp(od : Option[Double]) = new Pimp1(od.get) 
} 

object Scratch2 extends App { 
    import Pimp1._ 

    5.0.pluss(Some(5.0)) 
    5.0 < Some(5.0) 
} 

線「5.0.pluss（一些（5.0））」編譯，但行之後

重載方法值<與替代：（X：雙）布爾（X：浮點型）布爾（X：長）的布爾（X：智力）布爾（X它不與下面的錯誤消息編譯： Char）布爾值（x：Short）布爾值（x：Byte）布爾值不能應用於（某些[Double]）

如果我添加明確<運營商的皮條客類，帶有一個選項[雙]：

def <(that : Option[Double]) = x < that.get 

一切編譯罰款。

現在，我明白了Scala的隱式轉換規則的方式，這是非常合情合理的：

1. 編譯器明白，有沒有「<」雙接受選項[雙]
2. 它認爲運營商隱式轉換爲Pimp1。
3. 如果Pimp1有一個合適的操作符，它將起作用，否則它會生成一個錯誤。
4. 重要的是，這表明編譯器確實而不是考慮應用從Option [Double]到Pimp的第二個（可用的）隱式轉換。

這就是我期望的事情。

然而，這似乎是第一個例子，在相互矛盾：

1. 編譯器看到的是有雙沒有pluss方法。
2. 編譯器嘗試將隱式轉換爲Pimp，後者確實有這種方法。
3. 但是，爲了讓操作員工作，編譯器必須對參數應用第二個隱式轉換，將其轉換爲Pimp。

根據上面的邏輯，這不應該編譯，但它確實。隱式轉換規則是否以不同方式處理不存在的方法和非匹配方法？

Answer 1

這對我有意義。第一個，這個作品是這樣的：

Does Double有一個pluss方法嗎？不，我們是否可以將它隱式轉換爲某種東西？是。好的，現在我想要應用pluss方法。它是否需要一個選項？我可以將選項隱含地轉換爲它需要的東西嗎？是。

第二個是這樣的：

有雙重有<方法？是。它是否需要一個選項？不，我可以隱式地將Option轉換爲<確實需要的東西嗎？沒有。