C ++ STL容器中的多态性

Question

I was wondering if an elegant solution exists to this problem.

Suppose the following:

class Base {
  private:
    int data;
  protected:
    Base(int data) : data(data) { }
    int getData() const { return data; }
    virtual bool someOp() = 0;
}

class Derived1 : public Base {
  private:
    int data2;
  public:
    Derived1(int data, int data2) : Base(data), data2(data2) { }
    int getData2() const { return data2; }
    bool someOp() override { /* something */ }
}

class Derived2 : public Base {
  private:
    float data2;
  public:
    Derived1(int data, float data2) : Base(data), data2(data2) { }
    float getData2() const { return data2; }
    bool someOp() override { /* something */ }
}

And suppose that I have the total control over the hierarchy so I can assume that Base won't get extended, nor any DerivedX class.

Now I want to store them in a std::vector , if I want to use polymorphism I'm forced to store pointers otherwise object slicing will prevent me to store the additional derived properties. So I'm basically forced to use a std::vector<unique_ptr<Base>> .

But let's assume that I need to store plenty of these objects and I don't want to waste for double heap allocation (the internal std::vector + the object itself) and that at the same time I can assume that:

• the class hierarchy is perfectly defined and won't be extended without knowing it
• sizeof(DerivedX) won't be so larger than sizeof(Base)

So I'm wondering if there is an elegant way to keep polymorphism and avoid storing pointers. I could think of some solutions like

class Base {
  enum {
   DERIVED1,
   DERIVED2
  } type;

  int data;
  union {
    int derived1data;
    float derived2data;
  }

  bool someOp() {
    if (this->type == DERIVED1) ...
    else if ..
  }
}

But this is clearly not elegant. I could also try to exploit the fact that object slicing shouldn't occur if sizeof(Derived) == sizeof(Base) by using a protected union in Base and accessing it from Derived and casting the address to elements in the std::vector to the desired type (according to an enum) but this sounds ugly too.

Answer 1

Type erasure and the small buffer optimization.

You can type erase almost any property in C++, creating a custom interface that "knows" how to apply the property to a now-unknown type.

boost::any type erases down to copy, destroy, get typeid, and cast-back-to-exactly-matching-type. std::function type erases down to copy, invoke with a specific signature, destroy, and cast-back-to-identical-type (the last is rarely used).

Free store based type erasure implementations get move semantics 'for free' by swapping around pointers.

In your case, you'll want to create a "large enough" aligned storage in the type. You'll want to type erase down to copy, get-as-reference-to-base, destroy and probably move (as you are storing internally).

std::aligned_storage is intended for your task (you can pass in the alignment requirements of all the types you intend to store). Then in-place new the object.

Build a table of the operations you want to perform on the object via void* -- copy, move, destroy, and convert-to- base* .

template<class Sig>using f = Sig*;

struct table {
  f<base*(void*)>             convert_to_base;
  f<base const*(void const*)> convert_to_const_base;
  f<void(void*,void const*)>  copy_construct;
  f<void(void*)>              destroy;
  f<void(void*,void*)>        move_construct;
};
template<class T>
table const* get_table() {
  static table t = {
    // convert to base:
    [](void*p)->base*{
      T*t=static_cast<T*>(p);
      return t;
    },
    // convert to const base:
    [](void const*p)->base const*{
      T const*t=static_cast<T const*>(p);
      return t;
    },
    // etc
  };
  return &t;
}

now store get_table<T>() in your type-erased instance (it is basically a virtual function table, manually implemented), and write your wrapping regular class to use the functions from the table to manipulate the aligned_storage<?...> .

Now, this can be done easier by using boost::variant , or via something like my some type that acts like a any without using heap storage. The some link includes an implementation that compiles of the pseudo-virtual function table technique above. I probably used aligned storage wrong, however, so be careful.

Answer 2

You could use std::aligned_storage to wrap your classes. Assuming that Derived2 is the largest:

class Storage
{
public:
  Storage(int data, int data2)
  {
    new (&data) Derived1(data, data2);
  }
  Storage(int data, float data2)
  {
    new (&data) Derived2(data, data2);
  }
  Base* getBase()
  {
    return reinterpret_cast<Base*>(&data);
  }
  ~Storage()
  {
    getBase()->Base::~Base();
  }
private:
  std::aligned_storage<sizeof(Derived2)> data;
};