Структурная типизация для Traversable - PullRequest
Новая
       21

Структурная типизация для Traversable

4 голосов
/ 26 марта 2012

У меня есть этот метод: 

scala> def foo(traversable: Traversable[{def toByte: Byte}]) = {
     | traversable.map(_.toByte)
     | }
foo: (traversable: Traversable[AnyRef{def toByte: Byte}])Traversable[Byte]

Но когда я называю это так:

scala> foo(List(1,2,3))

Я получаю: 

java.lang.NoSuchMethodException
    at scala.runtime.BoxesRunTime.toByte(Unknown Source)
    at $anonfun$foo$1.apply(<console>:8)
    at $anonfun$foo$1.apply(<console>:8)
    at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)
    at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)
    at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
    at scala.collection.immutable.List.foreach(List.scala:45)
    at scala.collection.TraversableLike$class.map(TraversableLike.scala:194)
    at scala.collection.immutable.List.map(List.scala:45)
    at .foo(<console>:8)

Но когда я делаю что-то вроде этого: 

scala> 1.toByte
res1: Byte = 1

Работает.

Я, вероятно, упускаю что-то настолько простое, что пропускаю это, но как я могу заставить эту работу работать?

1 Ответ

10 голосов
/ 26 марта 2012

Int - это sybtype для AnyVal, поэтому вам нужно явно объявить его. 

def foo(xs: Traversable[AnyVal { def toByte: Byte }]) = xs.map(_.toByte)
...