基底クラスからのdynamic_castがなぜか失敗する

Question

以下のようにToken及びIntegerTokenを定義し

class Token {
public:
            
    Token(const Location _location, const TokenType _type);
    virtual ~Token() {}
            

    ig::token::Location location;

    ig::token::TokenType type;
            
};
        
/// Int型のリテラルを表します。
class IntegerToken: public Token {
public:
            
    int value;
            
    IntegerToken(const Location _location, const int _value);
};

// 実装は省略（ただの変数割り当てです。）

vectorに入れると型情報が消えるので、
それをこのようにダウンキャストしようとしました。

let value = 120;
let itoken = ig::token::IntegerToken({0, 0}, value);
    
var vector = std::vector<ig::token::Token>();
vector.push_back(itoken);
    
let _pitoken = dynamic_cast<ig::token::IntegerToken*>(&vector[0]);
print(_pitoken->value);

なぜか、これでdynamic_castに失敗し、nulptrが帰ってきます。
どうしてでしょうか...?

（let var printはそれぞれ、const auto auto cout...のマクロです。）

Answer 1

ig::token::IntegerToken itoken = ig::token::IntegerToken({ 0, 0 }, 200);
ig::token::Token token = itoken;
ig::token::IntegerToken *pitoken = dynamic_cast<ig::token::IntegerToken*>(&token);

とした場合にnullptrが返るのと同じです。

std::vector<ig::token::Token>に入れてしまっているのでToken部分のみが格納され、IntegerTokenではなくなっています。

Comments

[HihuSnow]

なるほど！C++では、Vectorに入れる(基底クラスにキャストする)と型情報が欠落するだけではなく、値そのものが消えるんですね！

ポインタの配列にすれば良さそうかな？
ありがとうございます！

[HihuSnow]

```c++
let value = 120;
let itoken = new ig::token::IntegerToken({0, 0}, value);

var vector = std::vector<ig::token::Token*>();
vector.push_back(itoken);

let _pitoken = dynamic_cast<ig::token::IntegerToken*>(vector[0]);
print(_pitoken->value);
```
解決した方法

[yohhoy]

FYI: ここでは「スライシング(slicing)」が起きており、本来の型情報が欠落というよりも、意図せずig::token::Token型オブジェクトが生成されています。

https://teratail.com/questions/105052