make_pair ô nhiễm không gian tên

Question

Trong đoạn mã tôi đã viết gần đây, tôi đã nhận thấy một hành vi lạ.

Khi tôi sử dụng make_pair với đối số đầu tiên là một std::pair, make_pair trở thành "kỳ diệu" có sẵn trong không gian tên (Tôi không cần phải sử dụng một vòng 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; 
} 

Các biên dịch tốt (với -Wall and -pedantic-errors) và kết quả đầu ra:

2 
10 
0 

Tại sao điều này xảy ra? Tôi đã nhìn vào cppreference và không tìm thấy bất kỳ gợi ý của hành vi này là chính xác. Tôi có thiếu gì không?

FYI, tôi đang sử dụng gcc 4.6.3

Answer 1

Đó là một tính năng ít được biết đến của C++, như @jrok chỉ ra tốc độ nhanh, Koenig Lookup, hoặc trong C++ hiện đại ¹⁾, ADL (Truy vấn phụ thuộc đối số). Những gì nó làm là cơ bản tìm kiếm trong không gian tên của các đối số cho hàm mà bạn muốn gọi (make_pair trong ví dụ này). Đối số kích hoạt ADL rõ ràng là std::pair.

¹⁾ _{việc đặt tên đã được thay đổi, mặc dù có rất nhiều người biết nhiệm kỳ đầu tiên}

---

Có lẽ đó là đáng nói đến là ADL là khá quan trọng đối với một loại hình cụ thể của các chức năng: nhà khai thác. Nếu không cho nó, nó sẽ là không thể cho ngay cả những C++ tầm thường "hello, thế giới!" để làm việc, bởi vì đây:

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

sẽ phải được viết như thế này:

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

Nhờ ADL, << là đúng cách giải quyết được trong std namespace.

---

Tài liệu tham khảo:

• Wikipedia Article
• lớn video bằng cách Stephan T. Lavavej, Core C++ Part 1
• A broader look on ADL and its uses by Herb Sutter
• Nó có thể được tìm thấy trong C++ Standard (Tôi đã sử dụng phiên bản n3485) trong § 3.4.2