スカラクラスのコンストラクタと抽象型

Question

型パラメータではなく抽象型を使用します。私の一般的なクラスのコンストラクタで

、私はジェネリック型のパラメータを持つようにしたいが、コードはコンパイルされません：

class SomeOtherClass(val s: S){ 
    type S 
} 

をScalaのコンパイラエラーがさ「が見つかりません：タイプS」

私は抽象型ではなく型パラメータを使用する場合

、それは動作します：私が持っているしたい場合は

class SomeClass[T](val t: T){ 
    //... 
} 

いScalaの力は、私は、抽象型ではなく、型パラメータを使用しますコンストラクタの汎用パラメータ？

これを行う別の方法はありますか？

Answer 1

この場合、ジェネリック型パラメータを使用する必要があります。クラスの外側で型を宣言することで回避することができますが、ラッパーをインスタンス化してからオブジェクトを生成する必要があり、かなり醜い状態になります。

trait FooDef { 
    type T 
    class Foo(val x: T) 
} 
val ifd = new FooDef { type T = Int } 
val ifoo = new ifd.Foo(5) 
val sfd = new FooDef { type T = String } 
val sfoo = new sfd.Foo("hi") 
def intFoos(f: fd.Foo forSome { val fd: FooDef {type T = Int} }) = f.x + 1 

Answer 2

コンパイラはどのタイプを使用するべきですか？いずれかの型を直接指定する必要がありますが、それは意味をなさないでしょう。それを機能させる一つの方法がありますが、それがあなたを助けるとは思いません。

class SomeClass(s: SomeClass#S) { 
    type S 
} 

しかし、SomeClass＃Sは定義されていないため、インスタンスはありません。

Answer 3

多分このようなものが欲しいですか？このようにして、AbstractFooFactoryの複数のインスタンスをそれぞれ異なる値のFooを生成することができます。

trait AbstractFooFactory { 
    type S 
    def makeFoo(s:S):Foo 
    class Foo(val s:S) {} 
} 

object StringFooFactory extends AbstractFooFactory { 
    override type S = String 
    override def makeFoo(s:String) = new Foo(s) 
} 

val b = StringFooFactory.makeFoo("bar") 
val s:String = b.s 

Answer 4

抽象タイプを指定しない場合、クラスは抽象クラスである必要があります。したがって、パラメータはまったく必要ありません。抽象型と同等では次のようになります。

使用-サイトで次に

abstract class SomeOtherClass { 
    type S 
    val s: S 
} 

：パラメータなし

val x = new SomeOtherClass { 
    type S = String 
    val s = "abc" 
} 

、ここで抽象クラスは、特色に相当します。制限の少ない（1つの基本クラスのみを拡張することができる）ため、形質を使うほうがよいです。