C++编程中new运算符的使用学习教程

时间:2021-05-20

new运算符用作从自由存储为 type-name 的对象或对象数组分配内存,并将已适当分类的非零指针返回到对象。

[::] new [placement] new-type-name [new-initializer][::] new [placement] ( type-name ) [new-initializer]

备注
如果不成功,则 new 将返回零或引发异常;有关详细信息,请参阅 new 和 delete 运算符。 通过编写自定义异常处理例程并调用 _set_new_handler 运行库函数(以您的函数名称作为其参数),可以更改此默认行为。
有关如何在托管堆上创建对象的信息,请参阅 gcnew。
使用 new 为 C++ 类对象分配内存时,将在分配内存后调用对象的构造函数。
使用 delete 运算符可解除分配使用 new 运算符分配的内存。
以下示例先分配然后释放一个二维字符数组,数组的大小为 dim x 10。 在分配多维数组时,除第一个维度之外的所有维度必须是计算结果为正值的常量表达式;最左侧的数组维度可以是计算结果为正值的任何表达式。 在使用 new 运算符分配数组时,第一个维度可为零 - new 运算符将返回一个唯一指针。

char (*pchar)[10] = new char[dim][10];delete [] pchar;

type-name 不能包含 const、volatile、类声明或枚举声明。 因此,以下表达式是非法的:

volatile char *vch = new volatile char[20];

new 运算符不会分配引用类型,因为这些类型不是对象。
new 运算符无法用于分配函数,但可用于分配指向函数的指针。 下面的示例为返回整数的函数分配然后释放一个包含 7 个指针的数组。

int (**p) () = new (int (*[7]) ());delete *p;

如果使用不带任何额外参数的 new 运算符,并用 /GX、/EHa 或 /EHs 选项进行编译,则编译器将在构造函数引发异常时生成代码来调用运算符 delete。
以下列表描述了 new 的语法元素:
placement
如果重载 new,则提供了一种传递附加参数的方式。
type-name
指定要分配的类型;它可以是内置类型,也可以是用户定义的类型。 如果类型规范非常复杂,则可用括号将其括起来以强制实施绑定顺序。
initializer
为初始化对象提供值。 不能为数组指定初始值设定项。 仅当类具有默认构造函数时,new 运算符才会创建对象的数组。
示例
下面的代码示例分配类 CName 的一个字符数组和一个对象,然后释放它们。

// expre_new_Operator.cpp// compile with: /EHsc#include <string.h>class CName {public: enum { sizeOfBuffer = 256 }; char m_szFirst[sizeOfBuffer]; char m_szLast[sizeOfBuffer];public: void SetName(char* pszFirst, char* pszLast) { strcpy_s(m_szFirst, sizeOfBuffer, pszFirst); strcpy_s(m_szLast, sizeOfBuffer, pszLast); }};int main() { // Allocate memory for the array char* pCharArray = new char[CName::sizeOfBuffer]; strcpy_s(pCharArray, CName::sizeOfBuffer, "Array of characters"); // Deallocate memory for the array delete [] pCharArray; pCharArray = NULL; // Allocate memory for the object CName* pName = new CName; pName->SetName("Firstname", "Lastname"); // Deallocate memory for the object delete pName; pName = NULL;}

如果使用 new 运算符的放置新形式(带有参数和分配大小的形式),如果构造函数引发异常,则编译器不支持 delete 运算符的放置形式。 例如:

// expre_new_Operator2.cpp// C2660 expectedclass A {public: A(int) { throw "Fail!"; }};void F(void) { try { // heap memory pointed to by pa1 will be deallocated // by calling ::operator delete(void*). A* pa1 = new A(10); } catch (...) { } try { // This will call ::operator new(size_t, char*, int). // When A::A(int) does a throw, we should call // ::operator delete(void*, char*, int) to deallocate // the memory pointed to by pa2. Since // ::operator delete(void*, char*, int) has not been implemented, // memory will be leaked when the deallocation cannot occur. A* pa2 = new(__FILE__, __LINE__) A(20); } catch (...) { }}int main() { A a;}

初始化使用 new 运算符分配的对象
可选的 initializer 字段包含在 new 运算符的语法中。 这样就可以使用用户定义的构造函数来初始化新对象。 有关如何执行初始化的详细信息,请参阅初始值设定项。 以下示例演示如何将初始化表达式与 new 运算符一起使用:

// expre_Initializing_Objects_Allocated_with_new.cppclass Acct{public: // Define default constructor and a constructor that accepts // an initial balance. Acct() { balance = 0.0; } Acct( double init_balance ) { balance = init_balance; }private: double balance;};int main(){ Acct *CheckingAcct = new Acct; Acct *SavingsAcct = new Acct ( 34.98 ); double *HowMuch = new double ( 43.0 ); // ...}

在此示例中,使用 CheckingAcctnew 运算符分配了 对象,但未指定默认初始化。 因此,调用了类的默认构造函数 Acct()。 然后,以相同的方式分配了对象 SavingsAcct,只不过将它显式初始化为 34.98。 由于 34.98 是类型 double,因此调用了采用该类型的参数的构造函数来处理初始化。 最后,将非类类型 HowMuch 初始化为 43.0。
如果对象是类类型,并且该类具有构造函数(如前面的示例所示),则仅当满足以下条件之一时,new 运算符才能初始化该对象:
初始值设定项中提供的参数与构造函数的参数一致。
该类有一个默认构造函数(可在没有参数的情况下调用的构造函数)。
访问控制和二义性控制根据operator new多义性和使用特殊成员函数的初始化中所述的规则对 和构造函数执行。
在使用 new 运算符分配数组时,无法对每个元素执行显式初始化;只调用了默认构造函数(如果有)。 有关详细信息,请参阅默认参数。
如果内存分配失败(operator new 的返回值为 0),则不执行初始化。 这可防止尝试初始化不存在的数据。
与函数调用一样,未定义初始化表达式的计算顺序。 此外,您不应指望这些表达式能在执行内存分配前完全计算。 如果内存分配失败,并且 new 运算符返回零,则可能不会完全计算初始值设定项中的某些表达式。
使用 new 运算符分配的对象的生存期
在退出分配有 new 运算符的对象的定义范围时,将不会销毁这些对象。 由于 new 运算符将返回指向其所分配的对象的指针,因此程序必须使用合适的范围定义指针才能访问这些对象。 例如:

// expre_Lifetime_of_Objects_Allocated_with_new.cpp// C2541 expectedint main(){ // Use new operator to allocate an array of 20 characters. char *AnArray = new char[20]; for( int i = 0; i < 20; ++i ) { // On the first iteration of the loop, allocate // another array of 20 characters. if( i == 0 ) { char *AnotherArray = new char[20]; } } delete [] AnotherArray; // Error: pointer out of scope. delete [] AnArray; // OK: pointer still in scope.}

在上面的示例中,指针 AnotherArray 一旦超出范围,将无法再删除对象。

new 的工作方式
allocation-expression(包含 new 运算符的表达式)执行三类操作:
定位并保留要分配的对象的存储。 此阶段完成后,将分配正确的存储量,但它还不是对象。
初始化对象。 初始化完成后,将为成为对象的已分配存储显示足够的信息。
返回指向派生自 new-type-name 或 type-name 的指针类型的对象的指针。 程序使用此指针来访问最近分配的对象。
new 运算符调用函数 operator new。 对于任何类型的数组以及不属于 class、struct 或 union 类型的对象,调用全局函数 ::operator new 来分配存储。 类类型对象可基于每个类定义其自己的 operator new 静态成员函数。
当编译器遇到用于分配 type 类型的对象的 new 运算符时,它将发出对 type::operator new( sizeof( type ) ) 的调用;或者,如果不存在用户定义的 operator new,则调用 ::operator new( sizeof( type ) )。 因此,new 运算符可以为对象分配正确的内存量。

声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。

相关文章