Loading article…
一部のプログラミング言語では、関数オーバーロードまたはメソッドオーバーロードとは、同じ名前の関数を異なる実装で複数作成できる機能です。オーバーロードされた関数を呼び出すと、呼び出しのコンテキストに適した特定の関数実装が実行されるため、1つの関数呼び出しでコンテキストに応じて異なるタスクを実行できます。
例えば、doTask()とdoTask(object o)はオーバーロードされた関数です。後者を呼び出すにはオブジェクトを引数として渡す必要がありますが、前者は引数を必要とせず、空の引数フィールドで呼び出されます。よくあるエラーとしては、後者の関数でオブジェクトにデフォルト値を割り当ててしまうことが挙げられます。この場合、コンパイラはどちらのメソッドを使用すべきか判断できず、呼び出しエラーが発生します。
もう1つの例として、テキストを印刷するか写真を印刷するかによって異なるアクションを実行するPrint(object o)関数があります。2つの異なる関数は、Print(text_object T); Print(image_object P)のようにオーバーロードできます。プログラムが「印刷」するすべてのオブジェクトに対してオーバーロードされた印刷関数を記述すれば、オブジェクトの型や正しい関数呼び出しについて心配する必要はなくなり、呼び出しは常にPrint(something)になります。
関数オーバーロードをサポートする言語には、以下のようなものがありますが、これらに限定されません。
関数オーバーロードは通常、関数呼び出しで型チェックを強制する静的型付けプログラミング言語に関連付けられています。オーバーロードされた関数とは、同じ名前で呼び出せる異なる関数の集合です。特定の呼び出しに対して、コンパイラはどのオーバーロードされた関数を使用するかを決定し、コンパイル時にこれを解決します。これは、Java などのプログラミング言語に当てはまります。[ 10 ]
関数オーバーロードは、実行時に選択が行われるポリモーフィズムの形式とは異なり、静的に選択が行われるのではなく、仮想関数などを介して選択が行われます。
例：C++における関数オーバーロード
import std ;// 立方体の体積。int volume ( int s ) { return s * s * s ; }// 円柱の体積。double volume ( double r , int h ) { return std :: numbers :: pi * r * r * static_cast < double > ( h ); }// 直方体（長方形の角柱）の体積。long volume ( long l , int b , int h ) { return l * b * h ; }int main () { std :: println ( "{}" , volume ( 10 )); std :: println ( "{}" , volume ( 2.5 , 8 )); std :: println ( "{}" , volume ( 100l , 75 , 15 )); }上記の例では、各コンポーネントの体積は、「volume」という名前の3つの関数のうちの1つを使用して計算され、実際のパラメータの数と種類の違いに基づいて選択されます。
オブジェクトのインスタンスを作成するために使用されるコンストラクタは、一部のオブジェクト指向プログラミング言語ではオーバーロードされることもあります。多くの言語ではコンストラクタの名前はクラス名によってあらかじめ決められているため、コンストラクタは1つしか存在できないように思われます。複数のコンストラクタが必要な場合は、オーバーロードされた関数として実装する必要があります。C ++では、デフォルトコンストラクタはパラメータを取らず、オブジェクトメンバーを適切なデフォルト値でインスタンス化します。「通常、数値フィールドの場合はゼロ、文字列フィールドの場合は空文字列です」。[ 11 ]例えば、C++ で記述されたレストランの請求書オブジェクトのデフォルトコンストラクタは、チップを 15% に設定するかもしれません。
Bill () :チップ{ 0.15 }、合計{ 0.0 } {}この方法の欠点は、作成した Bill オブジェクトの値を変更するのに 2 つの手順が必要になることです。以下に、メイン プログラム内で値の作成と変更を行う手順を示します。
ビルカフェ;カフェ.チップ= 0.10 ;カフェ.合計= 4.00 ;コンストラクタをオーバーロードすることで、チップと合計金額をオブジェクト作成時にパラメータとして渡すことができます。以下は、2つのパラメータを持つオーバーロードされたコンストラクタの例です。このオーバーロードされたコンストラクタは、以前使用した元のコンストラクタと同様にクラス内に配置されています。どちらが使用されるかは、新しい Bill オブジェクトが作成される際に指定されるパラメータの数（なし、または2つ）によって決まります。
請求書（チップ2倍、合計2倍）：チップ{チップ}、合計{合計} {}これで、新しい Bill オブジェクトを作成する関数は、コンストラクタに 2 つの値を渡し、データ メンバーを 1 つのステップで設定できるようになりました。以下に、作成と値の設定を示します。
ビルカフェ（0.10、4.00 ）これは、プログラムの効率を高め、コードの長さを短縮するのに役立ちます。
コンストラクタのオーバーロードを行うもう1つの理由は、必須データメンバを強制することです。この場合、デフォルトコンストラクタは外部からアクセスできないように、privateまたはprotected（C++11以降ではdeletedが望ましい）として宣言されます。上記のBillの場合、totalはコンストラクタの唯一のパラメータとなる可能性があります。Billにはtotalの適切なデフォルト値がないため、tipのデフォルト値は0.15となります。
関数オーバーロードには、名前マスキング（スコープによる）と暗黙的な型変換という2つの問題が相互に作用し、複雑化します。
あるスコープで関数が宣言され、その後、同じ名前の別の関数が内側のスコープで宣言された場合、オーバーロードの動作には 2 つの自然な可能性があります。内側の宣言が外側の宣言をマスクする (シグネチャに関係なく)、または、内側の宣言と外側の宣言の両方がオーバーロードに含まれ、内側の宣言が外側の宣言をマスクするのはシグネチャが一致する場合のみです。最初の動作は C++ で採用されています。「C++ では、スコープをまたいだオーバーロードはありません。」[ 12 ]その結果、異なるスコープで宣言された関数のオーバーロード セットを取得するには、キーワードを使用して、外側のスコープから内側のスコープに関数を明示的にインポートする必要がありますusing。
暗黙的な型変換は関数オーバーロードを複雑にします。なぜなら、パラメータの型がオーバーロードされた関数のシグネチャと完全に一致しない場合でも、型変換後に一致する可能性がある場合、解決方法はどの型変換が選択されるかに依存するからです。
これらは紛らわしい形で組み合わされる可能性があります。たとえば、内側のスコープで宣言された不完全一致が、外側のスコープで宣言された完全一致を隠蔽する可能性があります。[ 12 ]
例えば、基底クラスから引数を取る関数を使用して、double引数を取るオーバーロードされた関数を持つ派生クラスを作成するには、C++では次のように記述します。intint
class Base { public : void fn ( int i ); };class Derived : public Base { public : using Base :: fn ; void fn ( double d ); };派生クラスに渡されるパラメータusingに結果を含めなかった場合、結果はdouble型に変換され、基底クラスではなく派生クラスの関数と一致します。結果を含めると、派生クラスでオーバーロードが行われ、基底クラスの関数と一致します。intfnusing
メソッドに過剰な数のオーバーロードが設定されている場合、開発者はコードを読むだけでどのオーバーロードが呼び出されているかを判断するのが難しくなることがあります。特に、オーバーロードされたパラメータの一部が、他のパラメータの継承型（例えば「object」）である場合は、この傾向が顕著になります。IDEはオーバーロード解決を実行し、適切なオーバーロードを表示（または移動）することができます。
Type-based overloading can also hamper code maintenance, where code updates can accidentally change which method overload is chosen by the compiler.[13]