C++抽象基类的函数

Question

假设我想要有一个像这样的继承层次结构。

class Base

class DerivedOne : public Base

class DerivedTwo : public Base

基类不打算被实例化，因此具有派生类必须定义的一些纯虚函数，使其成为抽象基类。

但是，您希望派生类从基类获取一些函数。这些函数修改 DerivedOne 和 DerivedTwo 都具有的私有数据成员。

class Base {
public:
      virtual void MustDefine() =0; // Function that derived classes must define
      void UseThis(); // Function that derived classes are meant to use
};

但是，UseThis() 函数旨在修改私有数据成员。这就是问题所在。我应该为 Base 类提供虚拟私有数据成员吗？我应该给它受保护的数据成员（因此派生类不会声明自己的私有数据成员）。我知道第二种方法会减少封装。

处理这种情况的最佳方法是什么？如果需要更详细的解释，我很乐意提供。

Answer 1

如果这些成员变量应该存在于所有派生类中，那么您应该在基类中声明它们。如果您担心封装，可以将它们设置为私有并为派生类提供受保护的访问器方法。

Answer 2

另外五美分：好的做法是拥有抽象接口类，它没有其他成员，但只有公共纯虚拟方法和通常公共虚拟析构函数。然后，您创建基本实现，它也可以是抽象的，但可以具有受保护的字段等。

在您的情况下，它会是这样的：

class IBlaBla;

class BlaBlaBase : public IBlaBla;

class DerivedOne : public BlaBlaBase

class DerivedTwo : public BlaBlaBase

如果您决定 Base 不再适合某些专门任务，这可以让您在将来拥有更大的灵活性。

我应该给基础类虚拟吗
私有数据成员？

如果您可以实现部分功能而不将详细信息暴露给派生类，那么可以在基类中实现。如果您的派生类需要访问这些成员，请提供 setter 和 getter。但是，为派生类提供可用的 setter 并不方便，因为代码变得紧密耦合。

Answer 3

封装有时被高估了。如果您的基类和派生类需要访问这些成员，那么它们可能应该是protected，而不是private。如果它确实是需要封装的东西，那么您可能希望将它们设置为私有，但提供getter和setter（要么将它们设置为Base私有，并使用getter和setter在那里定义，或者派生类私有，在Base中使用纯虚拟getter和setter）。

在不了解您要解决的实际问题的情况下，很难为您提供更具体的建议。

Answer 4

您必须定义 Base::UseThis()，在其主体中您将使用 Base 的字段（您还需要在上面的类定义中声明这些字段）。如果您只需要在 UseThis 中访问它们，它们可以是私有的。如果 DerivedOne/Two 需要访问它们，您应该保护它们。

Answer 5

这是解决您的困境的一个可能的解决方案：

class Base {
 public:
   virtual ~Base() {}

   virtual void redefine_me() = 0;
   void utility_function();

 private:
   virtual int get_data_member() = 0;
   virtual void set_data_member(int v) = 0;
};

class Derived1 : public Base {
 public:
   virtual void redefine_me() { do_d1_stuff(); }

 private:
   int my_private_idaho_;
   virtual int get_data_member() { return my_private_idaho_; }
   virtual void set_data_member(int v) { my_rpviate_idaho_ = v; }
};

class Derived2 : public Base {
 public:
   virtual void redefine_me() { do_d2_stuff(); }

 private:
   int gomer_pyle_;
   virtual int get_data_member() { return gomer_pyle_; }
   virtual void set_data_member(int v) { gomer_pyle_ = v; }
};

void Base::utility_function()
{
   set_data_member(get_data_member() + 1);
}

最大的缺点是现在对私有数据成员的访问是通过虚拟函数调用来介导的，这并不是最便宜的事情。它对优化器也是隐藏的。

这意味着，如果您选择它，则应该采用一种模式，在实用程序函数的开头将私有数据成员提取到局部变量中，并在返回之前从局部变量中设置它。当然，某些实用程序函数可能会调用需要在调用之前更新对象状态的函数，并且必须修改此模式以解决这一问题。但话又说回来，这样的实用函数可能无法满足强大的异常处理保证，无论如何都应该重新考虑。

Answer 6

看起来您似乎需要一些用于客户端代码的接口，以及一些用于接口实现者的“方便”功能，只有遵循调用便利层的 useThis 函数的规则，他们才能使用这些功能，这将调整他们的私人成员。

每当我屈服于将便利功能放入抽象基类的诱惑时，我就会后悔（很快！）。它剥夺了很多灵活性。 AlexKR提出的解决方案使这种情况稍微好一些。

另一种方法是提供一些方便的类，接口的实现者可以聚合这些类，而不是继承它。它可以提供一个将实现者的成员作为参数的函数。

class Interface { public: virtual void f() = 0; };

class Convenience { 
   public: 
   void tweakMyMembers( int& member1, float& member2 ); 
   bool somestate;
};

class Implementor : public Interface {
   int m1; float m2;
   public: Implementor( bool b ): conv( b ) {}

   virtual void f() { conv.tweakMyMembers( m1, m2 ); if( m1<m2 ) dothis(); }
};