3

考虑一下我有一堆指向不同类的不同对象的指针

class1* obj1;
class2* obj2;
class3* obj3;

他们都有一个方法getArray() 可以返回一个用于后处理的向量。

如果所有这些指针都存储在某种列表中（比如一个 void 指针列表）

当我迭代列表时，有没有办法确定可以使用哪种类型的指针转​​换？

我知道这可以通过类层次结构和从单个类派生上述类来解决。由于其中很多是遗留代码，因此可以完成上述提到的事情吗？

愚蠢的动态不允许我存储指针，这是尝试过的一件事

4

2 回答 2

1

如果 getArray() 始终具有相同的签名（或足够相似以转换为相同的类型） - 您可以做的是为鸭子类型的遗留对象/类的装饰器创建一个类层次结构。您可以使用非模板接口的模板派生类进行包装，而无需过多的打字工作。

这些方面的东西（使用更多的防御性编码，可能是指向遗留对象的智能指针等）：

class IDecorator {
  public:
    virtual std::vector<ubyte> GetArray() = 0;
};

template<typename TLegacyType>
class TDecorator : public IDecorator {
   public:
     TDecorator(const TLegacyType *ip_legacy_object)
       : mp_legacy_object(ip_legacy_object) {}
     std::vector<ubyte> GetArray() override {
        return mp_legacy_object->GetArray();
     }

   private:
     const TLegacyType *mp_legacy_object;        
};
于 2018-03-02T08:21:04.477 回答
0 
template<class R, class Op>
struct any_ptr {
  void* ptr=0;
  R(*f)( void* ) = 0;

  R operate() const { return f(ptr); }
  explicit operator bool() const { return ptr; }
  template<class T>
  T* as() const { return static_cast<T*>(ptr); }

  any_ptr(any_ptr const&)=default;
  any_ptr& operator=(any_ptr const&)=default;
  any_ptr()=default;

  template<class T>
  any_ptr(T* p_in):ptr(p_in),
    f( [](void* ptr)->R{ return Op{}( ptr ); } )
  {}
};

any_ptr支持存储任何支持的指针Op，其中Op返回的是无状态函数对象类型R。

struct get_array_t{
  template<class T>
  auto operator()(T* t)const{ return t->getArray(); }
};
using any_ptr_get_array = any_ptr< std::vector<int>, get_array_t >;

现在any_ptr_get_array可以存储指向任何支持.getArray()返回的类型的指针vector<int>。

致电getArray：

void test(any_ptr_get_array ptr){
  if(ptr){
    auto vec = ptr.operation();
  }
}

这种技术可以称为使用模板生成的 vtable 的手动类型擦除。

于 2018-03-02T11:20:48.663 回答