1

typeid がランタイム オブジェクト タイプを出力しないコードがあります。コード例は次のとおりです。

class interface
{
  public:
    virtual void hello()
      {
        cout << "Hello interface: " << typeid(interface).name() << endl;
      }

    virtual ~interface() {}
};

class t1 : public interface
{
  public:
    virtual void hello ()
      {
        cout << "Hello t1: " << typeid(t1).name() << endl;
      }
};

class t2 : public t1
{
  public:
    void hello ()
      {
        cout << "Hello t2: " << typeid(t2).name() << endl;
      }
};

......
  interface *p;
  t1 *p1;
  t2 *p2, *pt2;
  t3 *p3, *pt3;

  pt2 = new t2;
  std::cout << "type1: " << abi::__cxa_demangle(typeid(pt2).name(), 0, 0, &status) << "\n\n";

  p = pt2;
  assert(p != NULL);
  p->hello();
  std::cout << "type2: " << abi::__cxa_demangle(typeid(p).name(), 0, 0, &status) << "\n\n";

  p1 = dynamic_cast<t1 *>(p);
  assert(p1 != NULL);
  p1->hello();
  std::cout << "type3: " << abi::__cxa_demangle(typeid(p1).name(), 0, 0, &status) << "\n\n";

  p2 = dynamic_cast<t2 *>(p);
  assert(p2 != NULL);
  p2->hello();
  std::cout << "type4: " << abi::__cxa_demangle(typeid(p2).name(), 0, 0, &status) << "\n\n";

「g++ -g -o ...」でプログラムをビルドします。出力は次のとおりです。

type1: t2*

こんにちは t2: 2t2
type2: インターフェイス*

こんにちは t2: 2t2
type3: t1*

こんにちは t2: 2t2
type4: t2*

印刷出力は正しいようです。しかし、RTTIでは type2 もt2*になると思います。ただし、出力はinterface*です。type3 もt2*になると思います。何か間違っていますか?

4

1 に答える 1