「4.10.3. 配列型間の型のサブタイプ化」の編集履歴（バックアップ）一覧はこちら

「4.10.3. 配列型間の型のサブタイプ化」(2012/09/10 (月) 17:28:49) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

*[[4. 型と値と変数]]
**[[4.1. 型と変数の種類]]
**[[4.2. プリミティブ型と値]]
**[[4.3. 参照型と値]]
**[[4.4. 型変数]]
**[[4.5. 引数付き型]]
**[[4.6. 型の抹消]]
**[[4.7. 具象可能型]]
**[[4.8. 未加工型]]
**[[4.9. 交差型]]
**[[4.10. 型サブタイプ化]]
***[[4.10.1. プリミティブ型間の型のサブタイプ化]]
***[[4.10.2. クラスやインタフェース型間の型のサブタイプ化]]
***4.10.3. 配列型間の型のサブタイプ化
配列型間の直接スーパータイプ関係を以下の規則で定義します。:
-SとTが共に参照型なら、S >&sub(){1} Tの時のみS[] >&sub(){1} T[]。
-&tt(){Object} >&sub(){1} &tt(){Object}[]
-&tt(){Cloneable} >&sub(){1} &tt(){Object}[]
-&tt(){Java.io.Serializable} >&sub(){1} &tt(){Object}[]
-Pがプリミティブ型ならば、:
--&tt(){Object} >&sub(){1} &tt(){P}[]
--&tt(){Cloneable} >&sub(){1} &tt(){P}[]
--&tt(){Java.io.Serializable} >&sub(){1} &tt(){P}[]

**[[4.11. 型の使用箇所]]
**[[4.12. 変数]]

*[[4. 型と値と変数]]
**[[4.1. 型と変数の種類]]
**[[4.2. プリミティブ型と値]]
**[[4.3. 参照型と値]]
**[[4.4. 型変数]]
**[[4.5. 引数付き型]]
**[[4.6. 型の抹消]]
**[[4.7. 具象可能型]]
**[[4.8. 未加工型]]
**[[4.9. 交差型]]
**[[4.10. サブタイプ化]]
***[[4.10.1. プリミティブ型間の型のサブタイプ化]]
***[[4.10.2. クラスやインタフェース型間の型のサブタイプ化]]
***4.10.3. 配列型間の型のサブタイプ化
配列型間の直接スーパータイプ関係を以下の規則で定義します。:
-SとTが共に参照型なら、S >&sub(){1} Tの時のみS[] >&sub(){1} T[]。
-&tt(){Object} >&sub(){1} &tt(){Object}[]
-&tt(){Cloneable} >&sub(){1} &tt(){Object}[]
-&tt(){Java.io.Serializable} >&sub(){1} &tt(){Object}[]
-Pがプリミティブ型ならば、:
--&tt(){Object} >&sub(){1} &tt(){P}[]
--&tt(){Cloneable} >&sub(){1} &tt(){P}[]
--&tt(){Java.io.Serializable} >&sub(){1} &tt(){P}[]

**[[4.11. 型の使用箇所]]
**[[4.12. 変数]]