使用迭代器作为参数重载 << 运算符

Question

我想将枚举值打印为文本并用于重载。假设我有以下代码：

#include <iostream>
#include <map>
#include <string>
#include <vector>
#include <unordered_set>

enum enm{
    One,
    Two
};

class Complex{
public:
friend std::ostream& operator<<(std::ostream& out, std::unordered_multiset<int>::const_iterator i){
    switch (*i){
        case One:{
            return out<<"One";
        }
        case Two:{
            return out << "Two";
        }
    }
}
void func(std::unordered_multiset<int> _v);
};

void Complex:: func(std::unordered_multiset<int> _v){
    _v.insert(One);
    _v.insert(Two);
    for (std::unordered_multiset<int>::const_iterator i(_v.begin()), end(_v.end()); i != end; ++i){
        std::cout <<"Num: " << *i <<std::endl; //need to get here "One", "Two" instead of 0, 1
    }
}

int main(){
    Complex c;
    std::unordered_multiset<int> ms;
    c.func(ms);
    return 0;   
}

问题是这个变体不起作用。所以，我得到 0, 1 而不是 One, Two。不知道如何正确地做到这一点。 谢谢你的帮助！

Answer 1

我假设您将 i 更改为 *i 以便编译您的程序。为了打印迭代器，您必须执行i，但这会失败并出现编译器错误。

问题在于插入运算符在第一次声明时被定义为类中的友元，因此查找该运算符的查找只能依赖于与参数类型关联的命名空间和类，称为 @987654321 的查找@ 或 Koenig 查找。

由于std::ostream 和unordered_multiset::const_iterator 未与Complex 关联（请参阅ADL#Details），因此查找无法找到插入运算符。

解决方案是在类之外声明函数，以便操作符的正常unqualified lookup发生：

std::ostream& operator<<(std::ostream&, std::unordered_multiset<int>::const_iterator);
class Complex { .. };

不过，我建议您在类之外定义运算符，因为它似乎不需要访问 Complex 的私​​有/受保护成员（与实体交朋友的目的的一部分） )。