Javaのジェネリクスは「まがい物」ではない - kmizuの日記

先日、自分が書いた kmizu.hatenablog.com に対する反応として、「Javaのようなまがい物のジェネリクスと比較するのは適切でない」「Javaのジェネリクスと比較するのは適切でない」（おそらくC#や(C++等（2017/09/24追記）)の言語と比較して）といった コメントをいくつか見かけました（はてなブックマークコメントやツイッターなどで）。しかし、ここでは、そのような言説こそが適切でない、ということを言いたいです。なお、methane氏との 対話については既に終わったものなので、それとは関係ありません。 そもそも、Javaジェネリクスは、静的型付き関数型言語で既に一般的であったパラメータ多相をJavaに追加する目的で導入されました（C++テンプレートのようなものをJavaに追加するためだと思っている人がいるかもしれませんが、それは実態にあっていません）。実際、Java

[kmizushima]

id:matarillo 本文中で言及したのですが、特殊化のような話（C++とか）と比較している人も想定しています。 id:megumin1 おっしゃるデメリットはありますが、だからCastのSugarだというのは、本文ちゃんと読んでくださいとしか。

[theatrical]

わざわざわこんな記事書くなんて真面目だなぁと感心する。スルーしても良さそうなものなのに

[vanbraam]

全く文脈の異なる記事だが,b:id:entry:286074513の時も思ったのは,何かを"まがい物"という人物は"本物"の定義を明示すべき,という事.定義が違ってたら議論以前の問題だし,オレオレ定義に基づく言葉は感想でしかない

[keijak]

type erasure によるジェネリクスとインライン化できるか否かは直接の関係は無い。Kotlin は filter/map/reduce の類はインライン化する。特殊化については Project Valhalla 待ち。

[coppieee]

思った。何を持ってJavaのジェネリックスがまがい物って言ってるのかわからなかったわ

[kazatsuyu]

Javaが一般的にジェネリクスの範疇で扱われる機能のうち一部しか提供していないのは確かなので、Javaが今のままの機能しか提供しないなら、Goと同じ批判をJavaに当てはめることができてしまうのでは？

[Nagise]

キャストのシンタックスシュガーって言っちゃう人は静的に型を保証することがキャストでできるとでも思ってるんだろうか。どこが本質だと思っているかが問われる

[onefootinthegrave]

ジェネリクスとは

[versatile]

勉強になるのでもっとやってほしい

[daruyanagi]

ちゃんとお勉強したいもんだ

[matarillo]

megumin1はインライン化の話を何度かしているのでそこでC# と比べているのではないことがわかるはず（とはいえmonomorphizationだってメリットデメリット両方あると思うが。）

[megumin1]

RTTI(実行時型情報)は何の関係もない。JavaのジェネリクスはただのCastのSugarにすぎないから。Monomorphismじゃないです。Castを使ったソースコードに等価に変換することができ生成されるByte Codeも両者はまったく変わらないです