|
実引数依存の名前探索 （じつひきすういぞんのなまえたんさく、ADL）とは、C++において関数呼出時に与えられた引数の型に依存して、呼び出す関数を探索 (lookup)する仕組みのことである。英語ではKoenig lookup、argument dependent lookup (ADL)、argument dependent name lookupなどと呼ばれる。なお、Koenig lookupとは、この仕組みをAndrew Koenigが提案したことにちなむ。 ==概要== 実引数依存の名前探索では、通常の名前探索では考慮されない他の名前空間も探索される可能性がある。探索される名前空間は実引数に依存する。直接・間接的に基底クラスを持つクラスAに対しては、その直接・間接的な基底クラスが「Aに関連するクラス」となる。Aが含まれる名前空間とAに関連するクラスが含まれる名前空間は、「Aに関連する名前空間」となる。A型のオブジェクトが関数呼出の際に実引数として用いられると、関連する名前空間からその関数が探索される。 探索によって見つかった宣言の集合は通常の名前探索で見付けた名前と関連する名前空間から見付けた名前とをまとめたものになる。その後この見付かった宣言の集合の中から多重定義の解決が行われる。なお、通常の名前探索でクラスのメンバ関数が探索された場合、実引数依存の名前探索は行われない。 たとえばこのような感じである： namespace NS int main() 標準C++ライブラリでは、実引数依存の名前探索を主に演算子多重定義関数に対して用いている。たとえば次のプログラムは実引数依存の名前探索が無ければコンパイルできない。 #include #include int main() std::ostream& std::operator <<(std::ostream&, const std::string&)と宣言された関数は、実引数依存の探索によって見付かる（この関数はstd名前空間の中に存在することに注目）。ところで、std::endlは関数であるが、operator <<の引数として用いられているため、std::などといった完全な修飾が必要であることに注意。抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「実引数依存の名前探索」の詳細全文を読む スポンサード リンク
|