数値型の暗黙の変換のためのScalaの動作/理解？

Question

私はScala forループの暗黙的なボックスの動作を理解しようとしています。なぜ2人は最初に失敗しますが、残りは失敗しませんか？

1）失敗：

scala> for (i:Long <- 0 to 10000000L) {}


 <console>:19: error: type mismatch;<br> 
     found : Long(10000000L) 
     required: Int 
       for (i:Long <- 0 to 10000000L) {} 
           ^

2>に失敗：

scala> for (i <- 0 to 10000000L) {}

 <console>:19: error: type mismatch; 
     found : Long(10000000L) 
     required: Int 
      for (i <- 0 to 10000000L) {} 
         ^

3）動作：

scala> for (i:Long <- 0L to 10000000L) {}

4）動作：

scala> for (i <- 0L to 10000000L) {}

Answer 1

これは、forループとは何の関係もありません：

0 to 1L //error 
0 to 1 //fine 
0L to 1L //fine 
0L to 1 //fine 

Intに利用できるtoメソッドは、引数としてIntを期待するので、それはちょうどです。ですから、Longとすると、それは好きではないので、エラーが発生します。

はここRichIntに見出さto方法、の定義は次のとおり数値タイプの脱糖及び暗黙の変換が矛盾すなわちある

def to(end: Int): Range.Inclusive = Range.inclusive(self, end) 

Answer 2

割り当て操作に比べ「の/理解」の表現の間で異なります。他の点を証明したり、少なくとも以下の議論が間違っている点を指摘してください。

実際には、数値割り当て時に宛先タイプが支配的です。

var l:Long = 0は次のようになります。
​​

var l:Long = 0.toIntは次のようになります。
var l: Long = 0.toInt.toLong

"/理解のために、" ソースタイプが支配的である、式中、：

for (i:Long <- 0 to 1000000000L) { }は次のようになります。
0.to(1000000000L).foreach(((i: Long) =>()))

for (i <- 0L to 1000000000L) { }になる：コンパイラフラグ scala.this.Predef.longWrapper(0L).to(1000000000L).foreach[Unit](((i: Long) =>()))

（PS： "タイパー-e -Xprint" で生成された出力。 ds）