make_pair namespace pollution

Question

Nel codice che ho scritto di recente, ho notato uno strano comportamento.

Quando uso make_pair con il primo argomento ad essere un std::pair, make_pair diventa "magicamente" a disposizione nello spazio dei nomi (non è necessario utilizzare un qualificatore std::)

#include <iostream> 

int main() 
{ 
    int i1 = 2; int i2 = 10; int i3 = 0; 

    // constructing a pair using std::make_pair, everything's okay 
    std::pair<int,int> key = std::make_pair(i1, i2); 

    // here, why is make_pair suddenly magically available without the 
    // std:: namespace qualifier? 
    // At the same time, using ::make_pair yields and error 
    // (make_pair has not declared...) 
    std::pair<std::pair<int,int>, int> mypair = make_pair(key, i3); 

    std::cout << mypair.first.first << "\n"; 
    std::cout << mypair.first.second << "\n"; 
    std::cout << mypair.second << "\n"; 

    return 0; 
} 

Il compila bene (con -Wall and -pedantic-errors) e le uscite:

2 
10 
0 

Perché succede questo? Ho esaminato cppreference e non ho trovato alcun accenno al corretto comportamento di questo comportamento. Mi sto perdendo qualcosa?

FYI, sto usando gcc 4.6.3

Answer 1

Questo è una caratteristica meno nota di C++, come @jrok sottolineato incredibilmente veloce, Koenig Lookup, o nella moderna C++ ¹⁾, ADL (Ricerca dipendente dall'argomento). Quello che fa è fondamentalmente la ricerca in namespace degli argomenti per la funzione che si desidera chiamare (make_pair in questo esempio). L'argomento che attiva l'ADL è ovviamente std::pair.

¹⁾ _{la denominazione è stata cambiata, anche se un sacco di gente sa il primo termine}

---

Forse vale la pena ricordare che l'ADL è molto importante per un particolare tipo di funzioni: operatori. Se non fosse così, sarebbe impossibile persino il banale C++ "ciao, mondo!" al lavoro, perché questo:

std::cout << "Hello, world!"; 

avrebbe dovuto essere scritto come questo:

std::operator<< (std::cout, "Hello, world!"); 

Grazie a ADL, << viene correttamente risolto di essere in std namespace.

---

Riferimenti:

• Wikipedia Article
• Grande video da Stephan T. Lavavej, Core C++ Part 1
• A broader look on ADL and its uses by Herb Sutter
• Si può trovare in The C++ standard (stavo usando la versione n3485) in § 3.4.2