override関数呼び出しの安全性

Question

????いつもありがとうございます

##簡潔な質問

????次のコードは未定義動作やアクセス違反を起こさない（安全）かが知りたいです

#include <iostream>
#include <memory>

struct A {
	virtual ~A() = default;
	virtual void hoge() = 0;
};

struct B : A {
	int b = 0;
	void hoge() override { std::cout << b << std::endl; };
};


int main() {

	std::unique_ptr<A> ptr = std::make_unique<B>();

	ptr->hoge();
}

##質問詳細（考えたこと）

:std::unique_ptr<A> ptr = std::make_unique<B>();

この段落でclass Bの親であるclass Aの情報しかptrには載らないと考えているのですが、もしそうであれば関数hogeで破棄されたメンバ変数bのアドレスから数値を読み取ってきているので未定義動作を引き起こすのだろうかと思いました

しかし仮想関数が良い感じに何かやってくれているのではとも勘ぐってしまいます

##環境
visual studio2019
vc++ latest(c++20)
最適化off

Answer 1

具体的な実装方法を知れば、安心できるのではないでしょうか。
「C++ vtable」あたりで検索してみてください。

Comments

[hoge111]

ありがとうございました????

Answer 2

ポインタ ptr が指しているのは実際はBのインスタンスですから、B::bへのアクセスはまったくもって安全です。

むしろ、存在しない A::hoge() ではなく、ちゃんと B::hoge() が呼ばれることのほうが初学者には不思議なのではないのかな、と思います。

Comments

[hoge111]

ありがとうございました????
class Aにupcastされた時点でclass B分のメモリが解放されるものだと思っていました????

[int32_t]

ええ、ポインタのキャストでメモリの確保や開放は起きないですね。