我想实现一个运算符< 来流式传输我的类(class)(假设它名为="">Paragraph )。类 Paragraph有一些私有(private)数据，因此我希望(独立的)operator< 函数成为="" friend="" 。所以，我按照建议去做，例如="">here on SO . friend语句，执行operator<<一切都很好。

但现在我想将 Paragraph 放在命名空间中，比如说 namespace foo .它不再有效!如果我写:

namespace foo {
class Paragraph {
    public:
        explicit Paragraph(std::string const& init) :m_para(init) {}
        std::string const&  to_str() const { return m_para; }
    private:
        friend std::ostream & operator<<(std::ostream &os, const Paragraph& p);
        std::string     m_para;
};
} // namespace foo

编译器告诉我我已经成为 friend foo::operator<< , 不是 ::operator<< .好，可以。因此，我将 friend 行替换为:

    friend std::ostream & ::operator<<(std::ostream &os, const Paragraph& p);

但我再次收到错误(来自 GCC 5.4.0)，告诉我 ::operator<<尚未声明。好的，那我们就声明一下吧。这行得通吗？:

namespace foo {
std::ostream & ::operator<<(std::ostream &os, const foo::Paragraph& p);
class Paragraph {
    public:
        explicit Paragraph(std::string const& init) :m_para(init) {}
        std::string const&  to_str() const { return m_para; }
    private:
        friend std::ostream & operator<<(std::ostream &os, const Paragraph& p);
        std::string     m_para;
};
} // namespace foo

不，它在阅读 ::operator< 的声明时不知道 Paragraph .好的，让我们转发声明:

namespace foo {
class Paragraph;
std::ostream & ::operator<<(std::ostream &os, const foo::Paragraph& p);
class Paragraph { /* actual definition here */ } }
std::ostream & operator<<(std::ostream &os, const foo::Paragraph& p) { /* impl */ }

运气不好。我收到奇怪的错误:

f.cpp:23:16: note: candidate: std::ostream& operator<<(std::ostream&, const foo::Paragraph&)
 std::ostream & operator<<(std::ostream &os, const foo::Paragraph& p)
                ^
f.cpp:11:15: note: candidate: std::ostream& operator<<(std::ostream&, const foo::Paragraph&)
 std::ostream& ::operator<<(std::ostream &os, const foo::Paragraph& p);

... 在这里我认为全局 namespace 和:: namespace 是同一回事...不是吗？ (叹)。不管怎样，让我们​​将声明移出命名空间:

class foo::Paragraph;
std::ostream & operator<<(std::ostream &os, const foo::Paragraph& p);
namespace foo { class Paragraph { /* actual definition here */ } }
std::ostream & operator<<(std::ostream &os, const foo::Paragraph& p) { /* impl */ }

仍然不够好，现在我收到“'foo' 尚未声明”错误。 (咬牙切齿)好!就这样吧!

namespace foo { class Paragraph; }
std::ostream & operator<<(std::ostream &os, const foo::Paragraph& p);

namespace foo { class Paragraph { /* actual definition here */ } }
std::ostream & operator<<(std::ostream &os, const foo::Paragraph& p) { /* impl */ }

所以这个，但不少于这个，有效。那是可怕的!肯定有某种不那么冗长的方法来做到这一点......对吧？

注意:假设 operator<<不能内联，必须单独定义。

最佳答案

看来您的问题源于没有意识到 ADL 是如何实现的能找到合适的operator<<只要它是与 Paragraph 相同的命名空间.扩展您的第一个示例

// this is what you have already
namespace foo {
class Paragraph {
 public:
  explicit Paragraph(std::string const& init) :m_para(init) {}
  std::string const&  to_str() const { return m_para; }
 private:
  friend std::ostream & operator<<(std::ostream &os, const Paragraph& p);
  std::string     m_para;
};
} // namespace foo

// Now we can add a definition here, or in a different TU
namespace foo {
std::ostream& operator<<(std::ostream& os, const Paragraph& p) {
  return os << p.m_para;
}
} // namespace foo


int main() {
  foo::Paragraph p("hello");
  // finds your operator<< using adl
  std::cout << p << '\n';
}

关于c++ - 我真的需要为 friend operator<< 为命名空间中的类竭尽全力吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/40366078/