Q&A
オーバーロード(overloading)は多態性(polymorphism、ポリモーフィズム)と関係があるのでしょうか？
私は長い間、無関係だと思っていました。しかし、日本語圏で検索すると、オーバーロードは多態性の一種、またはそれを実現する機能、であり、関係があると考える人が多いようです。
- 多態性（多相性） （ポリモーフィズム） 多態性#1 多態性#2 [PDF]
- オーバーロードとオーバーライド、多態性と継承関係をまとめてみた｜コンピューターの勉強会・研修ネタ
- 【java】オーバーロードとオーバーライドの違いとは
しかし、
oop - Is Polymorphism , Overloading and Overriding are same concepts? - Stack Overflow
で、Xavi López氏は
Method Overloading is unrelated to polymorphism. ...
メソッドオーバーロードは多態性と無関係です。...
と回答しています。リンクされている他の各質問での回答やコメントでも無関係であると考えている人が多数のようです。
英語圏が全てそうかというと、タイプが違う多態性なだけで、やはり多態性の一つであると考える人もいるようです。
Types of polymorphism in java- Runtime and Compile time polymorphism
において著者は、多態性は実行時多態性(runtime polymorhism、動的多態性、dynamic polymorphism)とコンパイル時多態性(compile time polymorhism、静的多態性、static polymorphism)の二つのタイプに分けることができるのであり、Javaのメソッドオーバーロードはコンパイル時多態性の一つであると主張しています。
私には何が正しくて間違っているかわからなくなってしまいました。オーバーロードと多態性は関係があるのか？あるとしたら、その関係は何なのか？解説をお願いします。
【補足】
ジェネリック、テンプレート、パターンマッチ、動的型付けによるダッグタイピング等とは混合しないようにお願いします。言語特有の違いがある場合は、言語を指定して説明いただきますようお願いします。
【追記】
Polymorphism (computer science) - Wikipedia によると、そもそも多態性は三種類に分かれるとなっています。
- アドホック多態性(ad hoc polymorphism)
- パラメトリック多態性(parametric polymorphism)
- サブタイプ多態性(subtype, subtype polymorphism or inclusion polymorphism)
オーバーロードはアドホック多態性に入るとされているようです。
回答5件
0
ベストアンサー
オーバーロード(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は別物だという自然な主張だと思います。
投稿2016/12/05 01:19
編集2016/12/05 06:30
総合スコア6191
0
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)
投稿2016/12/04 04:04
編集2016/12/04 16:03
総合スコア18394
0
同じく「静的多態性」なるものが多態性の一種と呼べるかに依存すると思います。
多態性といえば、「動的多態性」のことしか考えていませんでした。ただし、仰る通り、コンパイル時に振る舞いが決定するものも含めれば話が変わってきます。
まあ要するに言葉の解釈の違いだと思います。「マクロ関数は関数と呼べるか？」とかと同種だと思います。
投稿2016/12/04 03:02
総合スコア4830
0
はい「多型」は「オーバーロード」という用語とは無関係です。
はい「多型」は「オーバーロード」という用語とは無関係です。
投稿2019/01/06 03:31
総合スコア12
あなたの回答
tips
プレビュー
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。
2016/12/05 09:55