C++，C++/CX に挑戦！

　typeid演算子

　typeid演算子は、多相的オブジェクトのように、実行時に型が決定するような場合、その実行時型情報 RTTI（Run-Time Type Information）を取得できる演算子です。
多相的クラス型のオブジェクトを typeid演算子のオペランドに与えると、実行時に決定された型を表現する const type_info型クラスオブジェクトへの参照が返されます。

　例えば、多相的クラスオブジェクト x が実行時において Bbb型であるような場合、

　　　std::cout << typeid(x).name(); // ★

と記述した場合には、
｢ class Bbb ｣ と出力されます。

★の name() は、type_infoクラスのメンバ関数です。

　　　typeid(x)

で、typeid演算子のオペランドに x を与えています。すると、実行時に決定された型 Bbb を表現する type_infoクラスオブジェクトへの参照が返されます。
したがって、

　　　std::cout << typeid(x).name();

は、例えば、

　　　const type_info& ref = typeid(x);
　　　std::cout << ref.name() << '\n';

あるいは、

　　　const type_info* ptr = &typeid(x);
　　　std::cout << ptr->name();

と同じ意味です。

// ------------------------------------
#include <iostream>

class Aaa {
    virtual void f() const { };
};

class Bbb : public Aaa {
    void f() const { };
};

void func(Aaa& x);

int main() {
    Bbb obj_b;
    Aaa& ref = obj_b;
    func(obj_b);
}

void func(Aaa& x) {
    std::cout << typeid(x).name() << '\n';

    const type_info& ref = typeid(x);
    std::cout << ref.name() << '\n';

    const type_info* ptr = &typeid(x);
    std::cout << ptr->name() << '\n';
}
// ------------------------------------