【问题标题】:Can't Overload operator<< as member function不能重载 operator<< 作为成员函数
【发布时间】:2012-04-06 13:06:07
【问题描述】:

我正在尝试将operator&lt;&lt; 重载为成员函数。如果简单地这样做,它就可以工作:

friend ostream&amp; operator&lt;&lt;(ostream&amp; os, const MyClass&amp; myClass); 在我的头文件和 MyClass.cc 文件中:

ostream& operator<<(ostream& os, const MyClass& myClass)
{
   return myClass.print(os);
}

但是,如果我尝试取消 friend 并使其成为成员函数,那么它会抱怨 operator&lt;&lt; 只能接受一个参数。为什么?

ostream& MyClass::operator<<(ostream& os, const MyClass& myClass)
{
   return myClass.print(os);
}

我在this question 看到它不能是成员函数,但不知道为什么?

【问题讨论】:

    标签: c++ operator-overloading


    【解决方案1】:

    当作为成员函数重载时,a &lt;&lt; b 被解释为a.operator&lt;&lt;(b),因此它只需要一个显式参数(this 作为隐藏参数)。

    由于这要求重载是用作左侧操作数的类的一部分,因此对于普通的ostreams 等没有用。这将要求您的重载是ostream 类的一部分,而不是您的类的一部分。由于您不允许修改ostream,因此您不能这样做。这样就只剩下全局重载作为替代方案了。

    但是,有一种相当广泛使用的模式,您可以在全局范围内重载运算符,但要调用成员函数:

    class whatever { 
        // make this public, or the global overload a friend.
        std::ostream &write(std::ostream &dest) const { 
            // write self to dest
        }
    };
    
    std::ostream &operator<<(std::ostream &os, whatever const &w) { 
         return w.write(os);
    }
    

    当/如果您想要多态行为时,这特别有用。您不能使重载的运算符本身具有多态性,但您可以使其调用的成员函数virtual,因此无论如何它都具有多态性。

    编辑:为了(我希望)澄清情况,您可以通过几种不同的方式来做到这一点。第一个可能也是最明显的是将我们的write 成员公开,并让全球运营商调用它。既然是公开的,我们不需要做任何特别的事情来让操作者使用它:

    class myClass {
    public:
        std::ostream &write(std::ostream &os) const { 
            // write stuff to stream
            return os;
        }   
    };
    
    std::ostream &operator<<(std::ostream &os, myClas const &m) { 
       // since `write` is public, we can call it without any problem.
       return m.write(os);
    }
    

    第二种选择是将write设为私有,并声明operator&lt;&lt;为朋友以授予其访问权限:

    class myClass {
        // Note this is private:
        std::ostream &write(std::ostream &os) const { 
            // write stuff to stream
            return os;
        }
    
        // since `write` is private, we declare `operator<<` a friend to give it access:
        friend std::ostream &operator<<(std::ostream &, myClass const &);
    };
    
    std::ostream &operator<<(std::ostream &os, myClas const &m) { 
       return m.write(os);
    }
    

    还有第三种可能性,几乎和第二种一样:

    class myClass {
        // Note this is private:
        std::ostream &write(std::ostream &os) const { 
            // write stuff to stream
            return os;
        }
    
        // since `write` is private, we declare `operator<<` a friend to give it access.
        // We also implement it right here inside the class definition though:
        friend std::ostream &operator<<(std::ostream &os, myClas const &m) { 
            return m.write(os);
        }
    };
    

    这第三种情况在 C++ 中使用了一个相当奇怪(而且鲜为人知)的规则,称为“名称注入”。编译器知道 friend 函数不能成为类的一部分,因此不是定义成员函数,而是将函数的名称“注入”到周围的范围(在本例中为全局范围)。尽管operator&lt;&lt; 是在类定义中定义的,它根本不是一个成员函数——它是一个全局函数。

    【讨论】:

    • 如果operator&lt;&lt;在类中被声明为public但在类中没有实现为MyClass::operator&lt;&lt;怎么办? friend 是必需的吗?
    • 有趣。所以它可以在类中声明,实现为非成员函数,而不是类的朋友,仍然可以调用该类的公共成员函数。
    • @0A0D:我不太确定我是否跟随。在我之前的评论中,“它”指的是成员函数。你在说别的吗?
    • 我在想:在流类上做模板不是更好吗?这样我们就可以准确地返回我们作为输入提供的流类型?不确定优点,但在我看来没有缺点。
    • @Antonio:如果你要重新设计东西,你可能会想这样做。在目前的情况下,在大多数情况下它几乎没有意义,仅仅是因为有太多的实现返回ostream &amp;,所以任何在一组开放类型上工作的东西无论如何都必须考虑这种可能性。 OTOH,我不得不同意它可能是无害的。
    【解决方案2】:

    您可以将operator&lt;&lt; 重载为成员函数。但是你不能写一个成员operator&lt;&lt;,左边是ostream,右边是你的类。

    当您将某物设为(非静态)成员函数时,有一个隐含的第一个参数,即调用对象。 operator&lt;&lt; 是二进制的,所以它只需要 2 个参数。如果你让它成为一个成员函数,你只能给它一个参数,因为它已经有一个(调用对象)。而且由于该调用对象始终是第一个参数,因此您不可能将输出运算符编写为(非静态)成员(至少,不是该特定函数的标准形式),因为在这种情况下,ostream必须是第一个参数。

    【讨论】:

    • 此外,由于隐式 this 将是第一个参数,因此您根本不能将 ostream 运算符作为类成员 - 参数的顺序将向后。
    • @JohnZwinck 虽然你可以让你的班级做myclass &gt;&gt; cout,但这会很奇怪......尤其是链接。
    • MyClass中的print方法是非成员函数,是否需要加好友才能访问?
    • 如果打印方法是公开的,则不会。一般来说,您不需要将您的 ostream 运算符声明为朋友,因为它们通常只打印类的公开可见的方面。
    • 如果他们正在打印私有数据,那么人们不得不想知道为什么将这些数据声明为私有数据。因为如果我可以打印它,那么我实际上可以访问它,尽管是间接的。
    【解决方案3】:

    可以这样想:当您想流式传输到 ostream 时,您正在调用流对象上的 。并且您不允许直接修改 ostream 的“私有”方法。所以你必须创建一个重载版本,并让它成为朋友。

    当你在你的类中创建你自己的 operatora << b << c。

    【讨论】:

    • 即使我的打印方法在 MyClass 中公开也需要好友?
    猜你喜欢
    • 2011-07-19
    • 2012-01-18
    • 1970-01-01
    • 2017-07-16
    • 1970-01-01
    • 1970-01-01
    • 2019-10-18
    • 2022-01-07
    • 2012-02-01
    相关资源
    最近更新 更多