C++の引数依存の名前探索（ADL／Koenigルックアップ）とは？仕組みと具体例を解説

引数依存の名前探索（Argument-Dependent Lookup：ADL）は、関数呼び出し式において修飾されていない（名前空間を付けない）関数名を探索するためのC++の規則です。「Koenigルックアップ」という名前でも知られています。

この規則は、オーバーロードされた演算子の暗黙的な関数呼び出しにも適用されます。つまり、+ や << などの演算子を使う際にも、ADLが裏側で働いているのです。

通常の修飾なし名前探索では、呼び出し元のスコープや名前空間が対象となりますが、ADLではさらに引数の型が属する名前空間も探索対象に追加します。この仕組みのおかげで、別の名前空間で定義された演算子や関数を、名前空間の修飾なしに自然に呼び出すことが可能になります。

ADLの具体例

namespace MyNamespace {
    class A {};
    void f(A &a, int i) {}
}

int main() {
    MyNamespace::A a;
    f(a, 0);  // MyNamespace::f が呼ばれる
}

この例では、main 関数内で f を名前空間の修飾なしに呼び出していますが、コンパイルは成功します。これは、引数 a の型 MyNamespace::A が属する名前空間 MyNamespace が探索対象に追加され、そこで定義された f が見つかったためです。

std名前空間と演算子オーバーロード

同じ仕組みは、<< や >> のようなストリーム演算子にも当てはまります。普段何気なく使っている次のようなコードを考えてみましょう。

#include <iostream>

int main() {
    std::cout << "Hello" << std::endl;
}

ここで operator<< は std 名前空間内で定義されています。しかし、呼び出し側では std::operator<< のように修飾する必要はありません。これは、引数 std::cout の型（std::ostream）が std 名前空間に属しているため、ADLによって std 名前空間内の operator<< が自動的に探索されるからです。

まとめ

ADL（Koenigルックアップ）は、引数の型が属する名前空間も関数名の探索対象に含めるC++の名前探索ルールです。これにより、cout や cin、endl などと組み合わせて使われる <<・>> 演算子を、名前空間の修飾なしに直感的に記述できます。演算子オーバーロードを活用したライブラリ設計では、ADLの挙動を理解しておくことが重要です。