30分で分かる！初心者からはじめる共変・反変講座

安心沢ガブ美 @gab_km

@cocoatomo ふむー、この場合は継承構造の中で迷子になってしまうんでしょうか。確かに、引数の型がサブクラスに制限されるとオーバーライド元の関数が意味を成さなくなりますね。

tomo🐧@learning @cocoatomo

@gab_km 「迷子」と言いますと, どういったことでしょうか?

安心沢ガブ美 @gab_km

@cocoatomo あー、すいません。実装クラスを探すときに、メソッドの引数や戻り値の型から「これだ！」という実装クラスを見つけられなくなる様を想像しました。

tomo🐧@learning @cocoatomo

@gab_km なるほど, 確かにそうですね. なので, Override アノテーションを付けておくと javac が勝手に判定してくれます.

安心沢ガブ美 @gab_km

@cocoatomo そのようですね。一方、C# はoverrideキーワードを付けても共変戻り値のメソッドが書けないらしくて、そういうやり取りを見てさっきのツイートだったのです。

tomo🐧@learning @cocoatomo

@gab_km C# 4.0 で入った in, out で反変, 共変が表現できるようですね. これは interface に対してだけかもしれませんが, よく分かりません…… (C# を知らない.)

安心沢ガブ美 @gab_km

@cocoatomo あー、そのようですね。と曖昧な言い方になってしまうんですが、私自身これを使わなくてはいけない場面に遭遇してこなかったので…^^;

tomo🐧@learning @cocoatomo

@gab_km in, out にしてくれた方がどっちが共変でどっちが反変がすぐに分かるので有難いです. Java だと extends と super なんで一瞬では判別付きません…… in, out を直接書く人はそこそこのサイズの継承ツリーを作る人でしょうね.

安心沢ガブ美 @gab_km

@cocoatomo あー、確かに。さらにインターフェイスやデリゲートでないと使えないそうなので、大き目のクラス階層を見通す必要がある人が書いてそうですね。

安心沢ガブ美 @gab_km

TL上の各方面から、共変・反変について個人授業を受けている #五年前の自分に教えても嘘乙wwwwwwって言われそうなこと

安心沢ガブ美 @gab_km

だいぶ分かってきた気がする。サブクラスがオーバーライドしたメソッドについて、引数の型が強くなる、戻り値の型が弱くなる、それはオーバーライド元のメソッドからみてどうなのか。

安心沢ガブ美 @gab_km

（「反変」………きょーへん………覚えましたし)

ぐるぐる系SQL @bleis

(「共変」……はんぺん……覚えましたし)