多重定義




多重定義 (たじゅうていぎ) あるいは オーバーロード (英: overload) とは、プログラミング言語において同一の名前（シンボル）を持つ関数あるいはメソッドおよび同一の演算子記号について複数定義し、利用時にプログラムの文脈に応じて選択することで複数の動作を行わせる仕組みである。 例えば整数型や浮動小数点型、複素数型の値について同じ「abs」という関数を定義して絶対値を求める、型ごとに個々の意味で名前やIDを返す関数を定義するなどが挙げられる。多重定義する対象に応じてそれぞれ関数の多重定義[1]、演算子の多重定義[2]、メソッドの多重定義[3]と呼ばれる。メソッドの多重定義の特殊なケースとして、コンストラクタの多重定義がある。また、Common Lispなどでは、多重定義可能な関数としてgeneric function（en:Generic function）がある（このgenericはジェネリックプログラミングのジェネリックである）。


動作の「上書き」を意味するオーバーライド[4]とはまったく異なる概念である。オーバーライドは動的なポリモーフィズム（多態）に利用される。




目次






  • 1 概要


    • 1.1 言語による多重定義のサポート


    • 1.2 ルックアップ


    • 1.3 デメリット




  • 2 多重定義の例


  • 3 演算子の多重定義


  • 4 テンプレートと多重定義


  • 5 多重定義濫用の弊害


  • 6 曖昧な型を持つ言語


  • 7 脚注


  • 8 関連項目





概要


動作を選択する際に用いられる代表的な文脈情報としては、型付けられたプログラミング言語においては関数や演算子に実引数（演算子ならばオペランド）として与えられた式や変数に関連付けられた型の情報が用いられる（稀ではあるが戻り値の型を利用できるプログラミング言語も存在する）。関数の名称とそれらの型情報の組を合わせたものをシグネチャと呼ぶが、プログラム内でシグネチャが唯一に決まれば、関数名やメソッド名、演算子の記号が重複していても呼び出すべき対象を唯一に決定することができる。このような型付けによる多重定義は、暗黙の型変換[5]あるいは型強制[6]）、継承[7]あるいは包含[8]、総称型[9]、あるいはパラメーター付型[10]と並んでプログラミング言語において多態性[11]を実現するための一つの手段である。


理論的には関数の名前や演算子記号は単なる記号であり、意味的必然があるわけではないので、これを反映して多重定義を許すプログラミング言語では多重定義された関数や演算子、メソッドの意味や動作の定義はかなり自由に行うことができる（演算子については構文解析の都合上、優先順位などが制限される場合も有る）。とはいえ関数名やメソッド、特に演算子の用法には各分野及びプログラミング言語毎に慣習が育っている場合があり、著名な関数（例えば数学関数のsinなど）やメソッド、演算子に対して慣習とあまりにかけ離れた意味、即ち動作の定義を与えるとプログラムの可読性の著しい低下をもたらす可能性があるので注意が必要である。


デフォルト引数（オプション引数）をサポートしない言語（Javaや、バージョン4.0よりも前のC#など）では、多重定義によってデフォルト引数と類似の機能を実現することができる。



言語による多重定義のサポート


関数の多重定義をサポートしない言語では、たとえ関数の引数の型や数によらずアルゴリズムすなわち本質的な内容がまったく同じでも、引数の型や数ごとに関数をそれぞれ定義する場合は同じ名前が使えず、引数に応じた名前をそれぞれ付ける必要があり、呼び出すときも引数に応じて使い分ける必要がある。


C言語での例を以下に示す。


#include <stdio.h>

#include <math.h>

float vector2f_length(float x, float y) { return sqrtf(x * x + y * y); }

double vector2d_length(double x, double y) { return sqrt(x * x + y * y); }

float vector3f_length(float x, float y, float z) { return sqrtf(x * x + y * y + z * z); }

double vector3d_length(double x, double y, float z) { return sqrt(x * x + y * y + z * z); }

int main(void) {

  printf("%fn", vector2f_length(1.0f, -1.0f));

  printf("%fn", vector2d_length(1.0, 2.0));

  printf("%fn", vector3f_length(1.0f, -1.0f, 1.0f));

  printf("%fn", vector3d_length(1.0, 2.0, -1.0));

}

ベクトルの長さを計算する関数を、型および次元ごとに命名している。


一方、関数の多重定義をサポートする言語では、関数のシグネチャが異なれば同じ名前を使うことができる。関数には本質的な名前だけを付ければよく、呼び出すときも引数によらず一様に記述できる。


C++での例を以下に示す。


#include <cstdio>

#include <cmath>

float vector_length(float x, float y) { return std::sqrt(x * x + y * y); }

double vector_length(double x, double y) { return std::sqrt(x * x + y * y); }

float vector_length(float x, float y, float z) { return std::sqrt(x * x + y * y + z * z); }

double vector_length(double x, double y, float z) { return std::sqrt(x * x + y * y + z * z); }

int main(void) {

  printf("%fn", vector_length(1.0f, -1.0f)); // (float, float) バージョンが呼ばれる。

  printf("%fn", vector_length(1.0, 2.0)); // (double, double) バージョンが呼ばれる。

  printf("%fn", vector_length(1.0f, -1.0f, 1.0f)); // (float, float, float) バージョンが呼ばれる。

  printf("%fn", vector_length(1.0, 2.0, -1.0)); // (double, double, double) バージョンが呼ばれる。

}

なお、C++11規格では、2次元ベクトルの長さを求める標準関数として、多重定義されたstd::hypot()関数が用意されている[12]。C++17では3次元ベクトルバージョンも追加されている。



ルックアップ


多重定義のルックアップ（英: look-up、探索）は実引数の型に応じて静的に解決される。以下のJavaの例では、java.lang.Stringクラスはjava.lang.Objectクラスから派生しているものの、testMethod()は引数の動的な型情報（実行時型情報）によって選択されることはなく、あくまでコンパイル時に解決される静的な型情報に基づいて選択される。


public class Main {

    static void testMethod(String str) { System.out.println("String version is called."); }

    static void testMethod(Object obj) { System.out.println("Object version is called."); }

    public static void main(String args) {

        String str = "test";

        Object obj = str;

        testMethod(str); // String バージョンが呼ばれる。

        testMethod(obj); // Object バージョンが呼ばれる。

    }

}

なお、曖昧さを解決できず、多重定義された候補の中から1つを選択することができない場合はコンパイルエラーとなる。前述のC++の例において、曖昧さが解決できないケースを以下に示す。


  printf("%fn", vector_length(1, -1)); // コンパイルエラー。

  printf("%fn", vector_length(1.0f, -1.0)); // コンパイルエラー。

  printf("%fn", vector_length(1.0, -1.0f)); // コンパイルエラー。

曖昧さの解決のためには明示的な型変換が必要となる。


  printf("%fn", vector_length(static_cast<double>(1), static_cast<double>(-1))); // コンパイル可能。(double, double) バージョンが呼ばれる。

一方、前述のC言語の例のように、多重定義を持たず、曖昧さがない場合は暗黙の型変換を利用することができる。


  printf("%fn", vector2d_length(1, -1)); /* コンパイル可能。 */

  printf("%fn", vector2d_length(1.0f, -1.0)); /* コンパイル可能。 */

  printf("%fn", vector2d_length(1.0, -1.0f)); /* コンパイル可能。 */


デメリット


関数／メソッドおよび演算子が多重定義された場合、その名前だけで区別することができないので、多重定義の候補のうち、どのバージョンが使われるのかがソースコード上で一見して分かりづらく、可読性が下がる。統合開発環境 (IDE) の中には、構文解析によりどのバージョンがどこで使われているかを列挙してくれるものも存在するが、そういったツールが使えない状況では読み手に詳細なルックアップの知識がないと判別が困難なこともある。



多重定義の例


C++による多重定義[13]：


// (1-1): 引数の数の違いによる多重定義

int Function(void);

int Function( int value );

int Function( int value0, int value1 );



// (2): 引数の修飾子の違いによる多重定義

int Function( int *value );

int Function( int const *value );

int Function( int *const *value );

int Function( int *const *const *value );



// (3): 引数の型の違いによる多重定義

int Function( char value );

int Function( std::complex< double > const &value );

int Function( ... ); // ※1

template< class Type > int Function( Type const &value ); // ※2



struct Example

{

    // (1-2): 引数の型の違いによる多重定義(コンストラクタ版)

    Example(void);

    Example( int value );

    

    // (4): メンバー関数の修飾子の違いによる多重定義

    int Function(void);

    int Function(void) const;

    

    // (1-3): 引数の型の違いによる多重定義(メンバー関数版)

    int Function( int value );



    // (5): 戻り値の型の違いによる多重定義

    operator bool (void) const;

    operator int (void) const;

};

基本的には「(1)引数の数」と「(2)修飾子」「(3)型」が異なっていれば関数に同じ名前を付けられるようになっている。また、大域関数で可能な多重定義はメンバー関数で全て可能である。メンバー関数は更に「(4)修飾子の違い」による多重定義と変換演算子を用いた時に限り可能な「(5)戻り値の型の違い」による多重定義が可能になっている。JavaやC#などC++以外の言語では(1)と(3)の範囲にとどまっている事が多い。C++で特に特徴的なのは※1の省略子と※2のテンプレート関数を多重定義できる点である。省略子を引数にとる関数はあらゆる引数を受け付ける関数である。引数の型や数を無視する反面、関数の内部では一切引数を参照することができない。テンプレート関数はint等明示的に型を書いた関数より選択される優先度が低く、省略子を用いた関数は更に低い。この特性を利用して同じ扱いで処理できる型はテンプレート関数で処理、特別扱いが必要な型であれば明示的に型を書いた関数で処理、引数の数が異り多重定義した関数群では対処しようがない引数は省略子を用いた関数を使って何もしない等既定の処理をさせるようにすることができる。



FORTRANによる多重定義[14]:


module Example



    implicit none

    

    ! Function0, Function1をFunctionとして定義。FORTRANに予約語はなくFunctionは予約語ではない。

    interface Function

        module procedure Function0, Function1

    end interface Function



contains



    function Function0( value1 ) result( value0 )

        !省略

    end function Function0

    

    function Function1( value1, value2 ) result( value0 )

        !省略

    end function Function1



end module Example

特徴的なのは関数の定義としては多重定義を認めないものの呼び出し方法として多重定義を認めている点である。呼び出し時の名前と定義の名前は別物であるため混乱の原因となるだけではあるが全く別の名前をつける事も可能になっている。



演算子の多重定義


多重定義を使った利用者定義演算子の一種である。詳細は当該記事を参照のこと。


オブジェクト指向言語においては数値型とオブジェクトを同じ関数で処理するために必須の機能である(後述のテンプレートと多重定義参照)。



テンプレートと多重定義






C++の様に多重定義とテンプレートを使用可能な言語では、両方の機能を組み合わせることにより静的な多態を実現することができる。また、PostgreSQLのストアドプロシージャーの様なテンプレートを備えていない言語でも同様の多態を実現できる場合がある。


以下に例を示す。


// 引数valueの符号に応じて、1または-1を返す関数

template<class Type> Type Sign( Type const &value )

{

    return value / abs( value ); // 除算演算子及び、abs関数の実体はSignの引数によって変わる

}



int main(void)

{

    double value = -2;

    std::valarray<double> array( 2 );



    double value_sign = Sign( value ); // 1または-1のdoubleの値が返る

    std::valarray<double> array_sign = Sign( array ); // 1または-1を含むvalarrayの値が返る



    return EXIT_SUCCESS;

}

この例ではSign関数内部の演算子とabs関数がSign関数の引数に指定した値によって変化する。
この様にテンプレートと多重定義を備える言語では、多重定義でオーバーライドを代用することができる。


多重定義による多態は、コンパイル時にしか実現できないという問題があるものの単純なオーバーライドでは実現しづらい各種柔軟性を備えている。


まず、メンバー関数だけでなく大域スコープの関数をクラスのインターフェースの一部として見做す事が出来るようになる。これにより、単に手続き型の要素でしか無かった大域スコープの関数をオブジェクト指向機能の一要素として組み入れる事が出来る。そして、大域スコープの関数がインターフェースとして機能し始める事によりクラスだけでなく、intやdouble型といったメンバー関数を持てない型にもオブジェクト指向の恩恵が得られる様になるのである。


次に、大域スコープの関数は直接クラスに所属しないという特性によりメンバー関数より柔軟な拡張性を得る事が出来る。例えば、外部のライブラリーのあるクラスにメンバー関数を追加することは、外部のライブラリーに手を加えなければいけないため事実上無理である。それに対し大域スコープの関数を追加する場合は、外部のライブラリーに手を加える必要がなく容易である。また、関数をテンプレートで実装すれば複数のクラスを横断的に拡張できる。先にテンプレート関数が存在する場合や、拡張対象のクラスの親クラスに対する関数が存在する場合、新たに、より具体的な型を引数に取る関数を追加することで静的なオーバーライドが可能となる。


次に、単一ディスパッチでは不可能な多重ディスパッチを模倣できるという点がある。これにより、例えば矩形を描画しようとする際、描画先デバイスが矩形の描画に対応していれば、デバイスに直接矩形情報を送り、描画先デバイスが矩形描画に対応していなければ、パスや線分等その他の機能を使って矩形を描画するといった処理が自然な形で記述可能となる。


なお大域スコープと記述しているが名前空間の中にあっても次の例のように多態性の実現は可能である[13]。この仕組みを実引数依存の名前探索という。


#include <cstdlib>



namespace Graphics

{

        class Line{ /* 省略 */ };

        class Ellipse{  /* 省略 */  };



        class Square

        {

                /* 省略 */

                Line At( size_t index ) const; // 四角形の辺を返す関数

                /* 省略 */

        };



        void Draw( ... )

        {

        }



        // 四角形を描画する

        template<class Type> void Draw( Type &device, Square const &shape )

        {

                Draw( device, shape.At( 0 ) );

                Draw( device, shape.At( 1 ) );

                Draw( device, shape.At( 2 ) );

                Draw( device, shape.At( 3 ) );

        }



}



namespace PNGDevice

{

        struct Device{ /* 省略 */ };

        // PNG用に線分を描画する

        void Draw( Device &device, Graphics::Line const &shape );

}



namespace JpegDevice

{

        struct Device{ /* 省略 */ };

        // Jpeg用に線分を描画する

        void Draw( Device &device, Graphics::Line const &shape );

}



int main()

{

        PNGDevice::Device device0;

        JpegDevice::Device device1;



        Draw( device0, Graphics::Square( 0, 0, 1, 1 ) ); // 内部でPNGDevice::Draw( Device &, Graphics::Line const & )を呼び出す

        Draw( device1, Graphics::Square( 0, 0, 1, 1 ) ); // 内部でJpegDevice::Draw( Device &, Graphics::Line const & )を呼び出す



        Draw( device0, Graphics::Ellipse( 0, 0, 1, 1 ) ); // Graphics::Draw( ... )を呼び出す

        Draw( device1, Graphics::Ellipse( 0, 0, 1, 1 ) ); // Graphics::Draw( ... )を呼び出す



        return EXIT_SUCCESS;

}


多重定義濫用の弊害


例えば、C++ において何らかの数値型例えば有理数型のためのクラスを定義するとして、整数型を引数にとるabs関数が絶対値を返すにもかかわらず有理数型をとるabs関数を全く違う意味で定義すると関数テンプレートなどで同じ処理を共有できないばかりでなく混乱を招く。互換性の無い多重定義は避けるべきである。



曖昧な型を持つ言語


PerlやPHPのような曖昧な型を持つ言語では、関数の多重定義ができない、あるいは制限されていることがある。そのときは関数の先頭で引数の型を判定する条件分岐で対応する。


また、PHPには「オーバーロード」という機能が存在するが、これはプロパティやメソッドを動的に作成するための機能であり、他の多くのオブジェクト指向言語とは異なる意味で用いられている。[15]



脚注




  1. ^ 英: function overloading


  2. ^ 英: operator overloading


  3. ^ 英: method overloding


  4. ^ 英: method overriding


  5. ^ 英: implicit type conversion


  6. ^ 英: type coercion


  7. ^ 英: inheritance


  8. ^ 英: inclusion


  9. ^ 英: generic type


  10. ^ 英: parametric type


  11. ^ 英: polymorphism


  12. ^ std::hypot - cppreference.com

  13. ^ abhttp://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4296.pdf


  14. ^ http://www.j3-fortran.org/doc/year/10/10-007.pdf


  15. ^ “オーバーロード”. 言語リファレンス. The PHP Group. 2014年4月16日閲覧。



関連項目



  • 型システム

  • ポリモーフィズム

  • サブルーチン

  • メソッド (計算機科学)

  • 多重ディスパッチ




-

Popular posts from this blog

冬

Image
季節による積雪の変化 冬 （ふゆ）は、四季の一つであり、一年の中で最も寒い期間・季節を指す。二十四節気や旧暦のように、一年中で最も太陽の高度が低く夜が長い期間を指すこともある。 北半球では冬至後の1月-2月頃に気温が低いことが多く、南半球では夏至後の7月‐8月頃にあたる。 日本の気象庁では一日の日最低気温が0℃以下の日を 冬日 （ふゆび）、また、日最高気温が0℃以下の日を 真冬日 （まふゆび）と呼んでいる。このような日は1月を中心に前後の毎年12月から翌年3月頃にかけて発生するから（ただし、年や地域によっては、11月・4月でも生じる場合もある）、この時期のあたりが冬の範囲に入る。 冬が特別・特有とされる物（特に収穫物）に付いては旬#冬を参照。 目次 1 定義 2 気候 3 生物 3.1 植物 3.2 動物 4 冬の行事 5 天文・自然 6 比喩的な用法 7 冬を題材にした作品 7.1 文学 7.2 音楽 7.2.1 クラシック 7.2.2 童謡 7.2.3 ポピュラー系 8 関連項目 定義 地球と太陽の光の模式図。この図では北半球が冬となる。 北半球が冬のときは南半球は太陽高度が高くなるため夏となり、南半球が冬のときは同様に北半球は夏となる。 社会通念・気象学では1月・2月・12月。たとえば「暖冬」「厳冬」などはこの3か月の平均気温で判断する。 寒候年・1年間の間で1月、2月、12月とすると1シーズンとしての冬を評価できない。そのため1月、2月を含む年をそのシーズンで括る。たとえば、「2009年の冬」といった場合、2008年の12月、2009年の1月、2月である。また、「2008/2009年冬」という書き方をする。初雪・終雪の日など11月以前、3月以降になることのあるようなものもこの定義による。 二十四節気に基づく節切りでは立冬から立春の前日まで。 旧暦による月切りでは十月・十一月・十二月。上に近いが、最大半月ずれる。 年度では1月・2月・3月。英語ではこの3か月をwinter quarterと呼ぶ。 天文学上は冬至から春分まで。ここでの「冬至」「春...
Read more

浄心駅

Image
浄心駅 浄心駅5番出口（2010年3月） じょうしん Joshin ◄ T03 庄内通 (1.4km) (0.8km) 浅間町 T05 ► 所在地 名古屋市西区城西四丁目3208 愛知県の地図を表示 名古屋市の地図を表示 北緯35度11分32秒 東経136度53分27秒 駅番号 ○ T04 所属事業者 名古屋市交通局 （名古屋市営地下鉄） 所属路線 鶴舞線 [1] キロ程 4.1km（上小田井起点） 駅構造 地下駅 ホーム 2面2線 乗車人員 -統計年度- 7,116人/日（降車客含まず） -2017年- 開業年月日 1981年（昭和56年）11月27日 [1] テンプレートを表示 浄心駅 （じょうしんえき）は、愛知県名古屋市西区城西4丁目にある、名古屋市営地下鉄鶴舞線の駅である。駅番号は T04 。 運行上の拠点であり乗務員の交代が当駅で行われる他、上り最終電車のみ当駅止まりとなる（翌朝当駅から上小田井駅へ回送し、上小田井駅発の列車となる）。かつては日中にも当駅起終点の列車が1往復設定されていた。 目次 1 歴史 2 駅構造 2.1 のりば 3 駅周辺 4 バス路線 5 隣の駅 6 脚注 7 関連項目 8 外部リンク 歴史 1981年（昭和56年）11月27日 - 当駅 - 伏見間の延伸に際し開業 [1] 。 1984年（昭和59年）9月6日 - 庄内緑地公園 - 当駅間の開業に伴い途中駅となる [1] 。 駅構造 浄心駅ホーム 相対式ホーム2面2線を有する地下駅。1番ホームには東改札口、2番ホームには西改札口がそれぞれあり、両ホームは線路の下を通る連絡通路でつながっている。改札外では東西それぞれのコンコースをつなぐ通路は無く、分断されている。 1番又は2番出入り口から入り階段を降りると1番ホーム（赤池・豊田市方面）にしか行けず、4～6番出入り口から入り階段を降りると2番ホーム（上小田井・犬山方面）にしか行くことができない。 よって、例えば2番ホームで降りて...
Read more

カンタス航空

Image
カンタス航空 Qantas Airways IATA QF [1] ICAO QFA コールサイン Qantas 法人番号 1700150004605 設立 1920年 ハブ空港 キングスフォード・スミス国際空港 メルボルン空港 焦点空港 香港国際空港 シンガポール・チャンギ国際空港 パース空港 ブリスベン空港 アデレード空港 マイレージサービス Frequent Flyer 会員ラウンジ Qantas Club 航空連合 ワンワールド 保有機材数 213機 (147機発注中) 就航地 144都市 (39カ国) 親会社 Qantas Airways Limited 本拠地 オーストラリア ニューサウスウェールズ州シドニー 代表者 Alan Joyce (CEO) Leigh Clifford (会長) 外部リンク qantas.com テンプレートを表示 カンタス航空本社 (Qantas Building A) カンタス航空 （カンタスこうくう、英語: Qantas Airways Limited ）は、オーストラリアおよび南半球最大手の航空会社。 オーストラリアでのQantasの発音は、 Quantas ( [ˈkwɒntəs] [2] [3] [4] 、 クウォンタス ) のように発音される。 目次 1 概要 2 歴史 2.1 設立 2.2 第二次世界大戦 2.3 第二次世界大戦後 2.4 拡大 2.5 現在 3 就航都市 4 保有機材 4.1 特別塗装機 5 マイレージサービス 6 機内サービス 6.1 広報活動 6.2 新ユニフォーム 7 事故及び故障 8 「オーストラリア・アジア航空」 9 補足 10 関連項目 11 脚注 12 外部リンク 概要 カンタス航空はオーストラリアのナショナルフラッグの航空会社であり、その機材数、国際便と国内便の就航都市数...
Read more