回答編集履歴
2
refine
test
CHANGED
@@ -42,8 +42,8 @@
|
|
42
42
|
|
43
43
|
|
44
44
|
|
45
|
-
- enumは相関の無い列挙値を、型として区別できるようにする仕組みです。型安全性が向上します。(多態性には寄与しません)
|
45
|
+
- enumは相関の無い列挙値を、型として区別できるようにする仕組みです。型安全性が向上します。(多態性には直接寄与しませんが、関数オーバーロードによるアドホック多相と組み合わせることはできます。)
|
46
46
|
|
47
|
-
- ジェネリクスにより、共通の振る舞いを持つが型の一部が異なるという仕様を、コンパイル時に型検査できる
|
47
|
+
- ジェネリクスにより、共通の振る舞いを持つが型の一部が異なるという仕様を、コンパイル時に型検査できるようになります。ここでも多態性(正確にはパラメトリック多相)と型安全性が両立しています。
|
48
48
|
|
49
49
|
|
1
append
test
CHANGED
@@ -39,3 +39,11 @@
|
|
39
39
|
|
40
40
|
|
41
41
|
ご指摘の通りenumやジェネリクスは、型に関する例外送出やプログラム不整合を避けるために、コンパイル時の型検査が可能な仕組みとして導入されました。
|
42
|
+
|
43
|
+
|
44
|
+
|
45
|
+
- enumは相関の無い列挙値を、型として区別できるようにする仕組みです。型安全性が向上します。(多態性には寄与しません)
|
46
|
+
|
47
|
+
- ジェネリクスにより、共通の振る舞いを持つが型の一部が異なるという仕様を、コンパイル時に型検査できる仕組みです。ここでも多態性(正確にはパラメトリック多相)と型安全性が両立しています。
|
48
|
+
|
49
|
+
|