ostream operator<<在Namespace中隐藏其他ostream :: operator

时间:2018-03-01 12:38:31

标签: c++ g++ operator-overloading language-lawyer ostream

使用gcc版本5.2.0(GCC)和--std = c ++ 14,如果取消注释名称空间MyNamespace中注释掉的运算符ostream,则以下代码不再编译。这是一个错误还是一个功能? (用g ++编译--c --std = c ++ 14 x.cxx)

#include <string>
#include <iostream>

typedef std::pair<std::string, std::string> StringPair;

std::ostream& operator<<( std::ostream&, const StringPair &pair) {
  std::cout <<pair.first<<"."<<pair.second;
}

namespace MyNamespace {
  class MyClass {};
  //std::ostream& operator<< (std::ostream&, const MyClass &);
  void xxx ();
}

void MyNamespace::xxx () {
  StringPair pair;pair.first="1";pair.second="2";
  std::cout <<pair<<std::endl;
}

运营商收到的错误消息&lt;&lt;未注释的是:

x.cxx: In function ‘void MyNamespace::xxx()’:
x.cxx:18:13: error: no match for ‘operator<<’ (operand types are ‘std::ostream {aka std::basic_ostream<char>}’ and ‘StringPair {aka std::pair<std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char> >}’)
std::cout <<pair<<std::endl;
         ^

1 个答案:

答案 0 :(得分:2)

如上所述here,这是name hiding的一个例子。通过在名称空间operator<<中定义MyNamespace,可以隐藏更高名称空间(如全局)中的所有定义。

请注意,如here所述:

  

[...]此功能不会干扰Koenig查找[...],因此仍会找到来自std::的IO运算符。

details about Koenig lookup

解决方案是使用using指令引用其他命名空间中的重载,如herehere所述。 Michael Nastenko的评论中提到了这一点。

因此using ::operator<<;::引用全局命名空间。

因此代码将成为:

#include <string>
#include <iostream>

typedef std::pair<std::string, std::string> StringPair;

std::ostream& operator<<(std::ostream& os, const StringPair &pair) {
    os << pair.first << '.' << pair.second;
    return os;
}

namespace MyNamespace {
    class MyClass {};
    using ::operator<<;
    std::ostream& operator<< (std::ostream&, const MyClass &);
    void xxx();
}

void MyNamespace::xxx() {
    StringPair pair("1","2");
    std::cout<<pair<<std::endl;
}

int main() {
    MyNamespace::xxx();
    return 0;
}

example on Coliru