コンパイル時ダックタイピング

C++

中の人がどう思っているかと，外からどう思われているか - NyaRuRuが地球にいたころ さんちのコメント欄より

ダックタイピングは

  • ad-hoc polymorphism
  • subtype polymorphism
  • parametric polymorphism

のどれにあたるか？ という話が盛り上がって(?)います。

ふむふむ、ダックタイピングもポリモーフィズム(parametric polymorphism)なんですね

ダックタイピングは、あえて言うならsubtyping polymorphismだと思います。

んー、ダックタイピングはad-hoc polymorphismではないのですか?


総称は「コンパイル時のダックタイピング」と見ることが出来て、そういう風に捉えると 総称と同じく parametric polymorphism に見える。しかし、ダックタイピング単体で見ると ad-hoc polymorphism にも思えてきたり。

私は ad-hoc polymorphism だと思っているのだけれど、モヤッときてる部分だから簡単に揺らぎます。Rees Re: OOらへんの話と併せて、よくわかんない棚上げ事項の一つでしたが、せっかくの機会なので、ハッキリさせておきたいなぁ、とメモしてみます。（←他力本願）