具有继承和虚拟基类的赋值运算符

Question

我有一个抽象虚拟基类 Foo，从中我派生出许多其他有细微差别的类。我有一个创建派生类并返回 Foo* 的工厂。我最大的问题之一是运算符重载，我需要确保 DFoo 不会被 DFoo1 操作（未显示）。我目前已经通过检查强制转换是否失败来处理此问题，但我对这种方法非常不满意。我必须使用基实现，因为我只能从工厂返回基类。如果这是最好的方法，那很好，我只是想确保这是有道理的，并且没有我遗漏的模式。非常感谢任何有关如何处理此类事情的建议。

 class Foo
 {
    public:
          Foo(int x){...};
          Bar m_bar;
          virtual Foo& operator=(const Foo& f)
          {
             m_bar = f.m_bar
          }
 }

现在，我的派生类

class DFoo : public Foo
{
     DFoo(int x, int y):Foo(int x) {...}
     FooBar m_foobar;

     Foo& operator=(const Foo& rhs)
     {
        if(this != &rhs)
        {

              Foo::operator=(rhs);
              DFoo temp = static_cast<DFoo>(rhs);

              if(temp != NULL)
              {
                m_foobar = static_cast<DFoo>(rhs).m_foobar;
              }
              else
                 throw exception(ex);
        }
     }
}

Answer 1

您可能正在寻找 boost::noncopyable。

Answer 2

在这种情况下，最明智的做法是声明赋值运算符和复制构造函数，但不定义它们。然后，如果代码中的某个地方有人尝试制作副本，则会生成链接器错误。这本质上是 boost::nocopyable 的效果，只不过您没有为这样一个简单而琐碎的任务引入外部库。

编辑：此外，如果您将构造函数和运算符设置为私有，您将收到编译器错误。

Answer 3

您永远不应该这样做：

 class DFoo
 {
     Foo& operator=(const Foo& rhs) ;
 };

除非您明确希望支持将基类分配给派生类型（不太可能）。
allocateemtn 运算符应如下所示：

 class DFoo
 {
     DFoo& operator=(DFoo const& rhs);  // You can only assign DFoo to a DFoo.
                                        // Now there is no way for DFoo1 to get assigned to a DFoo
 };

另外，在这个简单的示例中，您发布了由编译器生成的默认赋值运算符应该按预期工作。您编写赋值运算符有什么特殊原因吗？