15

考虑以下程序：

#include <iostream>
#include <iterator>
#include <vector>
#include <utility>
using namespace std; //just for convenience, illustration only

typedef pair<int, int> point; //this is my specialization of pair. I call it point

istream& operator >> (istream & in, point & p)
{
    return in >> p.first >> p.second;
}

int main()
{
    vector<point> v((istream_iterator<point>(cin)), istream_iterator<point>()); 
    //             ^^^                         ^^^        
    //extra parentheses lest this should be mistaken for a function declaration
}

这无法编译，因为一旦 ADL 在命名空间 std 中找到运算符 >>，它就不再考虑全局范围，无论在 std 中找到的运算符是否是可行的候选者。这是相当不方便的。如果我将运算符 >> 的声明放入命名空间 std（这在技术上是非法的），则代码可以按预期编译。point除了创建自己的类而不是将其定义为 std 命名空间中模板的特化之外，还有什么方法可以解决此问题？

提前致谢

4

1 回答 1

11

operator>>禁止添加in的重载namespace std，但有时允许添加模板特化。

但是，这里没有用户定义的类型，标准类型上的运算符也不是你可以重新定义的。专业化operator>>(istream&, pair<mytype, int>)是合理的。

节[namespace.std]（n3290 的第 17.6.4.2.1 节）说

std如果 C++ 程序将声明或定义添加到命名空间或命名空间内的命名空间，则 C++ 程序的行为是未定义的，std除非另有说明。只有当声明依赖于用户定义的类型并且特化满足原始模板的标准库要求并且没有明确禁止时，程序才能将任何标准库模板的模板特化添加到命名空间。std

（强调我的）

于 2011-07-30T18:25:52.393 回答