C++放置新和初始化

C++ Placement new and initializatoin

本文关键字:初始化 C++      更新时间:2023-10-16

我正在做一些俗气的勾号,我在放置新位置中初始化类对象的各个部分,然后在构造函数中将这些部分留空。我认为这可能是未定义的行为,但我不确定。 我在标准中看到它说"不执行初始化",因为内置类型,所以现在我认为它实际上可能是合法的。 它确实有效,至少在MS Visual Studio中是这样。 我只是想看看它是否实际上是未定义的行为,定义的,或者它是一个灰色区域。

编辑:这不是实际的代码(因为这有点复杂(,但这是我正在做的事情,尽管有更多的字段被传递。这将按预期运行。

#include <iostream>
class CPlacementNew
{
public:
CPlacementNew(double fDbl) : 
m_fRestOfData(fDbl) {}
void *operator new(size_t size, unsigned int iExtra)
{
CPlacementNew *ptr = (CPlacementNew *) malloc(size+iExtra);
ptr->m_iSize = (int) size+iExtra;
return (void *) ptr;
}
void operator delete(void *ptr)
{
free(ptr);
}
void PrintSize()
{
std::cout << "Size = " << m_iSize << std::endl;
}
private:
int m_iSize;
double m_fRestOfData;
};

class CPlacementNewChild: public CPlacementNew
{
public:
CPlacementNewChild(double fDbl1, double fDbl2) : 
CPlacementNew(fDbl1), m_fMoreData(fDbl2) {}
private:
double m_fMoreData;
};
int main()
{
CPlacementNew      *pPW1 = new(16) CPlacementNew(1.0);
CPlacementNewChild *pPWC = new(16) CPlacementNewChild(1.0,2.0);
pPW1->PrintSize();
pPWC->PrintSize();
delete pPW1;
delete pPWC;
}

C++20 建立了通过malloc创建对象的规则,无论语言版本如何,这些规则都是合理的。 这些规则不适用于CPlacementNew因为它的构造函数不是平凡的,但甚至 如果他们这样做,创建包含对象会重用所包含int的存储,给它一个不确定的值([basic.indet]/1(;它相对于">不执行初始化"的状态,因此使用m_iSize是未定义的行为。