Parametric polymorphism - Wikipedia
In programming languages and type theory, parametric polymorphism allows a single piece of code to be given a "generic" type, using variables in place of actual types, and then instantiated with particular types as needed.[1]: 340 Parametrically polymorphic functions and data types are sometimes called generic functions and generic datatypes, respectively, and they form the basis of generic progr
多重定義 - Wikipedia
「オーバーローディング」はプログラミング言語の仕組みについて説明しているこの項目へ転送されています。その他の用法については「オーバーロード」をご覧ください。 多重定義 (たじゅうていぎ) あるいは オーバーロード (英: overload) とは、プログラミング言語において同一の名前（シンボル）を持つ関数あるいはメソッドおよび同一の演算子記号について複数定義し、利用時にプログラムの文脈に応じて選択することで複数の動作を行わせる仕組みである。 例えば整数型や浮動小数点型、複素数型の値について同じ「abs」という関数を定義して絶対値を求める、型ごとに個々の意味で名前やIDを返す関数を定義するなどが挙げられる。多重定義する対象に応じてそれぞれ関数の多重定義[注釈 1]、演算子の多重定義[注釈 2]、メソッドの多重定義[注釈 3]と呼ばれる。メソッドの多重定義の特殊なケースとして、コンストラクタの
多重ディスパッチ - Wikipedia
多重ディスパッチ（英: Multiple dispatch）は、多重定義された関数やメソッド（マルチメソッド（英: Multimethods）などと呼ばれる）などについて、そこで呼び出されるべき1つの定義を動的に選んで実行する（動的ディスパッチする）際に、2個以上の複数の引数が関与してどれかひとつを選ぶこと（特殊化）がおこなわれるものである。 概要[編集] 多重定義を許すプログラミング言語では、同一の名前の（すなわち、多重定義された）関数やメソッドのうちのどれを呼出す（ディスパッチする）かを決定する、ということをしなければならない。 多くのオブジェクト指向プログラミング言語は単一ディスパッチである。すなわち、メソッド呼び出し（Smalltalkなら「メッセージ送信」、C++なら「メンバ関数呼び出し」）において、引数の1つが特別に扱われ、呼び出すべきメソッドの特定に使われる。構文上もその引数
ダブルディスパッチ - Wikipedia
ダブルディスパッチ（英: double dispatch）は、多重ディスパッチのひとつの形態で、2個のオブジェクトから、それに対応する実際の手続きが実行時に決まる、というものである。近年のオブジェクト指向プログラミング言語でよく見られる obj.methodName(arg, ...) というような構文では、obj に対応する1個のオブジェクトから、実行されるメソッドが決定される「シングルディスパッチ」であるわけだが、それに対して複数個のオブジェクトが関与して、多重定義されたメソッドなどから、実行される一つが決定されるのが多重ディスパッチで、多重ディスパッチに関与するオブジェクトを2個に限定したものがダブルディスパッチである。また、シングルディスパッチの言語における複数のクラス間で同様のことを実現するイディオムを指して言う場合もある。[1] 例[編集] たとえば、以下のような状況でダブルデ
ポリモーフィズム - Wikipedia
ポリモーフィズム（英: polymorphism）とは、それぞれ異なる型に一元アクセスできる共通接点の提供[1]、またはそれぞれ異なる型の多重定義を一括表現できる共通記号の提供[2]を目的にした、型理論またはプログラミング言語理論（英語版）の概念および実装である。この用語は、有機組織および生物の種は様々な形態と段階を持つという生物学の概念からの借用語である[3]。多態性、多相性と邦訳されることが多い。 ポリモーフィズムは、通常以下の三種に分けられる。 アドホック多相 （ad hoc polymorphism） 恣意的な型の集合に一つの共通接点を提供する。関数オーバーロード、Mix-inのいち実装、型クラスなど。 パラメトリック多相 （parametric polymorphism） 詳細化されていない型要素を内包する抽象的な型に記号表現を提供する。ジェネリクスや関数型言語の型構築子など。
)
Polymorphism (computer science) - Wikipedia
In programming language theory and type theory, polymorphism is the use of a single symbol to represent multiple different types.[1] In object-oriented programming, polymorphism is the provision of a single interface to entities of different types[2] The concept is borrowed from a principle in biology where an organism or species can have many different forms or stages.[3] The most commonly recogn
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Function overloading - Wikipedia
1: Polymorphism vs. Conditionals
