質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
87.20%
Generics

Genericsはパラメトリックなポリモーフィズムの形態であり、.NET やJavaなど、様々な言語に実装されています。C++のテンプレートと同等の機能を持ち合わせています。

Java

Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

継承

継承(インヘリタンス)はオブジェクト指向プログラミングに存在するシステムです。継承はオブジェクトが各自定義する必要をなくし、継承元のオブジェクトで定義されている内容を引き継ぎます。

解決済

javaの型パラメータで継承元指定の変数に代入できない言語仕様?の理由がわからない

yamagish
yamagish

総合スコア2

Generics

Genericsはパラメトリックなポリモーフィズムの形態であり、.NET やJavaなど、様々な言語に実装されています。C++のテンプレートと同等の機能を持ち合わせています。

Java

Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

継承

継承(インヘリタンス)はオブジェクト指向プログラミングに存在するシステムです。継承はオブジェクトが各自定義する必要をなくし、継承元のオブジェクトで定義されている内容を引き継ぎます。

1回答

0評価

1クリップ

301閲覧

投稿2021/08/31 11:56

初めての質問です。よろしくおねがいします。

知りたいこと

添付のソースコードで、「map3 = map1」がコンパイルエラーになります。
やりたいことを実現する解決策はあるのですが、
そもそも、これをコンパイルエラーで弾く理由がわからなくて困っています。

特化型のオブジェクトは、
インタフェースや継承元クラスのインタフェースでアクセスする場合、
インタフェースや継承元クラスの型の変数に保持できます。
(「これは出来る」の部分が該当)

この考えで、「map3 = map1」を弾く理由が理解できません。
何か、腑に落ちる理由があると思っています。

該当のソースコード

java

import java.util.HashMap; import java.util.Map; public class TestTypeParameter { public static void main(String[] args) { Child child = new Child(); Parent parent = child; // これは出来る。 Map<String, Child> map1 = child.hoge(); print(map1); Map<String, Parent> map2 = new HashMap<String, Parent>(); map2.putAll(map1); print(map2); // Map<String, Parent> map3 = map1; // コンパイルエラー★ Map<String, ? extends Parent> map4 = map1; // これなら出来る。 print(map4); Map map5 = map1; Map<String, Parent> map6 = map5; print(map5); print(map6); } static void print(Map<String, ? extends Parent> map) { for (Map.Entry<String, ? extends Parent> entry : map.entrySet()) { String key = entry.getKey(); Parent val = entry.getValue(); System.out.println(key + " : " + val); } System.out.println(); } static class Parent { public Map<String, ? extends Parent> hoge() { Map<String, Parent> map = new HashMap<String, Parent>(); map.put("1", new Parent()); map.put("2", new Parent()); map.put("3", new Parent()); return map; } } static class Child extends Parent { @Override public Map<String, Child> hoge() { Map<String, Child> map = new HashMap<String, Child>(); map.put("1", new Child()); map.put("2", new Child()); map.put("3", new Child()); return map; } } }

試したこと

コンパイルエラー部分以外は、異常発生なくmainが終了する確認はしています。

良い質問の評価を上げる

以下のような質問は評価を上げましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

  • プログラミングに関係のない質問
  • やってほしいことだけを記載した丸投げの質問
  • 問題・課題が含まれていない質問
  • 意図的に内容が抹消された質問
  • 過去に投稿した質問と同じ内容の質問
  • 広告と受け取られるような投稿

評価を下げると、トップページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

まだ回答がついていません

会員登録して回答してみよう

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
87.20%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

同じタグがついた質問を見る

Generics

Genericsはパラメトリックなポリモーフィズムの形態であり、.NET やJavaなど、様々な言語に実装されています。C++のテンプレートと同等の機能を持ち合わせています。

Java

Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

継承

継承(インヘリタンス)はオブジェクト指向プログラミングに存在するシステムです。継承はオブジェクトが各自定義する必要をなくし、継承元のオブジェクトで定義されている内容を引き継ぎます。