[mustang/Java SE 6] ..
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
67:デフォルトの名無しさん 06/11/25 23:13:54 ベクトル解析は三次元までしかしらないので covariantとかtensor(テンソル)とかいわれても わからん。 n次元空間とかn次元超平面とかクォータニンとか全然ピンと来ない 68:デフォルトの名無しさん 06/11/26 00:58:36 >>64 プログラミング言語関係の用語のcovariance・contravariance は、共変・反変と訳することが多い。varianceの訳語は 聞いたことが無いので、よくわからない で、covarianceの意味だがここで言われてる文脈では ある型AとBとパラメータ型Tについて、 A <: B => T<A> <: T<B> ( A <: B は AがBのサブタイプであるという意味) が成立するとき、Tはcovariantであると言う。 で、Javaの配列に関して考えてみると A <: B => A[] <: B[] がJava言語仕様で決まっているからJavaの配列はcovariantなわけだ 一方、Java Genericsでは上記の命題が成立しないのでJava Genericsの Generic型はcovriantでは無いというわけ
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5392日前に更新/271 KB
担当:undef