アドホック多相

ウィキペディア小見出し辞書

アドホック多相

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/05 07:11 UTC 版)

「ポリモーフィズム」の記事における「アドホック多相」の解説

詳細は「アドホック多相（英語版）」を参照 関数や演算子の多重定義のように、同じ名前で型の異なる引数に適用できて、その振る舞いは引数の型によって違うような関数の多相性のことを「アドホック多相」という。「ad hoc（その場しのぎの）」という用語は悪い意味で使われているのではなく、単にこの種の多相性が型システムの基本的な機能ではないという事実を指して使われている。次のC++での例では、Add関数は呼び出し側からは様々な型に対して総称的に動作するかのように見えるが、コンパイラから見ればこれらは全く別個の2つの関数である。 #include #include int Add(int x, int y) { return x + y;}std::string Add(const std::string& s1, const std::string& s2) { return s1 + s2;}int main() { std::cout << Add(1, 2) << std::endl; // "3" が出力される。 std::cout << Add("Hello, ", "World!") << std::endl; // "Hello, World!" が出力される。} 動的型付け言語では、実行されるべき正しい関数が実行時まで決定できない可能性があるという点で、状況はより複雑になりうる。暗黙の型変換も型強制多相（coercion polymorphism）としてアドホック多相の一形態と定義される。