https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @kmizu 遅レスでスミマセン。なるほどなるほど。自分でも考えてみたのですけど、たしかにあまり有効な例は思い浮かびませんねえ。 | |
| いや思い浮かばないということもなくて、class A { void callback( void delegate(A) dg ); } class B : A { override void callback( void delegate(B) dg ); } このパターンは | |
| すごくありそうな気がするんだけど、ないと死にたくなるような完璧な具体例が思い浮かばないのと、そもそもDのdelegate型にはco/contra-varianceを使ったサブタイプ関係がないので、そっちも同時にいれないと意味がない |