c++中sizeof的行为

Question

当我在 c++ 中做 sizeof 时，我一定会得到“整个对象”吗？我问是因为我即将使用 memcpy 将对象复制到内存的其他区域（可能从一开始就是一个愚蠢的想法，对吧？）。

我担心的是我可能无法获得整个对象，而只能获得属于它现在被投射到的类的部分。这有什么意义还是我很困惑？

编辑示例

 class A{ public:  int a = 123; };
 class B: public A{ public: int b = 321; };
 class C : public B{ public: int c = 333; };

 C c_ = C();
 B b_ = C();
 A a_ = C();

std::cout << sizeof(a_) << " , " << sizeof(b_) << " , " << sizeof(c_) << std::endl;

似乎给了我 4,8,12。

我想我需要进行动态转换来弄清楚如何获取我在每种情况下构造为“C”类的“整体”对象？

Answer 1

sizeof 将始终返回对象的 static 大小。请注意，在您的示例中，它将与真实的对象大小一致，因为没有多态性；当你这样做时

A a = B();

a is 类型为A - 你刚刚用新的B 对象初始化了一个新的A 对象，这导致了切片（a 被初始化为B() 与 A 共有的字段）。

一个更好的例子是：

B b;
A *a = &b;

在这种情况下，*a 确实是动态类型B，但sizeof(*a) 仍将返回sizeof(A)，而不是sizeof(B)。

有几种方法可以获取对象的动态大小：

• 在施工时将其保存到字段中；
• 理论上，您可以定义一个虚拟方法来执行return sizeof(*this); 并在所有派生类中重新定义它。

话虽如此，这最后一种方法不会特别有用，因为对诸如多态类之类的非平凡类型执行memcpy 是未定义的行为（因此，即使是第一种方法也是如此，正如我想象的那样会想用多态类型来做到这一点）。

---

解决复制多态类问题的常用方法是接受这样一个事实，即它们必须存在于堆中并定义 clone() 方法来执行 virtual A * clone() {return new B(*this);}（其中 B 是派生类）每个派生类，并在需要副本时调用clone()。

请注意，您可以使用更微妙的技巧；一旦我有一个类层次结构，它有一个虚拟方法分派到每个派生类的位置new，一个用于析构函数，但你真的必须知道你在做什么（在我的例子中，我通过@987654343调用它们@ 包含每个派生类的实例，因此大小和对齐不是问题）。