Есть ли способ применить ИЛИ для привязки к Scala?

Question

В Java можно применить только и ограничение типа связан, как это:

public class <T extends Serializable & SomeThingDoable> MyClass{ 
    //... 
} 

Но мы не могли сказать Java провести ИЛИ ограничения.

Можно ли в Scala, чтобы обеспечить ограничения, которые можно было бы добавить элемент в коллекцию тогда и только тогда это типа SomeType1ИЛИSomeType2

Answer 1

Вы не можете сделать это с гарантией типа безопасности.

Я имею в виду, вы могли бы просто сделать instance и выбросить ошибку при создании экземпляра класса, но это довольно грязно.

Гораздо лучшим решением является использование (Типы данных Аннотация) ADT:

sealed trait NaturalNumber 
final case class Zero() extends NaturalNumber 
final case class Next(i: NaturalNumber) extends NaturalNumber 


object Main extends App { 
    val a: NaturalNumber = Next(Zero()) 
    a match { 
     case Zero() => "zero" 
    } 
} 

Что дает проверку exhaustivity:

<console>:16: warning: match may not be exhaustive. 

Answer 2

Я предложил бы использовать что-то вроде coproducts

Также обратите внимание, что Dotty будет иметь встроенные ограничения типа AND/OR.

Answer 3

не существует конструкции уровня языка, которая поддерживает это точно, но, как указывает @dveim, я считаю, что это скоро.

Если вы спрашиваете с конкретным практическим случаем использования, у вас есть несколько вариантов. вы можете использовать Either[SomeType1, SomeType2], в котором есть все конструкции, необходимые для представления этой идеи (но это не привязка к типу).

в качестве альтернативы, вы можете достичь этого эффекта, используя классы типов:

sealed trait Or[T] { 
    def someMethod(t: T): String 
} 

object Or { 
    implicit object OrInt extends Or[Int] { 
    def someMethod(t: Int): String = "int" 
    } 

    implicit object OrLong extends Or[Long] { 
    def someMethod(t: Long): String = "long" 
    } 
} 

object Test { 

    import Or._ 

    def test[T](value: T)(implicit or: Or[T]): String = 
    or.someMethod(value) 

} 

извини тривиальный пример, но то, что вы получаете здесь:

• sealed trait, который означает, что вы можете ограничить другие от добавление большего количества экземпляров в семейство Or (если они не могут редактировать фактический файл, в котором он определен)
• хорошо типизированный способ указать, какую функциональность вы хотите иметь ppen в двух разных случаях