cpp：摘录c++premier、维基百科里关于栈内存和堆内存的阐述

c++premier 中：

到目前为止，我们编写的程序中所使用的对象都有着严格定义的生存期。全局对象在程序启动时分配，在程序结束时销毁。对于局部自动对象，当我们进入其定义所在的程序块时被创建，在离开块时销毁。局部static对象在第一次使用前分配，在程序结束时销毁。
除了自动和static对象外，C++还支持动态分配对象。动态分配的对象的生存期与它们在哪里创建是无关的，只有当显式地被释放时，这些对象才会销毁。
动态对象的正确释放被证明是编程中极其容易出错的地方。为了更安全地使用动态对象，标准库定义了两个智能指针类型来管理动态分配的对象。当一个对象应该被释放时，指向它的智能指针可以确保自动地释放它。
我们的程序到目前为止只使用过静态内存或栈内存。静态内存用来保存局部static对象（参见6.6.1节，第185页）、类static数据成员（参见7.6节，第268页）以及定义在任何函数之外的变量。栈内存用来保存定义在函数内的非static对象。分配在静态或栈内存中的对象由编译器自动创建和销毁。对于栈对象，仅在其定义的程序块运行时才存在；static对象在使用之前分配，在程序结束时销毁。
除了静态内存和栈内存，每个程序还拥有一个内存池。这部分内存被称作自由空间（free
store）或堆（heap）。程序用堆来存储动态分配（dynamically
allocate）的对象——即，那些在程序运行时分配的对象。动态对象的生存期由程序来控制，也就是说，当动态对象不再使用时，我们的代码必须显式地销毁它们。

在C++中，动态内存的管理是通过一对运算符来完成的：new，在动态内存中为对象分配空间并返回一个指向该对象的指针，我们可以选择对对象进行初始化；delete，接受一个动态对象的指针，销毁该对象，并释放与之关联的内存。
动态内存的使用很容易出问题，因为确保在正确的时间释放内存是极其困难的。有时我们会忘记释放内存，在这种情况下就会产生内存泄漏；有时在尚有指针引用内存的情况下我们就释放了它，在这种情况下就会产生引用非法内存的指针。

使用new和delete管理动态内存存在三个常见问题：
1.忘记delete内存。忘记释放动态内存会导致人们常说的“内存泄漏”问题，因为这种内存永远不可能被归还给自由空间了。查找内存泄露错误是非常困难的，因为通常应用程序运行很长时间后，真正耗尽内存时，才能检测到这种错误。
2.使用已经释放掉的对象。通过在释放内存后将指针置为空，有时可以检测出这种错误。
3.同一块内存释放两次。当有两个指针指向相同的动态分配对象时，可能发生这种错误。如果对其中一个指针进行了delete操作，对象的内存就被归还给自由空间了。如果我们随后又delete第二个指针，自由空间就可能被破坏。相对于查找和修正这些错误来说，制造出这些错误要简单得多。

当我们delete一个指针后，指针值就变为无效了。虽然指针已经无效，但在很多机器上指针仍然保存着（已经释放了的）动态内存的地址。在delete之后，指针就变成了人们所说的空悬指针（dangling
pointer），即，指向一块曾经保存数据对象但现在已经无效的内存的指针。
未初始化指针（参见2.3.2节，第49页）的所有缺点空悬指针也都有。有一种方法可以避免空悬指针的问题：在指针即将要离开其作用域之前释放掉它所关联的内存。这样，在指针关联的内存被释放掉之后，就没有机会继续使用指针了。如果我们需要保留指针，可以在delete之后将nullptr赋予指针，这样就清楚地指出指针不指向任何对象。

看到其实应该分为：
静态内存、栈内存和堆内存（即：动态内存）。
静态内存原则上应该属于和堆内存和栈内存一个层次的，因为静态内存保存的东西和栈内存的东西不同，这个细微地差别需要注意。

对于局部static对象、类static数据成员以及定义在任何函数之外的变量：采用静态分配到静态内存
对于函数内部的只要不带static的变量：自动分配到栈

维基百科：

在计算机科学中, 动态内存分配（Dynamic memory
allocation）又称为堆内存分配，是指计算机程序在运行期中分配使用内存。它可以当成是一种分配有限内存资源所有权的方法。动态分配的内存在被程序员明确释放或被垃圾回收之前一直有效。与静态内存分配的区别在于没有一个固定的生存期。这样被分配的对象称之为有一个“动态生存期”。

静态变量（英语：Static Variable）在计算机编程领域指在程序执行前系统就为之静态分配（英语：Static memory allocation）（也即在运行时中不再改变分配情况）存储空间的一类变量。与之相对应的是在运行时只暂时存在的自动变量（即局部变量）与以动态分配方式获取存储空间的一些对象，其中自动变量的存储空间在调用栈上分配与释放。
“静态变量”这一术语有两个容易混淆的定义：

*语言无关的通用定义：*与程序有着相同生命周期（英语：Object lifetime）的变量；

*C族语言特有的定义：*以static存储类声明的变量。 而在以Pascal为代表的许多程序语言中，**所有局部变量都由系统自动分配存储空间，而所有全局变量的存储空间则以静态分配的方式获取（对应“静态变量”），因此由于实际上“局部变量”和“全局变量”这两个术语已足以涵盖所有的情况，在这些程序语言中通常不使用“静态变量”这一术语，而直接以“全局变量”代之。**一般来说，在这些程序语言中，静态变量就是全局变量，而即使在有明确区分全局和静态变量的程序语言中，在编译后的代码里二者也以相同的方式获取存储空间。而今术语“静态变量”的概念则主要基于C族语言的“static”的定义（即定义2）。

静态变量也可以用于存储常数。具体来说，静态变量（全局变量及汇编语言里定义的符号亦同）可用const，constant或final（根据语言决定）等关键字标识，这时其值就会在编译时设定，并且无法在运行时改变。编译器通常将静态常量与文本一起置于目标文件的文本区域，而非常量初始化数据则置于数据区；而如若有需要，有些编译器还可选择为其开辟专用区；为防止常数变量被错误的指针写入覆盖，亦可在这块区域启用内存保护机制。

在C语言及由其衍生出的C++与Objective-C等程序语言中，“static”是用于控制变量的生命周期和连接方式（即其作用域，亦即可见性）的保留字。确切来说，正如C族语言中的extern，auto与register这些保留字一样，static也是一种存储类（此处的“类”与面向对象语言的“类”的定义不同）标识。每个变量与函数都有以上的一种存储类标识，如果在声明（英语：Declaration
(computer programming)）中没有明确标识其存储类，编译时就会根据上下文来选择其默认存储类，如在源文件里的所有文件级变量对应的默认存储类是extern，而在函数体内的变量对应的则是auto，各存储类的属性如下表所列。

存储类名 生命周期 作用域
extern 静态 （程序结束后释放） 外部（整个程序）
static 静态 （程序结束后释放） 内部（仅翻译单元，一般指单个源文件）
auto,register 函数调用（调用结束后释放） 无

易见存储类为extern的变量（包括上面提到的未明确声明存储类的文件级变量）符合前段所述静态变量的定义1，但不符合定义2。

不同情况下的作用 除明确标识出变量的生命周期（英语：Object
lifetime）外，将变量声明为static存储类还会根据变量属性不同而有一些特殊的作用：

对于静态全局变量来说，针对某一源文件的以static声明的文件级变量与函数的作用域只限于文件内（只在文件内可见），也即“内部连接”,因而可以用来限定变量的作用域；
对于静态局部变量来说，在函数内以static声明的变量虽然与自动局部变量的作用域相同（即作用域都只限于函数内），但存储空间是以静态分配而非默认的自动分配方式获取的，因而存储空间所在区域不同**（一般来说，静态分配时存储空间于编译时在程序数据段分配，一次分配全程有效；而自动分配时存储空间则是于调用栈上分配，只在调用时分配与释放）**，且两次调用间变量值始终保持一致；必须注意，静态局部变量只能初始化一次，这是由编译器来保证实现。

对于静态成员变量（英语：Member variable）来说，在C++中，在类的定义中以static声明的成员变量属于类变量（英语：Class variable），也即在所有类实例中共享，与之相对的就是过程变量（英语：Instance variable）