『プロトコル拡張を、それに準拠する将来の型で制約して、既定の実装を添えよう』という話を発端にした考察

熊谷 友宏 @es_kumagai

とりあえず、型で検証するとこんな感じ。文字列化すると情報が落ちるみたいで混乱しますけど、メタタイプかどうかまでを確認すると違いがはっきり見えてくるみたい。 gist.github.com/d54c8e696772bb… #swift pic.twitter.com/oBEM8MwZwB

拡大

熊谷 友宏 @es_kumagai

つまり、こんな感じで Self と、静的メソッドにおける self.dynamicType とが一致するはず。… そろそろプロトコルで検証してみよう。 gist.github.com/077615ced690bd… #swift pic.twitter.com/3fexRx2OfY

拡大

熊谷 友宏 @es_kumagai

まだ、既定の実装を隠蔽することについての検証はしてないですけど、とりあえず先ほどのコードをプロトコル版にしても（やや違えど）同じく動作しているみたい。 gist.github.com/a8f482b2624a7f… #swift pic.twitter.com/3B9AzMKxQm

拡大

熊谷 友宏 @es_kumagai

あとはこんな性質か。プロトコル拡張内では Self.Type でも、そこにプロトコルに準拠した AdoptClass.Type が入っているかもしれない。 gist.github.com/8c5a095b817cdd… #swift pic.twitter.com/i0PKYvetcF

拡大

熊谷 友宏 @es_kumagai

先ほどの例に書いたように .Type.Type についても同様なのと、.Type.Type を取りたいとき、SelfCheck.self の次は .dynamicType … か。 #swift

熊谷 友宏 @es_kumagai

あれ、いちおう型のメタ情報とて dynamicType で取れているのか。 gist.github.com/1ca3a9dc4e0a9a… #swift pic.twitter.com/hKKhpgCwFQ

拡大

熊谷 友宏 @es_kumagai

こんな感じで。 gist.github.com/7ab9425c058c24… #swift pic.twitter.com/Blk7GQkYao

拡大

熊谷 友宏 @es_kumagai

掌握した…？ 頭が混乱していますけど、たぶんこれで Self と self.dynamicType で同じ動作になるのが説明できている、はず？ gist.github.com/7d6de5261ff03f… #swift pic.twitter.com/9Wh6IBvsIW

拡大

熊谷 友宏 @es_kumagai

ああ、まだでした。プロトコルに付属型をつけた時にたしか結果が変化するんでした。 #swift

熊谷 友宏 @es_kumagai

ああ、やっぱりこれで良いのかもしれない。静的メソッドとインスタンスメソッドとで違いが出るはず！と思ったけれど出ず、でも勘違いできっとこれで正しそう。 gist.github.com/78852404b91850… #swift pic.twitter.com/Ebis0pM3m8

拡大

熊谷 友宏 @es_kumagai

あれ、実行結果が変わらなかった …今件の元の問題は、付属型があるかどうかで動作が変わったはず…！ gist.github.com/3cb1ea2abd198f… #swift pic.twitter.com/31hZNPCtNG

拡大

熊谷 友宏 @es_kumagai

ああ、なるほど。最初の例は extension MyProtocol where Self : ClassA みたいな制約がつくのね。 #swift

熊谷 友宏 @es_kumagai

そして今、完璧に掌握した😎 … ように思える。また新たな課題を見つけてくれそうですけれどね😉 gist.github.com/bbb87b8135c298… #swift pic.twitter.com/fy2o4anwam

拡大

熊谷 友宏 @es_kumagai

そしてそんな調査の過程で「Swift 史上、最も自己主張の強いコード」を発見した 😏 gist.github.com/152aa27934a904… #swift pic.twitter.com/hrRZuSIhjr

拡大

熊谷 友宏 @es_kumagai

またきっと混乱するのは別として、とりあえずプロトコル拡張の世界観を把握できたような気がする。 #swift

熊谷 友宏 @es_kumagai

ああ、世界観までは言い過ぎか。とりあえず、動きのところね。 #swift

熊谷 友宏 @es_kumagai

ああ、そうか、もうひとつ。いくら Type の dynamicType と言っても、実行時にしか得られない以上、それを扱うための変数の型はビルド時に何かに決めておかないといけない。だから Self.Type で固定されるのかな。 #swift

熊谷 友宏 @es_kumagai

そしてこの Self.Type と型へ義務付けるか否かの２つで、もしかしてプロトコル拡張の呼び出し的な動きのほとんどを説明できてしまうかもしれない？ #swift

ezura @eduraaa

@es_kumagai なるほど。ありがとうございます！ 混乱の元凶の print は型情報を深くまで見てくれるということでしょうか…。挙動としては納得できて安心なような、やっぱりよくわからないような。もう少し考えてみます！

ezura @eduraaa

@mo_to_44 制限をつけたとき「この場合は"例外的"にこうするよ」とも見えて、果たして例外だけどデフォルトとは一体なんだろうと混乱しまして…。

ezura @eduraaa

@mo_to_44 あ！これは、プロトコル側から考えてるからかもしれないです。型側から考えると疑いようもなくデフォルト実装な気もします！

ezura @eduraaa

少し混乱したけれど、トリッキーな事態を除いて考えれば、デフォルト実装だと自信を持って言えそうです。 ありがとうございます！＼＼\\└('ω')」//／／

ezura @eduraaa

最近、トリッキーなことを考えすぎて見失っていたけれど、rizumita さんのおっしゃっていた通り、protocol extension はやはりそのプロトコルの特性として捉えて良いんだ。

熊谷 友宏 @es_kumagai

たまにはちょっと C++ で。Swift プロトコル拡張の動きを見てたら C++ のクラスの動き「隠蔽」と「オーバーライド」の差異を思い出した。 gist.github.com/908f93a41c5135… #swift #cpp pic.twitter.com/nvGPygUucN

拡大

熊谷 友宏 @es_kumagai

プロトコル拡張の処理的な観点から。C++ でクラスを型で扱ったときと、Swift でプロトコル側から見たときの動きと。C++ でクラスをポインターで扱ったときと、Swift で型側から見たときの動きと。なんかとっても似ている気がした。 #swift