回答編集履歴

2

refine

2016/08/08 02:42

投稿

yohhoy
yohhoy

スコア6189

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

2016/08/08 02:42

投稿

yohhoy
yohhoy

スコア6189

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