就您的问题描述而言,您有一组动态分配的多态对象。
解决方案可以根据这些对象如何遵循某些设计规则而改变:
- 你反对“仅叶对象”吗?(不是指其他对象本身)?
- 是否只有单个非循环引用(您的对象是否仅形成子对象树)?
- 引用之间是否有多个路径(两个或多个引用的同一对象)
- 有循环引用吗?
- 是否有对其他对象成员的引用?
情况可能会变得非常复杂,具体取决于您是否可以容忍同一对象的多个输出以及如何打破最终循环。
您不能做的第一件事是Base
用作值参数(例如在您的 , 因为这会创建一个副本(承认您的对象是可复制的:如果它们引用其他对象,副本会做什么?乘以路径?将引用的对象克隆为好?)
如果您处于情况 (1.),您只需要一个虚函数std::ostream&
,在所有叶子对象中被覆盖。然后你需要一个重载 foroperator<<(std::ostream&, Base*)
和另一个 for(std::ostream&, const std::vector<Base*>&)
像这样:
class Base
{
...
public:
virtual ~Base() {} //must be polymorphic
protected:
virtual void out(std::ostream& s) =0;
friend std::ostream& operator<<(std::ostream& st, Base* pb)
{ pb->out(st); return st; }
};
class Derived1: public Base
{
...
protected:
virtual void out(std::ostream& s)
{
s << "Derived1 at " << this << " address " << std::endl;
}
};
class Derived2: public Base
{
...
protected:
virtual void out(std::ostream& s)
{
s << "Derived2 at " << this << " address " << std::endl;
}
};
std::ostream& operator<<(std::ostream& s, const std::vector<Base*>& v)
{
s << "there are " << v.size() << " objects:" << std::endl;
for(auto& i:v)
s << i;
return s;
}
如果你在 sutuation (2.) yopu 可能会
class Derived3: public Base
{
...
Base* ptrOwnedobject;
};
您可以简单地实现该Derived3::out
功能以求助于拥有的孩子。
如果您处于情况 (3.) 中,并且您不能容忍相同的对象被打印更多时间,那么您有不同的父母共享同一个孩子。您应该以某种方式标记孩子,这样您就不会保存它两次或更多次,并在完成打印后取消标记所有孩子(您很可能会将该机制设置到 Base 类中)。
如果您处于情况(4.),那么关于(3.)的内容将成为强制性的,以避免无限递归。
如果您处于情况(5.)中,您还必须发现成员属于哪个对象(不是微不足道的)。如果你也有多重继承和虚拟基......事情就更复杂了。