我的理解一直是，无论是 C++、C# 还是 Java，当我们使用 new 关键字创建对象时，它都会在堆上分配内存。我认为 new 仅用于引用类型（类），而原始类型（int、bool、float 等）从不使用 new 并且总是在堆栈上（除非它们是成员变量使用new 实例化的类）。但是，我一直在阅读 information，这让我怀疑这个长期存在的假设，至少对于 Java 和 C# 而言。
例如，我刚刚注意到在 C# 中 new 运算符可用于初始化值类型，请参阅 here。这是否是规则的例外，语言的辅助功能，如果是，还会有哪些其他例外？
有人可以澄清一下吗？
【问题讨论】：
标签： c# java c++ memory memory-management
我认为 new 仅用于引用类型（类），而原始类型（int、bool、float 等）从不使用 new
在 C++ 中，您可以根据需要在堆上分配原始类型：
int* p = new int(42);
如果您想要一个共享计数器，这很有用，例如在shared_ptr<T> 的实现中。
此外，您不必在 C++ 中将 new 与类一起使用：
void function()
{
MyClass myObject(1, 2, 3);
}
这将在堆栈上分配myObject。请注意，new 在现代 C++ 中很少使用。
此外，您可以在 C++ 中重载operator new（全局或特定于类），因此即使您说new MyClass，对象也不一定会在堆上分配。
【讨论】：
new 在 C++ 中有许多不同的用途……你可以使用 std::string 而不是 new char[n]。您使用std::vector<MyClass> 而不是new MyClass[n]。如果要共享对象，请使用 auto p = make_shared<Class>() 等而不是 MyClass* p = new MyClass。
delete 在现代 C++ 中很少使用。在某些情况下，我们可能会将new 用于shared_ptr 或unique_ptr。
make_shared 和make_unique。
weak_ptr 保持共享计数不被删除时。
我不太了解 Java（而且似乎很难获得有关它的文档）。
在 C# 中，new 调用构造函数并返回一个新对象。如果它是值类型，则分配在堆栈上（例如局部变量）或堆上（例如装箱对象、引用类型对象的成员）。如果它是引用类型，它总是在堆上并由垃圾收集器管理。详情请见http://msdn.microsoft.com/en-us/library/fa0ab757(v=vs.80).aspx。
在 C++ 中，“新表达式” 返回一个指向具有 动态存储持续时间 的对象的指针（即，您必须自行销毁）。 C++标准中没有提到堆（有这个含义），而获得这种对象的机制是实现定义的。
【讨论】：
int i = new int()，但你不能说 new int(1)——这是一种让我困惑的贫血伪结构，我来自 C++...我目前正在尝试进入 C#，但这些事情让我觉得没有经过深思熟虑。
new int() 给你一个“自动存储”整数的事实真的让我很恼火。这与任何事情都不一致。
new 的“堆栈”。
我的理解一直是，无论 C++、C# 还是 Java，当我们使用
new关键字创建对象时，它会在堆上分配内存。
你的理解有误：
new 在不同编程语言中的工作方式可能不同，即使这些语言表面上相似。不要让 C#、C++ 和 Java 的相似语法误导您！
术语“堆”和“堆栈”（在内部内存管理的上下文中被理解）根本与所有编程语言无关。可以说，这两个概念通常是实现细节，而不是编程语言官方规范的一部分。
（IIRC，至少 C# 和 C++ 是这样。我不了解 Java。）
它们是如此广泛的实现细节这一事实并不意味着您应该依赖这种区别，也不意味着您甚至应该知道它！ （不过，我承认我通常发现了解内部“事情是如何运作的”是有益的。）
我建议您不要过多地担心这些概念。您需要做对的重要事情是理解语言的语义；例如，对于 C# 或任何其他 .NET 语言，引用和值类型语义的差异。
new 的说明：注意C# specification published by ECMA (4th edition) 的以下部分没有提及任何“堆栈”或“堆”：
14.5.10 新运营商
new 运算符用于创建类型的新实例。 […]
new 操作符意味着创建一个类型的实例，但不一定意味着动态分配内存。特别是，值类型的实例除了它们所在的变量之外不需要额外的内存，并且当使用 new 来创建值类型的实例时不会发生动态分配。
相反，它谈到“动态分配内存”，但这不是一回事：您可以在堆栈、堆或其他任何地方（例如硬盘驱动器）动态分配内存.
然而，它所做说的是，值类型的实例是就地存储的，这正是值类型语义的全部内容：值类型实例在赋值期间被复制，而引用类型实例被引用/“别名”。 这是要理解的重要内容，而不是“堆”或“堆栈”！
【讨论】：
在 c# 中，class 始终存在于堆上。 struct 可以在堆 或 堆栈上：
【讨论】：
new 的 C# 文章中明确声明了“堆”和“堆栈”。我知道这不是 ECMA 文档，但由于它们制作语言并且是参考实现/文档，这对我来说意味着 C# 中有一个堆栈和堆。
根据http://download.oracle.com/javase/7/docs/technotes/guides/vm/performance-enhancements-7.html，Java 7 会进行转义分析以确定是否可以在堆栈上分配对象。
但是，您不能指示运行时在堆或堆栈上分配对象。它是自动完成的。
【讨论】：
关于 c#，请阅读 The Truth About Value Types。 你会看到值类型也可以放在堆上。
并且at this question 建议引用类型可以进入堆栈。 （但目前还没有发生）
【讨论】：
（参考Java）你说的是正确的 - 原语是在堆栈上分配的（有例外，例如闭包）。但是，您可能指的是以下对象：
Integer n = new Integer(2);
这指的是一个 Integer 对象，而不是原始 int。也许这是你困惑的根源？在这种情况下，n 将被分配到堆上。也许您的困惑是由于autoboxing 规则？另请参阅this 问题以获取有关自动装箱的更多详细信息。查看此答案中的 cmets，了解在堆上分配原语的规则的例外情况。
【讨论】：
在 Java 和 C# 中，我们不需要在堆上分配原始类型。它们可以在堆栈上分配（而不是限制在堆栈上）。而在 C++ 中，我们可以在堆栈和堆上分配原始类型和用户定义类型。
【讨论】：
在 C++ 中，还有另一种使用 new 运算符的方法，那就是通过“placement new”。你指向的内存可能存在于任何地方。
【讨论】：