C++ new, delete

语法

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()，创建新的对象CheckingAcct
    Acct *SavingsAcct = new Acct ( 34.98 );	//调用类的可以赋值的构造函数 Acct(double init_balance)，创建新的对象SavingsAcct
    
    double *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 运算符。