0

Here is some code:

#include <typeinfo>
#include <assert.h>
#include <vector>

class Super {};

class Sub1 : public Super {};

class Sub2 : public Super {};

int main() {
    std::vector<Super*> vec;

    vec.push_back(new Sub1);
    vec.push_back(new Sub2);

    assert(typeid(vec[0]) == typeid(vec[1]));
    assert(typeid(vec[0]) != typeid(vec[1]));
}

Unfortunately the first assert passes, and the second does not. I am not surprised by that result, but it would have been nice to be able to discern types that way.

My (sort of hackish) workaround:

#include <typeinfo>
#include <assert.h>
#include <vector>

enum SubTypeEnum {
    Sub1_T,
    Sub2_T
};

class Super {
    SubTypeEnum _type;
public:
    Super(SubTypeEnum __type) : _type(__type) {}
    SubTypeEnum type() { return _type; }
};

class Sub1 : public Super {
public:
    Sub1() : Super(Sub1_T) {}
};

class Sub2 : public Super {
public:
    Sub2() : Super(Sub2_T) {}
};

int main() {
    std::vector<Super*> vec;

    vec.push_back(new Sub1);
    vec.push_back(new Sub2);

    assert(vec[0]->type() != vec[1]->type());
    assert(vec[0]->type() == vec[1]->type());
}

This produces the desired result, but seems messy. Is there a better way to find out which type I am dealing with?

4

1 に答える 1

1

まずtypeinfo、少し間違って使用しています。ポインターに適用するとポインターの型が返されますが、参照解除されたポインターに適用すると、基本型に少なくとも 1 つの仮想がある限り、指しているオブジェクトの実際の型が返されます。関数 (通常はデストラクタになります)。したがって、次のように動作します。

class Super {
  public:
  virtual ~Super() {}
};

class Sub1 : public Super {};

class Sub2 : public Super {};

int main() {
    std::vector<Super*> vec;

    vec.push_back(new Sub1);
    vec.push_back(new Sub2);

    assert(typeid(vec[0])  == typeid(vec[1]));
    assert(typeid(*vec[0]) != typeid(*vec[1]));
}

第二に、この種のタイプの切り替えを行うことは、通常、何か間違ったことをしている兆候と見なされます。たとえば、代わりに

void foo(Base* v) {
  //Here SOMETHING and SOMETHING_ELSE are constants we calculate elsewhere.
  if( typeid(*v)==SOMETHING ) { cout<<"Got a SOMETHING"<<endl; }
  else if (typeid(*v)==SOMETHING_ELSE ) { cout<<"Got a SOMETHING ELSE"<<endl; }
}

またはそれとほぼ同等

void foo(Base* v) {
  if( dynamic_cast<Something*>(v) ) { cout<<"Got a SOMETHING"<<:endl; }
  else if ( dynamic_cast<SomethingElse*>(v) { cout<<"Got a SOMETHING ESLE"<<endl; }

機能を基本クラスに追加するのが通常です。

class Base
{
  public:
    virtual void printMessage()=0;
};

class Something : public Base
{
   void printMessage() { cout<<"Got a SOMETHING"<<endl; }
}

class SomethingElse : public Base
{
   void printMessage() { cout<<"Got a SOMETHING ELSE"<<endl; }
}

void foo(Base * v)
{
  v->printMessage();
}
于 2013-04-08T03:56:24.517 に答える