読者です 読者をやめる 読者になる 読者になる

型パラメータとミックスイン

Program Haxe
  • Mix.hx
interface A {}
interface B {}
class C implements A, implements B {
	public function new() {}
}
class Mix {
	public static function hoge(x: A) {}
	public static function piyo(x: B) {}
}
  • Hoge.hx
using Mix;
class Hoge {
	public static function main() {
		var c = new C();
		c.hoge();
		c.piyo();
	}
}

こんな感じで、2つ以上のインタフェースに対してミックスインをつけることもできる。

インターフェースが型引数を持っていても、一つなら大丈夫そう。

  • Mix.hx
interface A {}
interface X<T> {}
class C implements X<A> {
	public function new() {}
}
class Mix {
	public static function hoge(x: X<A>) {}
}
  • Hoge.hx
using Mix;
class Hoge {
	public static function main() {
		var c = new C();
		c.hoge();
	}
}


が、下は通らない。

  • Mix.hx
interface A {}
interface B {}
interface X<T> {}
class C implements X<A>, implements X<B> {
	public static function new() {}
}
class Mix {
	public static function hoge(x: X<A>) {}
	public static function piyo(x: X<B>) {}
}
  • Hoge.hx
using Mix;
class Hoge {
	public static function main() {
		var c = new C();
		c.hoge();
		c.piyo();
	}
}
  • 実行
$ haxe hoge.hxml
Hoge.hx:5: characters 2-8 : C has no field hoge

piyo はあるらしい。
どうも、最後の implememt だけ有効みたいだが・・・

えー。