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

Question

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

知りたいこと

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

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

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

該当のソースコード

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が終了する確認はしています。

Answer 1

このようなコードを書けば、型安全性が破綻します。

Map<String, Child> map1 = child.hoge();
// 仮にできたとして
Map<String, Parent> map3 = map1;

map3.put("foo", new Parent());
// map1の型から言えばChildになるが、
// 上の行で、実際にはParentのインスタンスを入れてしまっている
Child invalid = map1.get("foo");

同様のことをMap<String, ? extends Parent>でやろうとしても、putの引数型に?が入るので、そちらで失敗するようになります。

Comments

[yamagish]

なるほど…
更新について考慮が抜け落ちていました。
ワイルドカード指定した場合、型指定できなくなることで、追加の更新ができなくなるのですね…
ありがとうございます。