C++放置新和初始化
C++ Placement new and initializatoin
我正在做一些俗气的勾号,我在放置新位置中初始化类对象的各个部分,然后在构造函数中将这些部分留空。我认为这可能是未定义的行为,但我不确定。 我在标准中看到它说"不执行初始化",因为内置类型,所以现在我认为它实际上可能是合法的。 它确实有效,至少在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
是未定义的行为。
相关文章:
- 是否可以初始化不可复制类型的成员变量(或基类)
- C++使用整数的压缩数组初始化对象
- C++初始化基类
- 多成员Constexpr结构初始化
- 复制列表初始化的隐式转换的等级是多少
- 内联映射初始化的动态atexit析构函数崩溃
- 如何在C++中初始化嵌套类中的2个memeber
- 如何声明特征矩阵,然后通过嵌套循环初始化它
- 没有用于初始化C++中的变量模板的匹配构造函数
- 在未初始化映射的情况下,将值插入到映射的映射中
- C++成员初始化
- 为什么在C++中首先初始化成员类
- 同时具有"聚合初始化"和"模板推导"
- 初始化具有非默认构造函数的std::数组项的更好方法
- 是否可以在编译时初始化数组,以便在运行时不会花费时间?
- 我可以使用条件运算符初始化C风格的字符串文字吗
- 在C和C++中初始化结构中的数组
- 标准是否使用多余的大括号(例如 T{{{10}}})定义列表初始化?
- 在函数内部的声明中初始化数组,并在外部使用它
- 继承:构造函数,初始化C++11中基类的类C数组成员