オーバーロードは多態性と関係があるのか？

オーバーロード(overloading)は多態性(polymorphism、ポリモーフィズム)と関係があるのでしょうか？

(PDF)"On Understanding Types, Data Abstraction, and Polymorphism"の原義に従うなら、「関係がある」と言って差し支えないと思います。

§1.3. Kinds of Polymorphism の Figure 1: Varieties of polymorphism. によれば、overloading は "ad-hoc polymorphism"（アドホック多相/多態）に分類されています。

私には何が正しくて間違っているかわからなくなってしまいました。

個人的な意見ですが、本件ではどれが正しくどれが間違っているという話では無く、用語の定義とそれが指し示す範囲の問題ではないでしょうか？Java言語をはじめとするオブジェクト指向言語の文脈では、subtyping（≒型の継承）とオーバーライド(override)のみが 狭義の 多態性(polymorphism) と呼ばれていると思います。

Java言語の文脈であっても多態性という用語を 広義に 捉えれば、オーバーロード(overload) による"ad-hoc polymorphism"や、ジェネリクス(generics)による"parametric polymorphism"（パラメトリック多相/多態）も含まれると考えます。

本来の"polymorphism"は、型システム(type system)の文脈で定義される用語ですし、オブジェクト指向に限定した用語でもありません。型システムの話は比較的学術よりと思いますが、（私も含めた）一般的なプログラマ／エンジニア視点では、「オブジェクト指向の文脈において型継承により実現される動的な多態性」として認知されている気がします。

なおStackOverflowのXavi López氏回答について、raccyさんが誤解釈されているように思えます。

同氏の回答中では"polymorphism"という単語がoverridingを通して実現される"subtype polymorphism"を意味しています。該当文"Method Overloading is unrelated to polymorphism"は、overloadingはその"subtype polymorphism"とは無関係である、つまりoverloadingとoverridingは別物だという自然な主張だと思います。

Xavi Lópezさんがいっているのは「両者は同一の概念ではないよ」というのが主張のポイントだと思います。それはそのとおりと思います。それは質問者が「ポリモーフィズムとオーバーライドとオーバーロードが全部同じもののように見える」といっている質問に対する妥当な答えであると思います。

一方ポリモーフィズムには動的なものと静的なものが考えられるという説明、および静的なものとして引数の型が異なるだけのオーバーロードを静的ポリモーフィズムとして使えるという説明を見ると「そうだなぁ」とも感じます。

要するにどちらの主張も間違ったことを言っているように感じませんでした。

オーバーロードとオーバーライドの区別がつかないような初学者にならとりあえずXavi Lópezさんのような回答を推奨すると思いますが、より広い文脈でオーバーロードがpolymorphismと無関係かどうかの議論には自分はそれほど自信はありません。ただStack Overflowの前述の質問自体は「It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form.」としてcloseされていることを考えると「文脈によって答えは違うものになることもある」ということを示唆していると自分は受け取りました。

stream.print(int)
stream.print(string)
vs
int.print(stream)
string.print(stream)

というような議論をしているなら前者はオーバーロードを後者はオーバーライドを多態性の実現に用いる設計上の選択であるというのは間違ってないように感じます。しかしオーバーロード＝多態性であるとまでは思いません。以下のようなオーバーロードが「多態性を実現するためのものです」と言われたら違う気がするからです。

class.operation(string,int)
class.operation(int,string)

同じく「静的多態性」なるものが多態性の一種と呼べるかに依存すると思います。

多態性といえば、「動的多態性」のことしか考えていませんでした。ただし、仰る通り、コンパイル時に振る舞いが決定するものも含めれば話が変わってきます。

まあ要するに言葉の解釈の違いだと思います。「マクロ関数は関数と呼べるか？」とかと同種だと思います。

こんにちは。

私も「ポリモーフィズム」という用語は「オーバーロード」と言う用語とは無関係なものと理解していました。
別質問の回答を見てびっくりしてググッたのですが、Wikipediaの説明を見るとオーバーロードも条件を満たすように見えました。

考えてみると、私はこれらの用語の厳密な定義を把握していません。
このように混乱していると言うことは、広く受け入れられている定義は存在しないと言うことのようです。
しかし、「専門用語」はできるだけ解釈を統一したいものです。ISOかどこかで規定されていると良いのですが。

はい「多型」は「オーバーロード」という用語とは無関係です。 
はい「多型」は「オーバーロード」という用語とは無関係です。

• https://www.welookups.com
  https://javacodegeeks.net