ポリモーフィズム
【英】polymorphism
ポリモーフィズムとは、「メッセージの送信側とメッセージの受信側が動的に決まる」というオブジェクト指向プログラミング言語が持つ性質のことである。
ポリモーフィズムは、オブジェクト指向設計の原則である「機能と実装の分離」を実現するために欠かせない機能で、オブジェクトを呼び出す側が意識しなくても実行時の条件に合った適切なメソッドが実行できる。ポリモーフィズムは、継承を利用しているため、オーバーライドと同様な機能に見えるが、ポリモーフィズムの場合は機能が置き換わるのではなく、同一名称メソッドであるが振る舞いは異なるメソッドとして働く。
なお、ポリモーフィズムの実現には、動的バインディングという機能がプログラミング言語に備わっている必要がある。SmalltalkやJavaなどは動的バインディングであるが、C++は静的バインディングである。そのため、C++では仮想関数を導入して実行時までバインディングを遅らせることでポリモーフィズムを実現している。
ポリモーフィズム
(多態性 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/27 03:45 UTC 版)
ポリモーフィズム（英: polymorphism）とは、それぞれ異なる型に一元アクセスできる共通接点の提供[1]、またはそれぞれ異なる型の多重定義を一括表現できる共通記号の提供[2]を目的にした、型理論またはプログラミング言語理論の概念および実装である。この用語は、有機組織および生物の種は様々な形態と段階を持つという生物学の概念からの借用語である[3]。多態性、多相性と邦訳されることが多い。
- ^ polytypismは他の分野で「多型性」と邦訳されることがある[5]。
- ^ ポリタイピックプログラミング（polytypic programming）はジェネリックプログラミングと同一視されることがある。Polytypic Programming in Haskell | SpringerLink
- ^ Bjarne Stroustrup (2007年2月19日). “Bjarne Stroustrup's C++ Glossary”. 2017年3月8日閲覧。 “polymorphism – providing a single interface to entities of different types.”
- ^ Cardelli, Luca; Wegner, Peter (December 1985). “On understanding types, data abstraction, and polymorphism”. ACM Computing Surveys 17 (4): 471–523. doi:10.1145/6041.6042.: "Polymorphic types are types whose operations are applicable to values of more than one type."
- ^ “Polymorphism”. The Java™ Tutorials: Learning the Java Language: Interfaces and Inheritance. Oracle. 2021年9月8日閲覧。
- ^ Conallen, J.; Engle, M.; Houston, K.; Maksimchuk, R.; Young, B.; Booch, G. (2007). Object-Oriented Analysis and Design with Applications (3rd ed.). Pearson Education. ISBN 9780132797443
- ^ 重和, 樋口「光の非視覚的作用と概日リズム : 生理的多型性へのアプローチ(生理人類学のキーワード"生理的多型性"の本質に迫る)」『日本生理人類学会誌』第18巻第1号、2013年、39–43頁、doi:10.20718/jjpa.18.1_39。
- ^ C. Strachey – Fundamental Concepts in Programming Languages http://www.itu.dk/courses/BPRD/E2009/fundamental-1967.pdf
- ^ a b Cardelli, Luca; Wegner, Peter (December 1985). “On understanding types, data abstraction, and polymorphism”. ACM Computing Surveys (New York, NY, USA: ACM) 17 (4): 471–523. doi:10.1145/6041.6042. ISSN 0360-0300.
- ^ Allen B. Tucker (28 June 2004). Computer Science Handbook, Second Edition. Taylor & Francis. pp. 91–. ISBN 978-1-58488-360-9
- ^ Pierce, B. C. 2002 Types and Programming Languages. MIT Press.
- ^ Objects and Aspects: Row Polymorphism | Neel Krishnaswami, Department of Computer Science, Carnegie Mellon University
- ^ 実例によるPureScript
- ^ OCamlで構築するモダンWeb：型付きHTML5プログラミングの実際 | 有限会社ITプランニング | 今井 敬吾
- 1 ポリモーフィズムとは
- 2 ポリモーフィズムの概要
- 3 歴史
- 4 単態性と多態性
- 5 関連項目
多態性 (多相性、ポリモフィズム)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/11 01:34 UTC 版)
「オブジェクト指向分析設計」の記事における「多態性 (多相性、ポリモフィズム)」の解説
多態性 (polymorphism) は、あるオブジェクトへの操作が呼び出し側ではなく、受け手のオブジェクトによって定まる特性である。
※この「多態性 (多相性、ポリモフィズム)」の解説は、「オブジェクト指向分析設計」の解説の一部です。
「多態性 (多相性、ポリモフィズム)」を含む「オブジェクト指向分析設計」の記事については、「オブジェクト指向分析設計」の概要を参照ください。
- 多態性のページへのリンク
