🤲 ジェネリクスと共変性 ただ、値を入れて取り出せるだけの次のようなクラスを考えてみましょう。 なぜか、継承関係にあるクラスのメタタイプ同士は共変になりましたが、その他のはサブタイプのメタタイプでは非変となってしまいました。
11お土産屋を営む店主が、天井を一部ガラス張りに改装したところ、3匹の猫たちが店の様子を常に監視するようになったという。
👆 怪物と戦っている時は必死ですよね。
海外掲示板のコメントをご紹介します。
💓 Cat が Animal のサブタイプであれば Box も Box のサブタイプになることを、型パラメータ T について共変であると言います。
11最近だと、深淵を覗く時、暗くてよく見えないのだ。
😩 自らの深淵は総ての人の深淵に繋がっています。 つまり、そのような Foo について、 Foo は Foo のスーパータイプになります。
5人は心の奥底をのぞく時に、のぞかれている心の奥底もこちらをのぞいていると言うことです。
✇ Beware that, when fighting monsters, you yourself do not become a monster… for when you gaze long into the abyss. ・新型監視カメラか! ・CCTV(監視カメラ)の真の定義って、C(Cat)C(Ceiling)T(Top)V(View)だったんだな。 もしかすると後日(大分あとになるかもしれませんが)、ちゃんとコンパイラを読んだ上での調査結果を書くかもしれません。
17深淵をのぞく時、深淵もまたこちらをのぞいているのだ」 日本風に言うなら… 「『』という状況にならないよう注意しろ」という意味になる。
👐 Type のサブタイプだということを意味しています。
11本当に毎日が楽しい。
🙃 ・素晴らしいアイデアだ。
注意してほしい、怪物と戦う時にあなた自身が怪物にならないように…深淵を長い間見つめすぎると、深淵もまたあなたを見つめているのだから。
✔ まとめ Swift のサブタイピングをまとめ、それらのメタタイプについての派生関係を調べました。
5自分の思考が自分自身のアイデンティティであるということ。