iOSのDiscordで定期的にあがる話題として「protocol型の値がそのprotocol自身にconformしていないのはなぜ?」というものがあります。 例えば以下のようなコードです。 protocol Animal { func bark() } struct Dog: Animal { func bark() { print("わんわん") } } func f<A: Animal>(_ animal: A) { ... } // これはOK let dog: Dog = Dog() f(dog) // こっちはNG // error: cannot invoke 'f' with an argument list of type '(Animal)' let animal: Animal = Dog() f(animal) 毎度話題に上がるたびに「で、なんでなんだっけ?」となっ
![Swiftでprotocol型の値がそのprotocol自身にconformしていない理由 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/d5261feabaafb9b0d3d792093e411e10762ef380/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-7940cd1c8db80a7ec40711d90f43539e.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9U3dpZnQlRTMlODElQTdwcm90b2NvbCVFNSU5RSU4QiVFMyU4MSVBRSVFNSU4MCVBNCVFMyU4MSU4QyVFMyU4MSU5RCVFMyU4MSVBRXByb3RvY29sJUU4JTg3JUFBJUU4JUJBJUFCJUUzJTgxJUFCY29uZm9ybSVFMyU4MSU5NyVFMyU4MSVBNiVFMyU4MSU4NCVFMyU4MSVBQSVFMyU4MSU4NCVFNyU5MCU4NiVFNyU5NCVCMSZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzM0EzQzNDJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9YTA1MDBjNWU2ZmVkZWU4OTBhYTkzM2IxM2Q2OTA0NWM%26mark-x%3D120%26mark-y%3D96%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9OTcyJnR4dD0lNDB1a2l0YWthJnR4dC1jb2xvcj0lMjMzQTNDM0MmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz0yZmQyMDU3Nzc2NmIxNGE2NzM2NGYzMzQ3MmE2ZmI1Ng%26blend-x%3D120%26blend-y%3D500%26blend-mode%3Dnormal%26s%3D04ec71d668480a78d6b0128574df2b09)