Typ Parameter, der Typ-Parameter selbst

Question

Für die Wieder Status und Schlüssel einer Datenbank Insert enthält, habe ich die folgende Struktur:

sealed trait InsertResult[+I] extends Product with Serializable 

object InsertResult { 
    case class Created[+I](insertedId: I) extends InsertResult[I] 
    case object DuplicateKey extends InsertResult[Nothing] 
} 

Der Typ-Parameter I ist die Art des Schlüssels, der erstellt wurde (zB UUID). Wenn die Einfügung erfolgreich ist, wird Created[I] zurückgegeben; Im Falle eines doppelten Schlüsselfehlers wird das Objekt DuplicateKey zurückgegeben.

Dies funktioniert, aber da die Datenbank nur den Schlüssel mehr Metadaten als fügt hinzu, möchte ich I von Entity[I, T] ersetzen, wo I noch der Schlüsseltyp während T ist die Art des eingesetzten Objekts darstellt (also im Grunde ein InsertResult[Entity[I, T]]). Allerdings habe ich Probleme damit, nur den Typparameter zu ersetzen gibt mir einen Fehler für den Parameter insertedId (I und T kann nicht aufgelöst werden). Wie müssen die Typ- und Methodensignaturen aussehen, wenn I durch Entity[I, T] ersetzt wird?

Answer 1

Wäre das nicht genug für Ihren Anwendungsfall?

case class Entity[I, T](id: I, obj: T) 

sealed trait InsertResult[I, T] extends Product with Serializable 

object InsertResult { 
    case class Created[I, T](entity: Entity[I, T]) extends InsertResult[I, T] 
    case object DuplicateKey extends InsertResult[Nothing, Nothing] 
} 

Answer 2

package com.example 

object Answer extends App { 
    case class Entity[I, T](id:I, obj:T) 

    sealed trait InsertResult extends Product with Serializable {} 

    object InsertResult { 
    case class Created[I, T](entity:Entity[I, T]) extends InsertResult 
    case object DuplicateKey extends InsertResult 
    } 

    object Storage { 
    var data = Map.empty[Any, Any] 

    def insert[I, T](entity:Entity[I, T]):InsertResult = 
     data.get(entity.id) match { 
     case Some(_) => InsertResult.DuplicateKey 
     case None => 
      data += entity.id -> entity.obj 
      InsertResult.Created(entity) 
     } 
    } 

    val entities = Seq(Entity(1, "foo"), Entity(2, "bar"), Entity(1, "foobar")) 
    entities map Storage.insert foreach println 
}