Tra cứu phụ thuộc đối số (Argument-Dependent Lookup / Koenig Lookup) trong C++ là gì?

Tra cứu phụ thuộc đối số (ADL) là quy tắc tra cứu tên hàm không đủ điều kiện trong biểu thức gọi hàm. Các biểu thức gọi hàm này bao gồm cả gọi ngầm đến toán tử nạp chồng.

Tên hàm được tra cứu trong không gian tên của các đối số của nó, ngoài các phạm vi và không gian tên thông thường. ADL cho phép sử dụng các toán tử được định nghĩa trong không gian tên khác.

Ví dụ

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

int main() {
    MyNamespace::A a;
    f(a, 0); // gọi MyNamespace::f
}

Tra cứu lời gọi hàm f phụ thuộc vào đối số a. Tương tự đối với toán tử << và >> được tra cứu trong namespace std khi dùng cout, cin, endl.