我什么时候应该在C ++中使用new关键字?

时间:2009-03-17 16:44:56

标签: c++ pointers reference new-operator keyword

我一直在使用C ++,我一直想知道 new 关键字。简单地说,我应该使用它吗?

1)使用 new 关键字...

MyClass* myClass = new MyClass();
myClass->MyField = "Hello world!";

2)没有 new 关键字......

MyClass myClass;
myClass.MyField = "Hello world!";

从实现的角度来看,它们看起来并没有什么不同(但我确定它们是......)但是,我的主要语言是C#,当然第一种方法就是我习惯的方法。 / p>

难度似乎是方法1更难用于std C ++类。

我应该使用哪种方法?

更新1:

我最近使用内存的 new 关键字(或免费商店)用于超出范围的大型数组(即从一个函数返回)。在我使用堆栈之前,导致一半的元素在范围之外被破坏,切换到堆使用确保元素是完整的。耶!

更新2:

我的一位朋友最近告诉我使用new关键字的简单规则;每次键入new时,请键入delete

Foobar *foobar = new Foobar();
delete foobar; // TODO: Move this to the right place.

这有助于防止内存泄漏,因为您总是必须将删除放在某处(即,当您将其剪切并粘贴到析构函数或其他方式时)。

11 个答案:

答案 0 :(得分:285)

方法1(使用new

  • free store上的对象分配内存(这通常与相同)
  • 要求您稍后明确delete您的对象。 (如果不删除它,可能会造成内存泄漏)
  • delete之前,内存会保持分配状态。 (即您可以return使用new创建的对象)
  • 除非指针为delete d,否则问题中的示例将为leak memory;并且应始终被删除,无论采用哪种控制路径,或者是否抛出异常。

方法2(不使用new

  • 堆栈上的对象分配内存(所有局部变量都去了)通常可用于堆栈的内存较少;如果分配的对象太多,则存在堆栈溢出的风险。
  • 以后您不需要delete
  • 超出范围时不再分配内存。 (即你不应该return指向堆栈上对象的指针)

至于哪一个使用;鉴于上述限制,您可以选择最适合您的方法。

一些简单的案例:

  • 如果您不想担心调用delete,(以及可能导致memory leaks),则不应使用new
  • 如果您想从函数返回指向对象的指针,则必须使用new

答案 1 :(得分:111)

两者之间存在重要差异。

未使用new分配的所有内容与C#中的值类型非常相似(人们经常说这些对象是在堆栈上分配的,这可能是最常见/最明显的情况,但并非总是如此。更精确,不使用new分配的对象具有自动存储持续时间 分配有new的所有内容都在堆上分配,并返回指向它的指针,与C#中的引用类型完全相同。

在堆栈上分配的任何内容都必须具有一个常量大小,在编译时确定(编译器必须正确设置堆栈指针,或者如果对象是另一个类的成员,则必须调整其大小)其他课程)。这就是为什么C#中的数组是引用类型的原因。它们必须是,因为使用引用类型,我们可以在运行时决定要求多少内存。这同样适用于此。只有具有常量大小(可在编译时确定的大小)的数组才能分配自动存储持续时间(在堆栈上)。必须通过调用new来在堆上分配动态大小的数组。

(这就是与C#有任何相似之处的地方)

现在,在堆栈上分配的任何内容都具有“自动”存储持续时间(您实际上可以将变量声明为auto,但如果未指定其他存储类型,则这是默认值,因此关键字未真正使用在实践中,但这是它的来源)

自动存储持续时间意味着它的确切含义,变量的持续时间是自动处理的。相比之下,堆上分配的任何内容都必须由您手动删除。 这是一个例子:

void foo() {
  bar b;
  bar* b2 = new bar();
}

此函数创建三个值得考虑的值:

在第1行,它在堆栈上声明了b类型的变量bar(自动持续时间)。

在第2行,它在堆栈上声明bar指针b2(自动持续时间),调用new,在{1}上分配一个bar对象堆。 (动态持续时间)

当函数返回时,将发生以下情况: 首先,b2超出范围(破坏的顺序始终与构造顺序相反)。但是b2只是一个指针,所以没有任何反应,它所占用的内存就被释放了。而且重要的是,它指向(堆上的bar实例)的内存不会被触及。仅释放指针,因为只有指针具有自动持续时间。 其次,b超出了范围,因此它具有自动持续时间,所以它的析构函数被调用,内存被释放。

堆上的bar实例?它可能还在那里。没人打扰删除它,所以我们泄露了记忆。

从这个例子中,我们可以看到任何具有自动持续时间的内容保证在超出范围时调用析构函数。那很有用。但是,在堆上分配的任何内容都会持续,只要我们需要它,并且可以动态调整大小,就像数组一样。这也很有用。我们可以用它来管理我们的内存分配。如果Foo类在其构造函数中在堆上分配了一些内存,并在其析构函数中删除了该内存,该怎么办?然后我们可以充分利用两个世界,安全的内存分配,保证再次释放,但没有强制一切都在堆栈上的限制。

这几乎是大多数C ++代码的工作原理。 例如,查看标准库的std::vector。这通常在堆栈上分配,但可以动态调整大小和调整大小。它通过在内部根据需要在堆上分配内存来实现。该类的用户永远不会看到这一点,因此没有机会泄漏内存,或者忘记清理你分配的内容。

这个原则称为RAII(资源获取是初始化),它可以扩展到必须获取和释放的任何资源。 (网络套接字,文件,数据库连接,同步锁)。所有这些都可以在构造函数中获取,并在析构函数中释放,因此您可以保证获得的所有资源都将被释放。

作为一般规则,永远不要直接从高级代码中使用new / delete。始终将它包装在一个可以为您管理内存的类中,这将确保它再次被释放。 (是的,此规则可能有例外。特别是,智能指针要求您直接调用new,并将指针传递给其构造函数,然后接管并确保正确调用delete。但这仍然是一个非常重要的经验法则。

答案 2 :(得分:13)

  

我应该使用哪种方法?

这几乎不是由您的输入首选项决定的,而是由上下文决定的。如果您需要将对象保留在几个堆栈中,或者如果它对于堆栈来说太重,则将其分配给免费存储。此外,由于您正在分配对象,因此您还负责释放内存。查找delete运算符。

为了减轻使用免费商店管理的负担,人们发明了诸如auto_ptrunique_ptr之类的内容。我强烈建议你看看这些。它们甚至可能对您的打字问题有帮助; - )

答案 3 :(得分:9)

如果您是用C ++编写的,那么您可能正在为性能而写作。使用new和free存储比使用堆栈要慢得多(特别是在使用线程时),所以只在需要时使用它。

正如其他人所说,当你的对象需要在函数或对象范围之外生存时,你需要new,对象非常大或者在编译时你不知道数组的大小。

另外,尽量避免使用删除。将您的新内容包装成智能指针。让智能指针调用删除。

在某些情况下智能指针不智能。永远不要存储std :: auto_ptr<>在STL容器内。由于容器内的复制操作,它将很快删除指针。另一种情况是你有一个非常大的STL容器指向对象的指针。升压:: shared_ptr的<>因为它会使参考计数上下颠簸,所以会有很大的速度开销。在这种情况下更好的方法是将STL容器放入另一个对象,并为该对象提供一个析构函数,它将在容器中的每个指针上调用delete。

答案 4 :(得分:5)

简短的回答是:如果您是C ++的初学者,那么永远不会自己使用newdelete

相反,您应该使用智能指针,例如std::unique_ptrstd::make_unique(或更少,std::shared_ptrstd::make_shared)。这样,您不必担心内存泄漏问题。即使您更高级,最佳做法通常是将您使用newdelete的自定义方式封装到一个小类(例如自定义智能指针)中这只是为了解决对象生命周期问题。

当然,在幕后,这些智能指针仍在执行动态分配和释放,因此使用它们的代码仍然会产生相关的运行时开销。这里的其他答案已经涵盖了这些问题,以及如何制定关于何时使用智能指针的设计决策,而不仅仅是在堆栈上创建对象或将它们作为对象的直接成员合并,以至于我不会重复它们。但我的执行摘要是:不要使用智能指针或动态分配,直到某些事情迫使你。

答案 5 :(得分:2)

如果没有new关键字,则将其存储在call stack上。在堆栈上存储过大的变量将导致stack overflow

答案 6 :(得分:1)

简单的答案是肯定的 - new()在堆上创建一个对象(不幸的副作用是你必须管理它的生命周期(通过显式调用delete),而第二个表单在堆栈中创建一个对象在当前范围内,当该对象超出范围时将被销毁。

答案 7 :(得分:1)

您是否正在将myClass传递出函数,或者期望它存在于该函数之外?正如其他人所说,当你没有在堆上分配时,它就是范围。当你离开这个功能时,它会消失(最终)。初学者犯的一个经典错误是尝试在函数中创建某个类的本地对象并返回它而不在堆上分配它。我记得在早些时候用c ++调试这种事情。

答案 8 :(得分:1)

如果您的变量仅在单个函数的上下文中使用,则最好使用堆栈变量,即选项2.正如其他人所说,您不必管理堆栈变量的生命周期 - 它们自动构造和破坏。此外,通过比较,在堆上分配/取消分配变量的速度很慢。如果你的函数被足够频繁地调用,那么如果使用堆栈变量和堆变量,你会看到巨大的性能提升。

尽管如此,有几个明显的例子表明堆栈变量不足。

如果堆栈变量的内存占用量很大,则存在溢出堆栈的风险。默认情况下,Windows上为the stack size of each thread is 1 MB。您不太可能创建一个大小为1 MB的堆栈变量,但您必须记住堆栈利用率是累积的。如果你的函数调用一个调用另一个调用另一个函数的函数的函数,那么所有这些函数中的堆栈变量占用同一个堆栈的空间。递归函数可以快速遇到此问题,具体取决于递归的深度。如果这是一个问题,您可以增加堆栈的大小(不推荐)或使用new运算符在堆上分配变量(推荐)。

另一个更可能的条件是你的变量需要“活”超出你的功能范围。在这种情况下,您将在堆上分配变量,以便可以在任何给定函数的范围之外到达它。

答案 9 :(得分:0)

简短的回答是肯定的,“new”关键字非常重要,因为当你使用它时,对象数据存储在堆上而不是堆栈,这是最重要的!

答案 10 :(得分:0)

第二种方法在堆栈上创建实例,以及声明为int的内容和传递给函数的参数列表。

第一种方法为堆栈上的指针腾出空间,您已将其设置为内存中已在堆上分配新MyClass的位置 - 或免费存储

第一种方法还要求delete使用new创建的内容,而在第二种方法中,类会在超出范围时自动销毁并释放(下一个右括号,通常情况下)。