make_pair 命名空间污染答案

【问题标题】：make_pair namespace pollutionmake_pair 命名空间污染
【发布时间】：2013-06-25 09:15:46
【问题描述】：

在我最近编写的代码中，我注意到一个奇怪的行为。

当我使用make_pair 并且第一个参数是std::pair 时，make_pair 在命名空间中“神奇地”可用（我不必使用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;
}

编译很好（使用-Wall and -pedantic-errors）并输出：

2
10
0

为什么会这样？我调查了 cppreference 并没有发现任何暗示这种行为是正确的。我错过了什么吗？

仅供参考，我使用的是 gcc 4.6.3

【问题讨论】：

Argument dependent (a.k.a. Koenig) lookup。一些有用的 SO 链接/可能的重复：1、2、3。
那很快...谢谢！
不客气，问题写得很好，顺便说一句。 ADL 并非没有问题，这是一本好书：What are the pitfalls of ADL?

标签： c++ gcc stl std-pair

【解决方案1】：

这是 C++ 的一个鲜为人知的特性，正如 @jrok 指出的极快的 Koenig Lookup 或现代 C++ ¹⁾、ADL（Argument-Dependent Lookup））。它所做的基本上是在参数的名称空间中搜索您要调用的函数（在此示例中为make_pair）。触发ADL的参数显然是std::pair。

¹⁾_{改名了，虽然很多人都知道第一个名词}

也许值得一提的是，ADL 对于一种特定类型的函数非常重要：运算符。如果不是 ADL，即使是微不足道的 C++“你好，世界！”也是不可能的。工作，因为：

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

应该这样写：

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

感谢 ADL，<< 被正确解析为位于 std 命名空间中。

参考资料：

Wikipedia Article
Stephan T. Lavavej 的精彩视频，Core C++ Part 1
A broader look on ADL and its uses by Herb Sutter
可以在 § 3.4.2 的 C++ 标准（我使用的是 n3485 版本）中找到它

【讨论】：