Параметры функции предельных значений Scala Возможные типы

Question

У меня есть функция с параметром, который может иметь тип Int, Long или любые дети AnyVal, кроме Unit, также может быть строкой. Я хотел бы явно указать, что вы можете только поместить значение одного из этих типов в качестве параметра. Я мог бы просто положить Any, но это ничего не ограничило бы. Есть ли в Scala концепция или функция, предлагающая эту возможность? Если не так, как бы вам это удалось? На данный момент я просто управляю любым исключением в функции, если тип несовместим.

Нет коды, чтобы показать действительно:

def myFunction(param: Any) = {...} 

Answer 1

Если вы хотите сложное ограничение типа, обычный способ выразить это, требуя неявный помощник закрытого типа:

sealed trait Helper[T] 
object Helper { 
    implicit object IntHelper extends Helper[Int] {...} 
    implicit object StringHelper extends Helper[String] {...} 
    ... 
} 

def myFunction[T: Helper](t: T) = ... 

Это путь myFunction может быть вызван только для T, для которого вы определили Helper, и вы можете выразить более сложные ограничения, используя «рекурсивные импликации» (неявные функции с неявными параметрами).

Вы также можете поместить конкретные случаи реализации вашей функции в объекты Helper, а не сопоставлять случаи в функции, делая все более типичным.

Answer 2

Вы можете использовать типовые классы, чтобы сделать это:

trait CanUse[T] 

object CanUse[T] { 
    implicit object canUseInt extends CanUse[Int] 
    implicit object canUseString extends CanUse[String] 
    // etc. 
} 

def myFunction[T : CanUse](x: T) = { ... } 

Запись на myFunction является синтаксически:

def myFunction[T](x: T)(implicit ev: CanUse[T]) = { ... } 

Таким образом, вы можете увидеть, что ваши неявные canUse объекты на самом деле прошли к вашей функции. Поэтому вы можете добавлять к ним методы и реализовывать поведение типа.