が考えるtrait`

Question

`は` copy`を定義し、私はもっとうまくできると思った、しかし

def copy(x: X, newValue: String): X = x match { 
    case A(_) => A(newValue) 
    case B(_) => B(newValue) 
} 

、すなわち正確に。 BはXのサブクラスであるため

ため、技術的に、Aが入力されたという理由だけで、Bを出力することができました。

<console>:17: error: type mismatch; 
found : A 
required: T 
      case A(_) => A(newValue) 
         ^
<console>:18: error: type mismatch; 
found : B 
required: T 
      case B(_) => B(newValue) 
         ^

どのように私は与えられた署名付きcopyBetterを実装することができます：私は、コンパイル時エラーを得た、

def copyBetter[T <: X](x: T, newValue: String): T = x match { 
case A(_) => A(newValue) 
case B(_) => B(newValue) 
} 

しかし：

は、だから私は試しましたか？

Answer 1

唯一の方法は、このシグネチャを持つメソッドを実装する（nullを無視して）def copyBetter[T <: X](x: T, newValue: String): T = xです！どうして？シングルトンタイプが存在するためです。

val x = A(1) 
val y: x.type = copyBetter[x.type](x, 2) 

yのタイプはyがx（又はnull）と同じオブジェクトでなければならないことを述べている：。x.typeがXのサブタイプであるので、この署名が与えられると、以下は、コンパイルする必要がありますあなたの実装ではそうではないので、この実装は署名に適合しません。

Answer 2

私は次のことをお勧め：

def copyBetter[T <: X](x: T, newValue: String): X = x match { 
    case A(_) => A(newValue) 
    case B(_) => B(newValue) 
} 

Answer 3

あなたはTが、Xを返されていません。 AおよびBはXですが、Tは含まれていません。

この署名を使用して試してみてください：

def copyBetter[T <: X](x: T, newValue: String): X = // ... 

Answer 4

シンプル - どのようにそれは、メソッド本体内にも関与していないときに、戻り値の型はTことを期待しています。 Tは無関係で、返されるタイプはAとBという共通の祖先です。

また、あなたのようにそれを定義すべきではありません。

def copy(newValue: String): X = this match { 
    case _: A => A(newValue) 
    case _: B => B(newValue) 
}