Question

我很好奇删除操作符在基类指针上调用delete时如何知道派生类的大小，这是一个最小的例子：

＆＃xA;＆＃xA;

  class IVariant＆ #xA; {＆＃XA;市民：＆＃XA; virtual~IVariant（）= default;＆＃xA; virtual void print_value（）= 0;＆＃xA;};＆＃xA;＆＃xA; template＆lt; typename T＆gt;＆＃xA; class Variant：public IVariant {};＆＃xA;＆＃xA; template＆lt;＆gt ;＆＃xA;类Variant＆lt; int＆gt ;: public IVariant＆＃xA; {＆＃xA; private：＆＃xA; int m_integer;＆＃xA;＆＃xA; public：＆＃xA; Variant（int integer）：m_integer（integer）{}＆＃xA; void print_value（）override＆＃xA; {＆＃XA; printf（“integer：％i \ n”，m_integer）;＆＃xA; }＆＃xA;};＆＃xA;＆＃xA;模板＆lt;＆gt;＆＃xA;类Variant＆lt; double＆gt ;: public IVariant＆＃xA; {＆＃xA; private：＆＃xA; double m_dbl;＆＃xA;＆＃xA; public：＆＃xA; Variant（double val）：m_dbl（val）{}＆＃xA; void print_value（）override＆＃xA; {＆＃XA; printf（“double：％g \ n”，m_dbl）;＆＃xA; }＆＃xA;};＆＃xA;＆＃xA;模板＆lt;＆gt;＆＃xA;类Variant＆lt; std :: string＆gt ;: public IVariant＆＃xA; {＆＃xA; private：＆＃xA; std :: string m_string;＆＃xA;＆＃xA; public：＆＃xA; Variant（const std :: string＆amp; string）：m_string（string）{}＆＃xA; void print_value（）override＆＃xA; {＆＃XA; printf（“string：％s \ n”，m_string.c_str（））;＆＃xA; }＆＃XA;};＆＃XA;

＆＃XA;＆＃XA; 测试：
＆＃XA;＆＃XA;

 <代码> int main（）＆＃xA; {＆＃xA; IVariant * int_var = new Variant＆lt; int＆gt;（100）;＆＃xA; IVariant * dbl_var = new Variant＆lt; double＆gt;（100.0f）;＆＃xA; IVariant * str_var = new Variant＆lt; std :: string＆gt;（“值为100 \ n”）;＆＃xA;＆＃xA; int_var-＆GT; print_value（）;＆＃XA; dbl_var-＆GT; print_value（）;＆＃XA; str_var-＆GT; print_value（）;＆＃XA;＆＃XA; delete int_var;＆＃xA;删除dbl_var;＆＃xA;删除str_var;＆＃xA;}＆＃xA;

＆＃xA;＆＃xA;

删除操作符只能从基本指针中正确地知道 int_var = variant＆lt; int＆gt ; 所以释放了4个字节， dbl_var = variant＆lt; double＆gt; 所以释放了8个字节， str_var = variant＆lt; std :: string＆gt; 所以它释放了28个字节。

＆＃xA;＆＃xA;

但它是怎么知道的？新的运营商是否存储尺寸＆amp;删除操作符然后可以使用哪个指针来释放正确的字节数？我知道这就是delete []如何适用于数组但是当涉及到派生类时我无法找到任何信息

＆＃xA;

Answer 1

delete和delete[]运营商知道分配的大小，因为运营商new和new[]在分配时为他们保存了一些内务信息。当malloc保存free执行其工作所需的大小信息时，它使用与malloc / free对相同的构思。

确定分配大小与分配内存的类型无关。运算符delete和delete[]甚至不知道要删除的指针的类型，因为它们在void指针上运行。

delete如何从基指针知道派生类的大小？

1 个答案: