[jfriends-ml 12051] Re: パラメータ化 とジェネリック化

["TAKAHASHI,Toru" <torutk@xxxxxxxxxxxx>]

高橋(徹）です。

   "Yasuhiro Endoh <quiver2k@xxxxxxxxx>"さんは書きました：
> 今日、話題になったパラメータ化とジェネリック化ですが
> なんとなくな眺めていて思ったのですが
> たぶん使い分けがあるのではないでしょうか。

"Java Generics FAQs"
http://www.langer.camelot.de/GenericsFAQ/JavaGenericsFAQ.html
というFAQを集めたサイトがあります。
この中に、"What is a generic or parameterized type?" があり、
"A generic type is a type with formal type parameters.
 A parameterized type is an instantiation of a generic type
 with actual type arguments."
と回答しています。


> ・ジェネリック化された型
> public interface Iterator <E> {
> ...
> }
> 型変数を持つ型
> 
> ・パラメータ化
> Iterator<Integer>
> 型変数に値(ここではInteger)が指定されいるとパラメータ化された型？
> 
> こう解釈するとp35の1.5.5は「パラメータ化」のままで
> 修正が入らない理由も分かります。
この解釈とほぼ同じ見解をFAQで提示していますね。

--
TAKAHASHI,Toru
torutk@xxxxxxxxxxxx