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*になると思います。何か間違っていますか?