Scalaの上限を理解する

Question

Scalaにupperboundが存在する理由を理解しようとしています。彼らはコメント行がコメント解除された場合Upperbounds

class Animal 
class Dog extends Animal 
class Puppy extends Dog 

class AnimalCarer{ 
    def display [T <: Dog](t: T){ 
    println(t) 
    } 
} 

object ScalaUpperBoundsTest { 
    def main(args: Array[String]) { 

    val animal = new Animal 
    val dog = new Dog 
    val puppy = new Puppy 

    val animalCarer = new AnimalCarer 

    //animalCarer.display(animal) uncommenting this line leads to an error 
    animalCarer.display(dog) 
    animalCarer.display(puppy) 
    } 
} 

を説明しようとしている。このASNのサンプルコードは、エラーが発生します。あなたは

def display(t: Dog){ 
println(t) 
} 

ので、特にtは犬のサブタイプでなければなりませんコンパイラに指示する必要が何であるかにAnimalCarerでdisplay方法を変更した場合しかし、あなたはまだエラーが出るのでしょうか？

Answer 1

これはかなり役に立たない例のようです。あなたは正しい、def display[T <: Dog](t: T)はちょうどdef display(t: Dog)と等価であり、タイプパラメータは目的を果たさない。

私たちはあなたの例それをより便利にする少し変更することができます。

ここ

def display[T <: Dog](t: T): T = { 
    println(t) 
    t 
} 

あなたはPoodleに合格した場合、何を取り戻すことはまだPoodle、ではないので、typeパラメータは、便利ですちょうどいずれかDog。