Как интерпретировать этот SCALA синтаксис "Class [_>: Float с Int с Double]"

Question

Когда я прочитал Mxnet исходный код, я был смущен в следующих утверждений:

object NDArray { 
    private val logger = LoggerFactory.getLogger(classOf[NDArray]) 
    private[mxnet] val DTYPE_NATIVE_TO_MX: Map[Class[_ >: Float with Int with Double], Int] = Map(
    classOf[Float] -> 0, 
    classOf[Double] -> 1, 
    classOf[Int] -> 4 
) 

Что это значит для «класса [_>: Float with Int с Double], Int] "? Я понимаю, что ключевое слово Скала «с» может быть использовано при объявлении класса, например

Class person with glass { 

означает, что класс «человек» имеет черту objdect «стекла».

Как интерпретировать использование «с» в приведенном выше коде?

Answer 1

Ключевое слово with используется для выражения intersection types.

Тип Float with Int with Double в основном подтипом Float и Int и Double. Конечно, вы не можете иметь фактическое значение этого типа, потому что Float, Int и Double - все выпускные классы. Здесь, в типе Map[Class[_ >: Float with Int with Double], Int], он используется для выражения того, что каждый ключ Map должен быть Class[T], где T должен быть супертипом Float with Int with Double. И эти супертипы - Float, Int и Double (и AnyVal и Any, если мы идем вверх по цепочке наследования).