尝试分配和初始化指定或占位符类型的对象的对象或数组,并返回对象(或数组的初始对象)的适当类型化非零指针。
语法
new-expression:
::
选择newnew-placement选择new-type-idnew-initializer选择
::
选择newnew-placement选择(type-id)new-initializer选择
new-placement:
(
expression-list
)
new-type-id:
type-specifier-seq
new-declarator
选择
new-declarator:
ptr-operator
new-declarator
选择
noptr-new-declarator
noptr-new-declarator:
[
expression
]
attribute-specifier-seq
选择
noptr-new-declarator
[
constant-expression
]
attribute-specifier-seq
选择
new-initializer:
(
expression-list
选择)
braced-init-list
注解
如果失败, new 则返回零或引发异常。 有关详细信息,请参阅 “ new 和 delete 运算符”。 可以通过编写自定义异常处理例程,并使用函数名称作为参数调用 _set_new_handler 运行时库函数来更改此默认行为。
有关如何在 C++/CLI 和 C++/CX 中的托管堆上创建对象的信息,请参阅 gcnew。
注释
Microsoft C++组件扩展(C++/CX)支持 new 添加 vtable 槽项的关键字。 有关详细信息,请参阅 new (vtable 中的新槽)
当用于为C++类对象分配内存时 new ,在分配内存后调用对象的构造函数。
delete使用运算符解除分配由该运算符分配的new内存。 使用 delete[] 运算符删除由该运算符分配的 new 数组。
以下示例分配并释放大小 dim 为 10 的二维字符数组。 分配多维数组时,除第一个维度之外的所有维度必须是计算结果为正值的常量表达式。 最左侧的数组维度可以是计算结果为正值的任何表达式。 使用 new 运算符分配数组时,第一个维度可以为零; new 运算符返回唯一指针。
char (*pchar)[10] = new char[dim][10];
delete [] pchar;
type-id不能包含const、volatile类声明或枚举声明。 以下表达式格式不正确:
volatile char *vch = new volatile char[20];
new运算符不会分配引用类型,因为它们不是对象。
new运算符不能用于分配函数,但可用于向函数分配指针。 以下示例分配并释放一个由七个指针构成的数组,这些指针指向返回整数的函数。
int (**p) () = new (int (*[7]) ());
delete p;
如果使用不带任何额外参数的运算符new,并使用或/EHa/EHs选项进行编译/GX,则编译器在构造函数引发异常时生成调用运算符delete的代码。
以下列表描述了以下语法 new元素:
new-placement
提供一种在重载 new时传递额外参数的方法。
type-id
指定要分配的类型;它可以是内置类型或用户定义的类型。 如果类型规范很复杂,可以用括号括起来以强制绑定顺序。 该类型可以是一个占位符(auto),其类型由编译器确定。
new-initializer
为初始化的对象提供值。 不能为数组指定初始值设定项。 仅当类具有默认构造函数时,该 new 运算符才会创建对象的数组。
noptr-new-declarator
指定数组的边界。 分配多维数组时,除第一个维度外的所有维度必须是计算结果 std::size_t为可转换为正值的常量表达式。 最左侧的数组维度可以是计算结果为正值的任何表达式。 应用于 attribute-specifier-seq 关联的数组类型。
示例:分配和释放字符数组
下面的代码示例分配字符数组和类 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 运算符
如果使用运算符的 new 放置形式(具有比大小更多的参数的窗体),则如果构造函数引发异常,编译器不支持运算符的 delete 放置形式。 例如:
// expre_new_Operator2.cpp
// C2660 expected
class 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 can't occur.
A* pa2 = new(__FILE__, __LINE__) A(20);
} catch (...) {
}
}
int main() {
A a;
}
初始化使用 分配的对象
运算符的语法new中包含可选new-initializer字段。 此字段允许使用用户定义的构造函数初始化新对象。 有关如何完成初始化的详细信息,请参阅 初始值设定项。 以下示例演示如何对运算符使用初始化表达式 new :
// expre_Initializing_Objects_Allocated_with_new.cpp
class 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 };
// ...
}
在此示例中,使用运算符分配new对象CheckingAcct,但未指定默认初始化。 因此,将调用类 Acct()的默认构造函数。 然后,以相同的方式分配对象,只不过该对象 SavingsAcct 显式初始化为 34.98。 由于 34.98 的类型, double因此调用采用该类型的参数的构造函数来处理初始化。 最后,非类类型 HowMuch 初始化为 43.0。
如果对象是类类型且该类具有构造函数(如前面的示例中),则仅当满足以下条件之一时,该对象才能由 new 运算符初始化:
初始值设定项中提供的参数与构造函数的参数匹配。
该类具有一个默认构造函数(一个无需参数调用的构造函数)。
使用 new 运算符分配数组时,无法执行显式每元素初始化;仅调用默认构造函数(如果存在)。 有关详细信息,请参阅 默认参数。
如果内存分配失败(operator new 返回值 0),则不执行初始化。 此行为可防止尝试初始化不存在的数据。
与函数调用一样,未定义初始化表达式的计算顺序。 此外,不应依赖在内存分配发生之前完全计算这些表达式。 如果内存分配失败, 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];
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 的工作原理
new-expression (包含运算符的new表达式)执行三项作:
查找并保留要分配的对象或对象的存储。 完成此阶段后,将分配正确的存储量,但尚不是对象。
初始化对象(s)。 初始化完成后,将为分配的存储提供足够的信息作为对象。
返回指向派生自
new-type-id或type-id的指针类型的对象的指针的指针。 程序使用此指针访问新分配的对象。
运算符 new 调用函数 operator new。 对于任何类型的数组,对于不是classstruct、或union类型的对象,::operator new将调用全局函数来分配存储。 类类型对象可以基于每个类定义自己的 operator new 静态成员函数。
当编译器遇到new运算符来分配类型的T对象时,它会调用T::operator new( sizeof(T) )或未定义::operator new( sizeof(T) )用户定义的operator new对象。 操作员如何 new 为对象分配正确的内存量。
注释
要的参数 operator new 的类型 std::size_t。 此类型在 direct.h、malloc.h>、<memory.h>、search.h>、<stddef.h、<<stdio.h、<stdlib.h>>>、<string.h 和 <time.h>> 中定义。 <><
语法中的选项允许指定new-placement(请参阅运算符语法new)。 参数 new-placement 只能用于用户定义的实现 operator new;它允许将额外的信息传递给 operator new。 具有
字段的 new-placement 最初意图是允许在用户指定的地址分配依赖于硬件的对象。
注释
虽然前面的示例只显示字段中的一个参数 new-placement ,但对可以传递给 operator new 这种方式的额外参数数没有限制。
operator new即使已为类类型T定义,也可以显式使用全局运算符new,如以下示例所示:
T *TObject = ::new TObject;
范围解析运算符 (::) 强制使用全局 new 运算符。