目录
- 语法
- 示例
- 1. 对使用 new 分配的对象进行初始化
- 2. 使用 new 分配的对象的生存期
- new 的工作原理
语法
new其实就是告诉计算机开辟一段新的空间,但是和一般的声明不同的是,new开辟的空间在堆上,而一般声明的变量存放在栈上。通常来说,当在局部函数中new出一段新的空间,该段空间在局部函数调用结束后仍然能够使用,可以用来向主函数传递参数。另外需要注意的是,new的使用格式,new出来的是一段空间的首地址。所以一般需要用指针来存放这段地址。
即 new会返还一个指针,该指针指向一段空间的首地址。
使用 new 为 C++ 类对象分配内存时,将在分配内存后调用对象的构造函数。
使用 delete 运算符解除由 new 运算符分配的内存。 使用 delete[] 运算符删除由 new 运算符分配的数组。
int *a = new int[5];
class A {...} //声明一个类 A
A *obj = new A(); //使用 new 创建对象,会调用类A的构造函数
delete []a;
delete obj; //先调用类A的析构函数,然后释放该对象的空间
示例
1. 对使用 new 分配的对象进行初始化
new 运算符的语法中包含一个可选的 new-initializer 字段。 此字段支持使用用户定义的构造函数进行初始化的新对象。 有关如何完成初始化的详细信息,请参阅初始值设定项。 以下示例说明了如何将初始化表达式与 new 运算符配合使用:
// expre_Initializing_Objects_Allocated_with_new.cpp
class Acct {private:double balance;public:// Define default constructor and a constructor that accepts// an initial balance.Acct() { balance = 0.0; }Acct( double init_balance ) { balance = init_balance; }
};int main(){Acct *CheckingAcct = new Acct; //调用类的默认构造函数 Acct(),创建新的对象CheckingAcctAcct *SavingsAcct = new Acct ( 34.98 ); //调用类的可以赋值的构造函数 Acct(double init_balance),创建新的对象SavingsAcctdouble *HowMuch = new double {43.0 //创建一个double类型对象,赋值使用{}}; // ...
}
2. 使用 new 分配的对象的生存期
使用 new 运算符分配的对象在退出定义它们的范围时不会被销毁。 因为 new 运算符返回一个指向其分配的对象的指针,所以程序必须定义一个具有合适范围的指针来访问和删除这些对象。
// expre_Lifetime_of_Objects_Allocated_with_new.cpp
// C2541 expected
int main() {// Use new operator to allocate an array of 20 characters.char *AnArray = new char[20]; //AnArray在这里声明,只要还在main函数内就可以消除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]; //AnotherArray在这里声明的,如果不在这里消除就删不了了}}delete [] AnotherArray; // Error: pointer out of scope.在这里删除就出错了delete [] AnArray; // OK: pointer still in scope.
}
在上面的示例中,指针 AnotherArray 一旦超出范围,将无法再删除对象。
new 的工作原理
new-expression(包含 new 运算符的表达式)执行三项操作:
- 定位并保留要分配的对象的存储。 此阶段完成后,将分配正确的存储量,但它还不是对象。
- 初始化对象。 初始化完成后,将为成为对象的已分配存储显示足够的信息。
- 返回指向对象的指针,该对象所属的指针类型派生自 new-type-id 或 type-id。 程序使用此指针来访问最近分配的对象。
new 运算符调用函数 operator new。 对于任何类型的数组以及不属于 class、struct 或 union 类型的对象,调用全局函数 ::operator new 来分配存储。 类类型对象可基于每个类定义其自身的 operator new 静态成员函数。
当编译器遇到用于分配类型为 T 的对象的 new 运算符时,它会发出对 T::operator new( sizeof(T) ) 的调用,如果未定义用户定义的 operator new,就会调用 ::operator new( sizeof(T) )。 new 运算符就是用这种方式为对象分配正确的内存量。
即使已为类类型 T 定义了 operator new,也可以显式使用全局运算符 new,如以下示例所示:
T *TObject = ::new TObject;
范围解析运算符 ( :: ) 强制使用全局 new 运算符。