[Scala]派生クラスでtype aliasの指定を強制

2011年12月22日2015年2月6日

abstractなclass とか trait に、型指定のないtype aliasを書くと、派生クラスでこのtype aliasの定義を強制します。
[scala]abstract class Oya {
// このクラスを継承した派生クラスでは、Xのtype aliasを明示しなければならない。
type AT

// X型はこのクラス内で使用可能。
var x:AT
def getAt:AT = x
}

class Ko extends Oya {
KoType =>
type AT = KoType
}[/scala]