Question

我有一个复合模式实现，用于GUI组件：

class CObject {
private:

  CObject * m_pParent;  
  CObjectContainer * m_pChildren;

  void private_foo() {
    this->foo();
    //Calls private_foo for each child in container.
    m_pChildren->foo();
  }

public:
  virtual void foo() {
    //empty for base class
  }

  virtual CObject * duplicate() {
    //Do duplication code
    return new CObject(*this);
  }

  virtual CObject * detach() {
    //Remove this object (along with it's children)
    //from current tree.
    m_pParent->RemoveChild(this);
    m_pParent = nullptr;
    return this;
  }
}

class CSpecificObject : public CObject {
public:
  virtual void foo() {
    //Specific code for this class
  }

  virtual CSpecificObject * duplicate() {
    //Overload, but the code only calls diferent constructor
    return new CSpecificObject(*this);
  }

  virtual CSpecificObject * detach() {
    //Note the code is identical.
    m_pParent->RemoveChild(this);
    m_pParent = nullptr;
    return this;
  }
}

不幸的是，继承类的数量迅速增加，重复的代码（在给定的例子中只有detach（）方法）让我头疼。

有没有办法干净地实现detach（）方法，保持返回类型与调用它的对象相同？

我在考虑CRTP，但我想不出一种方法来保持动态多态性和编译时多态性：

template <Child>
class CObject {
private:
  ...
  Child * detach() {
    m_pParent->RemoveChild(this);
    m_pParent = nullptr;
    return static_cast<Child*>(this);
  }
  ...
}

//Array of CObject* pointers is no longer possible.

Answer 1

您可以添加一个抽象级别：

class CObjectBase
{
    public:
        // Other methods...
        virtual CObjectBase* detach() = 0;
        virtual CObjectBase* duplicate() const = 0;
};

template <typename Child>
class CObject : public CObjectBase
{
    public:
        // ...
        Child* duplicate() const
        {
            return new Child(*static_cast<Child*>(this));
        }

        Child* detach()
        {
            m_pParent->RemoveChild(this);
            m_pParent = nullptr;
            return static_cast<Child*>(this); // Cast needed here (inherent to CRTP)
        }
        std::vector<CObjectBase*> children; // Array possible now
        // ...
};

class MyObject : public CObject<MyObject>
{
    // ...
};

在自然语言中：所有对象的接口（CObjectBase）都有其后代（CObject<Child>）的部分实现，只需继承此部分实现，减少复制代码的数量。

Answer 2

我在考虑CRTP，但我想不出一种方法来保持动态多态性和编译时多态性

您可以通过使用CRTP样式基类为某些接口提供默认虚拟实现来混合它们。

因此，您可以聚合CRTP基础实现（可能配置了额外的'policy'-template参数），并且仍然能够覆盖继承类中的特定行为。

微软的ATL library使用了很多。我也在STTCL state machine library中使用了这种技术。

Answer 3

仅从代码段中就不清楚为什么需要detach()返回指向已传递类型的指针。

要利用detach()返回已传递的类型，无论如何都需要使用对传递类型的引用来调用它。像这样：

CSpecificObject* specific_object = new SpecificObject();
// ...
specific_object->detach()->method_declared_in_specific_object();

但是，即使分离无效，也可以用等效的代替：

specific_object->detach();
specific_object->method_declared_in_specific_object();

如果您对基本类型有引用，则无法利用detach()返回类型：

CObject* specific_object = new SpecificObject();
//...
// !!! Won't compile:
specific_object->detach()->method_declared_in_specific_object();

由于这个原因，目前尚不清楚您尝试实施的方法有哪些优势。

一方不是duplicate()方法很臭。它在传递的类不会覆盖它时中断，但使用父类的默认实现。这可能表明高级设计存在问题。

可以混合复合图案和奇怪的重复模板图案

3 个答案: