回答編集履歴
9
意図を外していたものをコードブロックでたたむ
test
CHANGED
@@ -7,6 +7,12 @@
|
|
7
7
|
---
|
8
8
|
|
9
9
|
|
10
|
+
|
11
|
+
意図を外した回答
|
12
|
+
|
13
|
+
|
14
|
+
|
15
|
+
```
|
10
16
|
|
11
17
|
> 多態性は曖昧に捉えることでメリットを得ている
|
12
18
|
|
@@ -52,7 +58,7 @@
|
|
52
58
|
|
53
59
|
ObjectをStringとして扱えるのは多態の例ではないです。
|
54
60
|
|
55
|
-
|
61
|
+
```
|
56
62
|
|
57
63
|
|
58
64
|
|
8
要約
test
CHANGED
@@ -1,3 +1,13 @@
|
|
1
|
+
CS学んだわけではないので、
|
2
|
+
|
3
|
+
もっと詳しい方マサカリ投げてください。
|
4
|
+
|
5
|
+
|
6
|
+
|
7
|
+
---
|
8
|
+
|
9
|
+
|
10
|
+
|
1
11
|
> 多態性は曖昧に捉えることでメリットを得ている
|
2
12
|
|
3
13
|
|
@@ -73,3 +83,15 @@
|
|
73
83
|
|
74
84
|
|
75
85
|
静的型付けか動的型付けかは型安全性と関係ないです。
|
86
|
+
|
87
|
+
|
88
|
+
|
89
|
+
---
|
90
|
+
|
91
|
+
|
92
|
+
|
93
|
+
長ったらしいので簡潔に纏めると
|
94
|
+
|
95
|
+
あなたの型安全(と多態)の認識がズレてませんか?
|
96
|
+
|
97
|
+
|
7
修正
test
CHANGED
@@ -50,20 +50,6 @@
|
|
50
50
|
|
51
51
|
|
52
52
|
|
53
|
-
> 多態性と型安全の両方のコンセプトを一つ部分に取り込むことはできないと思うのですが、その使い分けについて、教えてくださいというのが私の質問だったのです。
|
54
|
-
|
55
|
-
|
56
|
-
|
57
|
-
型安全の意味を「型によるエラーを防ぐ」とすると、
|
58
|
-
|
59
|
-
型安全を壊しているのはダウンキャストであって多態性ではないと思います。
|
60
|
-
|
61
|
-
|
62
|
-
|
63
|
-
---
|
64
|
-
|
65
|
-
|
66
|
-
|
67
53
|
型安全について不安になったのでちょっと調べました。
|
68
54
|
|
69
55
|
|
6
修正
test
CHANGED
@@ -64,6 +64,10 @@
|
|
64
64
|
|
65
65
|
|
66
66
|
|
67
|
+
型安全について不安になったのでちょっと調べました。
|
68
|
+
|
69
|
+
|
70
|
+
|
67
71
|
言葉の定義の問題なので、質問の意図とは外れますが、
|
68
72
|
|
69
73
|
|
@@ -74,12 +78,12 @@
|
|
74
78
|
|
75
79
|
型安全をこう捉えるなら、多態性とは確かに相反しますが、
|
76
80
|
|
77
|
-
|
78
|
-
|
79
81
|
そもそも「型安全」は
|
80
82
|
|
81
83
|
「型に対する不正な操作を実行時に検出して異常終了させる」も安全側に含みます。
|
82
84
|
|
85
|
+
つまり、実行時にすらエラーを吐かないものを「型が安全でない」というらしいです。
|
83
86
|
|
84
87
|
|
88
|
+
|
85
|
-
|
89
|
+
静的型付けか動的型付けかは型安全性と関係ないです。
|
5
型安全の意味について
test
CHANGED
@@ -57,3 +57,29 @@
|
|
57
57
|
型安全の意味を「型によるエラーを防ぐ」とすると、
|
58
58
|
|
59
59
|
型安全を壊しているのはダウンキャストであって多態性ではないと思います。
|
60
|
+
|
61
|
+
|
62
|
+
|
63
|
+
---
|
64
|
+
|
65
|
+
|
66
|
+
|
67
|
+
言葉の定義の問題なので、質問の意図とは外れますが、
|
68
|
+
|
69
|
+
|
70
|
+
|
71
|
+
> 型安全はこれとは逆に変数には可能な限り厳密な型を指定しようという考え方です。
|
72
|
+
|
73
|
+
|
74
|
+
|
75
|
+
型安全をこう捉えるなら、多態性とは確かに相反しますが、
|
76
|
+
|
77
|
+
|
78
|
+
|
79
|
+
そもそも「型安全」は
|
80
|
+
|
81
|
+
「型に対する不正な操作を実行時に検出して異常終了させる」も安全側に含みます。
|
82
|
+
|
83
|
+
|
84
|
+
|
85
|
+
つまり、実行時にすらエラーを吐かないものを「型が安全でない」というらしいです。
|
4
追記に対して
test
CHANGED
@@ -41,3 +41,19 @@
|
|
41
41
|
ObjectはStringとしての振る舞いを持ちませんね、
|
42
42
|
|
43
43
|
ObjectをStringとして扱えるのは多態の例ではないです。
|
44
|
+
|
45
|
+
|
46
|
+
|
47
|
+
|
48
|
+
|
49
|
+
---
|
50
|
+
|
51
|
+
|
52
|
+
|
53
|
+
> 多態性と型安全の両方のコンセプトを一つ部分に取り込むことはできないと思うのですが、その使い分けについて、教えてくださいというのが私の質問だったのです。
|
54
|
+
|
55
|
+
|
56
|
+
|
57
|
+
型安全の意味を「型によるエラーを防ぐ」とすると、
|
58
|
+
|
59
|
+
型安全を壊しているのはダウンキャストであって多態性ではないと思います。
|
3
修正
test
CHANGED
@@ -32,6 +32,12 @@
|
|
32
32
|
|
33
33
|
|
34
34
|
|
35
|
-
ArrayListはListとしての振る舞いを持ちますね、
|
35
|
+
ArrayListはListとしての振る舞いを持ちますね、
|
36
36
|
|
37
|
+
ArrayListをListとして扱えるのは多態の例です。
|
38
|
+
|
39
|
+
|
40
|
+
|
37
|
-
ObjectはStringとしての振る舞いを持ちませんね、
|
41
|
+
ObjectはStringとしての振る舞いを持ちませんね、
|
42
|
+
|
43
|
+
ObjectをStringとして扱えるのは多態の例ではないです。
|
2
例に対称性をもたせた
test
CHANGED
@@ -20,6 +20,12 @@
|
|
20
20
|
|
21
21
|
|
22
22
|
|
23
|
+
Listを要求していて、内部でArrayListとして扱うなら
|
24
|
+
|
25
|
+
ArrayList以外のListを渡すとエラーなのにArrayList以外のListを渡せるので問題ですね。
|
26
|
+
|
27
|
+
|
28
|
+
|
23
29
|
Objectを要求していて、内部でObjectとして扱うなら
|
24
30
|
|
25
31
|
Stringを渡しても問題無いですね。
|
1
言葉の増量
test
CHANGED
@@ -5,3 +5,27 @@
|
|
5
5
|
ArrayListはListですが、
|
6
6
|
|
7
7
|
ObjectはStringではありません。
|
8
|
+
|
9
|
+
|
10
|
+
|
11
|
+
Listを要求していて、内部でListとして扱うなら
|
12
|
+
|
13
|
+
ArrayListを渡しても問題無いですね。
|
14
|
+
|
15
|
+
|
16
|
+
|
17
|
+
Objectを要求していて、内部でStringとして扱うなら
|
18
|
+
|
19
|
+
String以外渡すとエラーなのにString以外を渡せるので問題ですね。
|
20
|
+
|
21
|
+
|
22
|
+
|
23
|
+
Objectを要求していて、内部でObjectとして扱うなら
|
24
|
+
|
25
|
+
Stringを渡しても問題無いですね。
|
26
|
+
|
27
|
+
|
28
|
+
|
29
|
+
ArrayListはListとしての振る舞いを持ちますね、多態の例です。
|
30
|
+
|
31
|
+
ObjectはStringとしての振る舞いを持ちませんね、多態の例ではないです。
|