-
- いいね！0
なぎせ ゆうき
@nagise
C#はワイルドカードが使えないことに息苦しさを感じるなあ…。あれはランタイムが型を持つがゆえのデメリットなのか、単にランタイムの型の扱い方がイマイチなのか。多分、イレイジャじゃないからといって無理というわけではないと思うんだが確証がない
2014-05-27 14:36:08
Atsushi Igarashi
@50storms
@nagise 特にランタイムの型引数情報の有無とワイルドカードは関係ないはずです。C# は（安全な）型引数バリアンスがあるので（「ので」ってこともないでしょうけど）ワイルドカードはないのかもしれません。
2014-05-27 14:46:46
Atsushi Igarashi
@50storms
@nagise バリアンス＋ワイルドカードは悪夢だからじゃないでしょうか :-) 不可能な組み合わせではないのですがおそらく複雑すぎます。「組み合わせるとこんな素晴しいことが！」って論文はあるのですが :-)
2014-05-27 14:56:37
B_head
@B_head00
そもそもJavaのワイルドカードは変数宣言の時に指定するものなのか。 まずそこから勘違いしてたｗ C#の共変性と反変性はクラスや関数定義の時に指定するタイプだから・・・
2014-05-27 15:08:42
なぎせ ゆうき
@nagise
型の安全性の厳密解が妙に難しくなることは分かるんだけど、実用上はそんなに厳密じゃなくてもいいんだよってのはあると思うんだよね。そんなファジーなのは逆に線引きが難しい気もするが
2014-05-27 15:11:52
B_head
@B_head00
ワイルドカードのメリットは使う側が後付で共変・反変を指定できること。 デメリットは使う側が仕様を理解して適切に共変・反変の指定をしなければいけないこと。
2014-05-27 15:23:48
Kentaro Inomata
@matarillo
@nagise ワイルドカードというか、使用側での変性定義については、C# でのジェネリクスサポートを最初に研究していたMS Researchでも検討していたようです(そういう資料が公開されてます)。
2014-05-27 15:27:25
なぎせ ゆうき
@nagise
@B_head00 一応、実行時にリフレクションとかで変な値をツッコむとか、型変数をバインドしないraw型をつかって有耶無耶にするとかしたら悪さはできるんですが。いまどきのIDEだとそういう危なげなところは警告出ますし、敢えてやってるならアノテーションで警告消しという運用ですね
2014-05-27 15:27:44
B_head
@B_head00
C#の共変性・反変性のメリットは使う側が仕様をあまり理解していなくても流れで使っていけること。（少なくともEnumrator<out T>はそう思う） デメリットはライブラリ側が設計の努力をしなければいけないことと、共変・反変を扱うインターフェイスが必要になるかもしれないこと。
2014-05-27 15:30:52
なぎせ ゆうき
@nagise
@B_head00 ざっくりJavaの話をすると、変数の型にパラメタライズドタイプ(ようは型変数をとる変数型)を使った場合の変性の指定と、APIのクラスで型変数を定義する際に境界、つまり型変数にバインドできる型がどういう継承型であるかの指定の2つがあります
2014-05-27 15:35:56