依存型はコンストラクタでは機能しませんか？

Question

パス依存のタイプが便利です：

trait Sys { 
    type Global 
} 
def foo[S <: Sys](system: S)(global: system.Global) =() 

しないのはなぜコンストラクタのために、この作品？

class Foo[S <: Sys](val system: S)(val global: system.Global) 

これは間違っているのですか？

Answer 1

これは私のバグのようです。 を編集：見つかりました。これはSI-5712です。 2.9 SLSの

節§5.3は言う：

（PS1）。 。 。 （psn）はクラスのプライマリコンストラクタ の正式な値パラメータ句です。正式な値パラメータの範囲には、後続のすべてのパラメータセクションとテンプレートtが含まれます。

は例外があります：

しかし、正式な値パラメータ は、親クラスまたは クラステンプレートTのメンバーのいずれかの種類の一部を形成しない場合があります。

しかし、それはない、次のパラメータセクションのいずれかの、親クラスやメンバーのいずれかの種類の一部にすることはできませんと言うので、それは間のパス依存型を禁じるように思われません引数グループ。あなたが二コンストラクタでこれを一周することができます

：

class Foo[S <: Sys] private[this]() { 
    def this(system: S)(global: system.Global) = this 
} 

編集：この二コンストラクタ回避策は非常に良いではありません。systemまたは非常に困難になるglobalを露出させ、プライマリコンストラクタはval Sを宣言することができますので、 。

キャストで例：

class Foo[S <: Sys] private[this]() { 
    private[this] var _system: S = _ 
    private[this] var _global: system.Global = _ 

    def this(system0: S)(global0: system0.Global) = { 
    this 
    _system = system0 
    _global = global0.asInstanceOf[system.Global] 
    } 

    lazy val global: system.Global = _global 
    lazy val system: S = _system 
} 

しかし、これはひどいなっています。 @セニアの提案ははるかに良いです。