リテラルや変数をCharに代入するときのスカラの振る舞い

Question

Scalaでは、変数の宣言があるとします。

var x: Char = 'a' 

次に、この文字に1を追加して更新してください。

x = x + 1 

コンパイルエラーが発生しました。タイプミスマッチが見つかりました。必要な文字です。しかし、私はコンパイルエラーなしでこれを行うことができます。

x = 'a' + 1 

私はしかし、私は正確な動作のまわりで私の頭を取得しようとしている、これはオブジェクト対リテラル値とは何かを持って推測しています。 Charにリテラルな整数を明示的に割り当てることができます。 97となり、97-32の結果を割り当てることもできます。しかし、私が97-32 + 5と言うと、型の不一致エラーが発生します。どの時点で、コンパイラは、リテラルを結果とする式とオブジェクトを結果とする式を区別しますか？

Answer 1

割り当てがキーです。以下のREPLセッションで 見て：あなたはすべてがうまく行く変数の値を再割り当てしようとしない限り、あなたが見ることができます

alex@POSITRON ~ $ scala 
Welcome to Scala version 2.11.6 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_131). 
Type in expressions to have them evaluated. 
Type :help for more information. 

scala> val x:Char = 'a' 
x: Char = a 

scala> x + 1 
res0: Int = 98 

scala> var y:Char = 'a' 
y: Char = a 

scala> y + 1 
res1: Int = 98 

scala> y = y + 1 
<console>:8: error: type mismatch; 
found : Int 
required: Char 
     y = y + 1 
      ^

scala> 

ように。 'a'+1またはx + 1と書くと、Intに変換されます。 最終的にx = x + 1に再割り当てしようとすると、Intの値をChar変数に割り当てようとしています。コンパイルエラーが発生する理由を説明します。

Charコンパニオンオブジェクトには、implicit def char2int(x: Char): Intメソッドがあります。 私はvar x:Char = 'a' + 1で最初に起こるのは、このメソッドを呼び出すことで、 'a'を97に変換すると考えられます。次に97に1が追加され、両方ともIntとなります。次に、変数xはval y:Char = 98と同じ方法でインスタンス化されます。これは、変数の初期化の仕組みを説明していると思います。

Answer 2

リテラルを入力する特別なルールがありますin the spec。あなたが書くことができます

However, if the expected type pt of a literal in an expression is either Byte, Short, or Char and the integer number fits in the numeric range defined by the type, then the number is converted to type pt and the literal's type is pt.

：

scala> 97 : Char 
res0: Char = a 

scala> 97 + 1 : Char 
res1: Char = b 

こそこそ、彼らはここで定数式を意味します。しかし、定数式のdefinitionはプラットフォーム固有のものであるため、技術的にはres1が定数フォールドされていないとコンパイルに失敗する可能性があります。

関連する質問についてconstant folding in scaladocがscaladoc下型チェックの奇妙な損失を示しています。

$ ~/scala-2.12.3/bin/scaladoc -d /tmp folded.scala 
folded.scala:9: error: type mismatch; 
found : Int 
required: Char 
    x = 'a' - 32 + 5 
       ^
model contains 4 documentable templates 
one error found