Funktion, um irgendeinen Typ außer `AnyVal` zu akzeptieren?

Question

am Akka Suche docs für einen Schauspieler zu schaffen:

The recommended approach to create the actor Props is not supported for cases when the actor constructor takes value classes as arguments.

Ist es möglich, eine Funktion zu definieren:

def anyTypeButValueClass[A : ...](x: A) = ???

wo A ist jede Art mit Ausnahme einer Wertklasse bei compile- Zeit?

Mein Verständnis ist, dass Wertklassen erweitern AnyVal (pro docs), aber es gibt auch:

The standard implementation includes nine AnyVal subtypes:

Double, Float, Long, Int, Char, Short, and Byte are the numeric value types.

Unit and Boolean are the non-numeric value types.

pro AnyVal.

Wie kann diese Funktion geschrieben werden?

Answer 1

Die Scala type hierarchy zeigt, dass Any zwei direkte Subtypen hat, AnyRef und AnyVal für Referenz- bzw. Werttypen. Diese

bedeutet, dass Sie nur eine AnyRef Einschränkung hinzufügen:

def anyTypeButValueClass[A <: AnyRef](x: A) = ??? 

Answer 2

„jede Art akzeptieren, aber AnyVal“ an Enforce type difference beantwortet, aber es ist sehr verschieden von „jede Art übernehmen, die nicht AnyVal erstreckt“, Das unterscheidet sich wiederum von "Akzeptiere jeden Typ außer einer Wertklasse". Wertklassen erweitern AnyVal, aber auch die primitiven Typen.

Sie können es auf diese Weise tun:

// just a marker trait 
sealed trait NotAValueClass[A] 

object NotAValueClass { 
    implicit def AnyRefIsNotAValueClass[A <: AnyRef]: NotAValueClass[A] = new NotAValueClass[A] {} 
    implicit val IntIsNotAValueClass: NotAValueClass[Int] = new NotAValueClass[Int] {} 
    ... // same for other primitive types 
} 

def anyTypeButValueClass[A : NotAValueClass](x: A) = ... 

Answer 3

Wenn Sie bereit sind, eine Bibliothek wie shapeless zu verwenden, können Sie es auch kodieren wie

import shapeless._ 

def anyTypeButValueClass[A: |¬|[AnyVal]#λ](x: A) = x 

ref: https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/package.scala#L54

Beispiel:

@ def anyTypeButValueClass[A: |¬|[AnyVal]#λ](x: A) = x 
defined function anyTypeButValueClass 

@ anyTypeButValueClass(42) 
Compilation Failed 
Main.scala:296: ambiguous implicit values: 
both method nsubAmbig1 in package shapeless of type [A, B >: A]=> shapeless.<:!<[A,B] 
and method nsubAmbig2 in package shapeless of type [A, B >: A]=> shapeless.<:!<[A,B] 
match expected type shapeless.<:!<[Int,AnyVal] 
anyTypeButValueClass(42) 
       ^
@ anyTypeButValueClass("foo") 
res0: String = "foo"