私は他のタイプに余分なデータを添付して、に似た特性を持つようにしようとしているタイプのパラメータ

Question

のサブタイプである形質またはミックスインと汎用的なクラスを作成する方法がありますです：

trait ExtraData { 
    def getExtraData() : Array[Byte] 
} 

そして、私は現在、このようにそれを使用しています：

class ExternalType1WithExtraData(superType:ExternalType1, bytes:Array[Byte]) extends ExternalType1(superType.a,superType.b, ...) with ExtraData { 
    def getExtraData() : Array[Byte] = bytes 
} 

class ExternalType2WithExtraData(superType:ExternalType2, bytes:Array[Byte]) extends ExternalType2(superType.z,superType.w, ...) with ExtraData { 
    def getExtraData() : Array[Byte] = bytes 
} 

これらのクラスを作成するための一般的な方法が存在することになるようだが、私はまだそれを見つけることができませんでした。

は---編集を開始します -

が、私はその機能に私の強化型を渡すことができるようにしたい機能

def sendData(ex : ExternalType1) 

を考えると、目的の動作を追加します。

val data:ExternalType1 = ??? 
val moredata:ExternalType1 = { new ExternalType1 with ExtraData{...} } 
sendData(moredata) 

---エンド編集

私はこれらの線に沿って物事を行うことを試みたが、全く成功していなかった：

// Compiler wont let me extend T 
class WithExtraData[T](bytes:Array[Byte]) extends T with ExtraData{ 
    def getExtraData() : Array[Byte] = bytes 
} 

:12: error: class type required but T found class WithExtraDataT extends T with ExtraData{ ^ :12: error: illegal inheritance; supertype T is not a subclass of the superclass Object of the mixin trait ExtraData class WithExtraDataT extends T with ExtraData{

// Seems closer, but doesn't work. 
class WithExtraData[T](t:T, bytes:Array[Byte]) extends ExtraData { 
    this : T => t 
    def getExtraData() : Array[Byte] = bytes 
} 

:13: warning: a pure expression does nothing in statement position; multiline expressions may require enclosing parentheses self : T => t ^ defined class WithExtraData

scala> new WithExtraData[String]("hi", new ArrayByte) :13: error: class WithExtraData cannot be instantiated because it does not conform to its self-type WithExtraData[String] with String

がありますこれを達成する方法？

私はあなたが合理的に（少なくともマクロなし）を取得することができます最も近い ExternalType1を拡張するために、代わりに暗黙の型変換を持つことはないと思われる

Answer 1

：

class WithExtraData[T](val value: T, bytes: Array[Byte]) extends ExtraData { 
    def getExtraData(): Array[Byte] = bytes 
} 

object WithExtraData { 
    implicit def getValue[T](x: WithExtraData[T]): T = x.value 
} 

その後、あなたは、例えばすることができますExternalType1が必要な場合はいつでもWithExtraData[ExternalType1]を渡してください。

Answer 2

あなたが正しいことを理解していれば、基本的に値で表される追加の型情報を使って型を充実させようとしますか？その場合、探しているコンセプトはDependent Types

という名前で呼ばれています。スカラはこの概念をネイティブにサポートしていません（たとえばIdrisなど）。しかし、近づくにはいくつかの回避策があります。

一つの例は、型崩れ

import shapeless._ 
import SingletonTypes._ 

val test1: ^((20 + 50) > 1) = true 
test1: Boolean(true) = true 

val test2: ^((20 + 50) > 1) = false 
<console>:11: error: type mismatch; 
found : Boolean(false) 
required: Boolean(true)