C++ typeid演算子の値がサンプルと違う。

Question

現在macOSにて、書籍「やさしいC++　第５版」の写経をしています。
そこで今、typeid演算子を使って派生クラスのオブジェクトのアドレスを入れた基底クラスのポインタ配列からそれがどの派生クラスかを判断するサンプルを実行したところ。
クラス名　だけでなく。
数字 + クラス名が表示されてしまうということが起こっています。

#include <iostream>
#include <typeinfo>
using namespace std;

//Vehicle宣言
class Vehicle{
protected:
    int speed;
public:
    void setSpeed(int s);
    virtual void show() = 0;
};

//Car宣言
class Car : public Vehicle{
private:
    int num;
    double gas;
public:
    Car(int n,double g);
    void show();
};

//Plane宣言
class Plane : public Vehicle{
private:
    int flight;
public:
    Plane(int f);
    void show();
};

//Vehicle関数定義
void Vehicle::setSpeed(int s){
    speed = s;
    cout << "速度を" << speed << "にしました。\n";
}

//Car関数定義
Car::Car(int n, double g){
    num = n;
    gas = g;
    cout << "ナンバー" << num << "ガソリン量" << gas << "の車を作成しました。\n";
}

void Car::show(){
    cout << "車のナンバーは" << num << "です。\n";
    cout << "ガソリン量は" << gas << "です。\n";
    cout << "速度は" << speed << "です。\n";
}

//Plane関数定義
Plane::Plane(int f){
    flight = f;
    cout << "便" << flight << "の飛行機を作成しました。\n";
}

void Plane::show(){
    cout << "飛行機の便は" << flight << "です。\n";
    cout << "速度は" << speed << "です。\n";
}

//main関数
int main(){
    Vehicle* pVc[2];
    
    Car car1(1234,20.5);
    Plane p1n1(232);
    
    pVc[0] = &car1;
    pVc[1] = &p1n1;
    
    for(int i=0; i<2; i++){
        if(typeid(*pVc[i]) == typeid(Car)){
            cout << (i+1) << "番目は" << typeid(Car).name() << "です。\n";
        }else{
            cout << (i+1) << "番目は" << typeid(Car).name() << "ではありません。" << typeid(*pVc[i]).name() << "です。\n";
        }
    }
}

これの実行結果は
ナンバー1234ガソリン量20.5の車を作成しました。
便232の飛行機を作成しました。
1番目は3Carです。
2番目は3Carではありません。5Planeです。
Program ended with exit code: 0

となります。本にあるサンプルではクラス名はしっかり　Car Plane と表記されているのに対し、 3Car 5Plane と表示されてしまいます。何が原因なのでしょうか。

xcodeに原因があるのかと考えterminalから実行してみましたが、結果は同じでした。
よろしくお願いします。

Answer 1

こんにちは。

gcc系のコンパイラではtype_info.name()が返却する型名は「マングル」されています。
「デマングル」すれば見慣れた型名になります。

通常のclangならgccと同じ方法で「デマングル」できました。Apple用にカスタマイズされたclangが同じでいけるかどうか把握していませんが、試してみる価値はあると思います。

#include <iostream>
#include <string>
 
#include <cxxabi.h>
std::string getNameByTypeInfo(std::type_info const& iTypeInfo)
{
    char*   aName;
    int status = 0;
    aName = abi::__cxa_demangle(iTypeInfo.name(), 0, 0, &status);
    std::string ret(aName);
    std::free(aName);
    return ret;
}


struct Foo { };
int main()
{
    std::cout << typeid(Foo).name() << "\n";
    std::cout << getNameByTypeInfo(typeid(Foo)) << "\n";
}

// 実行結果
3Foo
Foo

wandboxで確認してます。

---

因みにVisual C++の場合は、typeid(型).name()でデマングルされた文字列が返却されますので、もしかするとお使いのサンプルはVC++で動作確認されているものではないでしょうか？

Comments

[shibata22]

デマングル化でうまくいきました。ありがとうございます。おっしゃる通り、サンプルコードはVC++を元に進めているものでした。????

[yohhoy]

type_info型のname()メンバ関数は「実装定義の文字列」を返す、つまりコンパイラによって結果がまちまちです。"必ずこのような文字列を返す"という仕様になっていないため、ログ記録やデバッグ時の参考用にとどめたほうがよいです。
https://cpprefjp.github.io/reference/typeinfo/type_info/name.html

[shibata22]

なるほどありがとうございます。