C++ 操作模板对象答案

【问题标题】：C++ Operating with template objectsC++ 操作模板对象
【发布时间】：2012-08-29 12:44:21
【问题描述】：

我有课

class BarBase {

};

还有一个派生的模板类，它存储了一个指向成员函数的指针和一个指向同一个类的对象的指针

template<typename TypeName> class Bar: public BarBase
{
    void ( TypeName::*action ) ( void );
    TypeName* object;
};

我创建Bar 的实例并将指向它们的指针存储在另一个类Foo 的向量中

class Foo {
    private:
        vector<BarBase*> myBars;
    ...
};

现在问题。 Foo 有一个模板函数

template <typename TypeName>
void Foo::foo( TypeName* object , void ( TypeName::*action ) ( void ) )

在这个函数中，我如何在myBars 元素中找到字段object 和action 等于这个函数的参数？如您所见，我无法直接访问像this->myBars[i]->action 这样的字段，因为这些字段不是（也不能是）BarBase 的成员。

编辑我确实可以比较object。我将virtual size_t getObject (){}; 添加到BarBase 并在Bar 中覆盖它，如virtual size_t getObject (){ return (size_t)this->object; };。然后我比较了两个 size_t ，但我不知道，如何将 action 转换为数字...

【问题讨论】：

这个问题没有正确简单的解决方案。您可以在循环中使用 dynamic_cast 并检查是否 dynamic_cast 返回非空值
@ForEveR 为问题添加了更新。
您可以使用 reinterpret_cast 将函数指针转换为 void*，但这不是正确的方法。
@ForEveR：指向成员函数的指针不是函数指针。
@ForEveR 可能导致未定义的行为，void ptr 和成员 fn 指针的大小不同

标签： c++ templates pointers compare

【解决方案1】：

最简单的解决方案是让基类多态，并使用dynamic_cast判断它是否具有预期的类型：

class BarBase {
public:
    virtual ~BarBase() {}  // virtual function required for polymorphism
};

Bar<TypeName>* bar = dynamic_cast<Bar<TypeName>*>(myBars[i]);
if (bar && bar->object == object && bar->action == action) {
    // it's a match
}

这确实增加了一些支持 RTTI 的开销；在我的脑海中，我想不出任何不增加开销的明确方法。

【讨论】：

请注意，这绝不会将Bar<Base> 和Bar<Derived> 视为相同，即使它们包含指向同一个最派生对象和同一个成员的指针。
@MikeSeymour，感谢您的回答，很好的解决方案。我可以问你，为什么需要虚拟析构函数以及这个概念是如何工作的？谢谢！
@Kolyunya:dynamic_cast 通过使用运行时类型信息 (RTTI) 来询问对象其动态类型是否为 Bar<TypeInfo>。这只有在类型是 polymorphic 时才有可能，这意味着它至少有一个虚函数。如果您不需要任何虚函数，那么实现此目的的一种简单方法是将析构函数设为虚函数。

【解决方案2】：

如果你不想使用 Mike 变体（我更喜欢他的变体），你可以使用类似的东西。

class BarBase 
{
public:
   virtual ~BarBase() { }
   virtual void* getObject() { return 0; }
   virtual const char* getFunctionName() { return 0; }
};

template<typename T>
class Bar : public BarBase
{
public:
   Bar(T* obj, void (T::*func) (void)):object(obj), action(func)
   {
   }
   virtual void* getObject() { return object; }
   virtual const char* getFunctionName() { return typeid(action).name(); }
   T* object;
   void (T::*action)(void);
};

http://liveworkspace.org/code/d79e33d4597ee209645026b2100330f3

编辑。

对不起。这不是问题的解决方案，因为typeid(&S::action).name() 可能等于typeid(&S::other_action).name()。

此外，您可以对向量中的所有对象都使用dynamic_cast 或static_cast。

class BarBase 
{
public:
   virtual ~BarBase() { }
   virtual void* getObject() const { return 0; }
};

template<typename T>
class Bar : public BarBase
{
public:
   Bar(T* obj, void (T::*func) (void)):object(obj), action(func)
   {
   }
   virtual void* getObject() const { return object; }
   T* object;
   void (T::*action)(void);
};

for (auto pos = objects.begin(); pos != objects.end(); ++pos)
{
      if ((*pos)->getObject() == &p)
      {
         auto bar = static_cast<Bar<S>*>(*pos);
         if (bar->action == act)
         {
            // right object founded.
         }
      }
   }

http://liveworkspace.org/code/87473a94411997914906c22ef0c31ace

【讨论】：