Scala ограничен общий типа против polymorphsim

Question

В Скале, следующем общем типе,

def input[T <: SubType](inp: T) = { } 

сменно с полиморфным определением

def input(inp: SubType) = { } 

Когда мы должны отдавать предпочтение 1-й и 2-й стиля стиля? Любые сценарии?

Answer 1

Рассмотрим следующий метод:

def input[T <: SubType](inp: T): T = ??? 

Теперь точный тип inp будет сохранена в типе возвращаемого значения. В другом стиле у вас всегда будет Subtype как возвращаемый тип, а не что-то более конкретное.

Так что вам нужен первый стиль, если вам нужен доступ к наиболее точному типу inp, известному компилятору. Другой пример:

def input[T <: SubType : SomeTypeclass](inp: T) = ???