質問編集履歴
3
表現の修正
test
CHANGED
File without changes
|
test
CHANGED
@@ -114,7 +114,7 @@
|
|
114
114
|
|
115
115
|
故に、連想型を介した場合は単純にSelfがプロトコル内で参照されなくなり、問題なくなるという認識です。
|
116
116
|
|
117
|
-
そして、そのような対応すること(つまり、final classとするか or 連想型とするかの対応をすること)が要求される理由としては、もしそうのような対応をしなかった場合にSelfの型が一意に確定しないためである、という認識です。(Selfをいれているにも関わらず複数の型が入ることが想定されることが問題?)
|
117
|
+
そして、そのような対応すること(つまり、final classとするか or 連想型とするかの対応をすること)が要求される理由としては、もしそうのような対応をしなかった場合にSelfに入るインスタンスの型が一意に確定しないためである、という認識です。(Selfをいれているにも関わらず複数の型が入ることが想定されることが問題?)
|
118
118
|
|
119
119
|
|
120
120
|
|
2
test
CHANGED
File without changes
|
test
CHANGED
@@ -114,7 +114,7 @@
|
|
114
114
|
|
115
115
|
故に、連想型を介した場合は単純にSelfがプロトコル内で参照されなくなり、問題なくなるという認識です。
|
116
116
|
|
117
|
-
そして、そのような対応すること(つまり、final classとするか or 連想型とするかの対応をすること)が要求される理由としては、もしそうのような対応をしなかった場合にSelfの型が一意に確定しないためである、という認識です。(Self
|
117
|
+
そして、そのような対応すること(つまり、final classとするか or 連想型とするかの対応をすること)が要求される理由としては、もしそうのような対応をしなかった場合にSelfの型が一意に確定しないためである、という認識です。(Selfをいれているにも関わらず複数の型が入ることが想定されることが問題?)
|
118
118
|
|
119
119
|
|
120
120
|
|
1
誤字
test
CHANGED
File without changes
|
test
CHANGED
@@ -114,7 +114,7 @@
|
|
114
114
|
|
115
115
|
故に、連想型を介した場合は単純にSelfがプロトコル内で参照されなくなり、問題なくなるという認識です。
|
116
116
|
|
117
|
-
そして、そのような対応すること(つまり、final classとするか or 連想型とするかの対応をすること)が要求される理由としては、もしそうのような対応をしなかった場合にSelfの型が一意に確定しないためである、という認識です。(Selfという型を明示している
|
117
|
+
そして、そのような対応すること(つまり、final classとするか or 連想型とするかの対応をすること)が要求される理由としては、もしそうのような対応をしなかった場合にSelfの型が一意に確定しないためである、という認識です。(Selfという型を明示しているにも関わらず複数の型が入ることが想定されることが問題)
|
118
118
|
|
119
119
|
|
120
120
|
|