1. Go 语言内存管理（三）：逃逸分析
Go 语言较之 C 语言一个很大的优势就是自带 GC 功能，可 GC 并不是没有代价的。写 C 语言的时候，在一个函数内声明的变量，在函数退出后会自动释放掉，因为这些变量分配在栈上。如果你期望变量的数据可以在函数退出后仍然能被访问，就需要调用 malloc 方法在堆上申请内存，如果程序不再需要这块内存了，再调用 free 方法释放掉。Go 语言不需要你主动调用 malloc 来分配堆空间，编译器会自动分析，找出需要 malloc 的变量，使用堆内存。编译器的这个分析过程就叫做逃逸分析。
所以你在一个函数中通过 dict := make(map[string]int) 创建一个 map 变量，其背后的数据是放在栈空间上还是堆空间上，是不一定的。这要看编译器分析的结果。
可逃逸分析并不是百分百准确的，它有缺陷。有的时候你会发现有些变量其实在栈空间上分配完全没问题的，但编译后程序还是把这些数据放在了堆上。如果你了解 Go 语言编译器逃逸分析的机制，在写代码的时候就可以有意识地绕开这些缺陷，使你的程序更高效。
Go 语言虽然在内存管理方面降低了编程门槛，即使你不了解堆栈也能正常开发，但如果你要在性能上较真的话，还是要掌握这些基础知识。
这里不对堆内存和栈内存的区别做太多阐述。简单来说就是， 栈分配廉价，堆分配昂贵。 栈空间会随着一个函数的结束自动释放，堆空间需要时间 GC 模块不断地跟踪扫描回收。如果对这两个概念有些迷糊，建议阅读下面 2 个文章：
这里举一个小例子，来对比下堆栈的差别：
stack 函数中的变量 i 在函数退出会自动释放；而 heap 函数返回的是对变量 i 的引用，也就是说 heap() 退出后，表示变量 i 还要能被访问，它会自动被分配到堆空间上。
他们编译出来的代码如下：
逻辑的复杂度不言而喻，从上面的汇编中可看到， heap() 函数调用了 runtime.newobject() 方法，它会调用 mallocgc 方法从 mcache 上申请内存，申请的内部逻辑前面文章已经讲述过。堆内存分配不仅分配上逻辑比栈空间分配复杂，它最致命的是会带来很大的管理成本，Go 语言要消耗很多的计算资源对其进行标记回收（也就是 GC 成本）。
Go 编辑器会自动帮我们找出需要进行动态分配的变量，它是在编译时追踪一个变量的生命周期，如果能确认一个数据只在函数空间内访问，不会被外部使用，则使用栈空间，否则就要使用堆空间。
我们在 go build 编译代码时，可使用 -gcflags '-m' 参数来查看逃逸分析日志。
以上面的两个函数为例，编译的日志输出是：
日志中的 &i escapes to heap 表示该变量数据逃逸到了堆上。
需要使用堆空间，所以逃逸，这没什么可争议的。但编译器有时会将 不需要 使用堆空间的变量，也逃逸掉。这里是容易出现性能问题的大坑。网上有很多相关文章，列举了一些导致逃逸情况，其实总结起来就一句话：
多级间接赋值容易导致逃逸 。
这里的多级间接指的是，对某个引用类对象中的引用类成员进行赋值。Go 语言中的引用类数据类型有 func , interface , slice , map , chan , *Type(指针) 。
记住公式 Data.Field = Value ，如果 Data , Field 都是引用类的数据类型，则会导致 Value 逃逸。这里的等号 = 不单单只赋值，也表示参数传递。
根据公式，我们假设一个变量 data 是以下几种类型，相应的可以得出结论：
下面给出一些实际的例子：
如果变量值是一个函数，函数的参数又是引用类型，则传递给它的参数都会逃逸。
上例中 te 的类型是 func(*int) ，属于引用类型，参数 *int 也是引用类型，则调用 te(&j) 形成了为 te 的参数(成员) *int 赋值的现象，即 te.i = &j 会导致逃逸。代码中其他几种调用都没有形成 多级间接赋值 情况。
同理，如果函数的参数类型是 slice , map 或 interface{} 都会导致参数逃逸。
匿名函数的调用也是一样的，它本质上也是一个函数变量。有兴趣的可以自己测试一下。
只要使用了 Interface 类型(不是 interafce{} )，那么赋值给它的变量一定会逃逸。因为 interfaceVariable.Method() 先是间接的定位到它的实际值，再调用实际值的同名方法，执行时实际值作为参数传递给方法。相当于 interfaceVariable.Method.this = realValue
向 channel 中发送数据，本质上就是为 channel 内部的成员赋值，就像给一个 slice 中的某一项赋值一样。所以 chan *Type , chan map[Type]Type , chan []Type , chan interface{} 类型都会导致发送到 channel 中的数据逃逸。
这本来也是情理之中的，发送给 channel 的数据是要与其他函数分享的，为了保证发送过去的指针依然可用，只能使用堆分配。
可变参数如 func(arg ...string) 实际与 func(arg []string) 是一样的，会增加一层访问路径。这也是 fmt.Sprintf 总是会使参数逃逸的原因。
例子非常多，这里不能一一列举，我们只需要记住分析方法就好，即，2 级或更多级的访问赋值会 容易 导致数据逃逸。这里加上 容易 二字是因为随着语言的发展，相信这些问题会被慢慢解决，但现阶段，这个可以作为我们分析逃逸现象的依据。
下面代码中包含 2 种很常规的写法，但他们却有着很大的性能差距，建议自己想下为什么。
Benchmark 和 pprof 给出的结果:
熟悉堆栈概念可以让我们更容易看透 Go 程序的性能问题，并进行优化。
多级间接赋值会导致 Go 编译器出现不必要的逃逸，在一些情况下可能我们只需要修改一下数据结构就会使性能有大幅提升。这也是很多人不推荐在 Go 中使用指针的原因，因为它会增加一级访问路径，而 map , slice , interface{} 等类型是不可避免要用到的，为了减少不必要的逃逸，只能拿指针开刀了。
大多数情况下，性能优化都会为程序带来一定的复杂度。建议实际项目中还是怎么方便怎么写，功能完成后通过性能分析找到瓶颈所在，再对局部进行优化。
2. 有没有java高手从编译器和内存管理的角度解析一下java的向上转型跟向下转型
不是高手，谈下我的浅见。要具体分为编译时和运行时，举个例子给你
List list = new ArrayList();
编译器编译的时候，编译器只认为生成的是List类型的对象，编译器时只认为list是一个指向List类型的引用；并不分配实际内存。
运行的时候，内存里面分配一个list引用地址，分配一片内存区域来放置实际生成的ArrayList对象，所以此时可以完成‘父类’list转向子类ArrayList的 转型；
3. ios arc中内存管理对象有哪些
iOS开发中，内存管理是从来都不能忽视的问题，OC采用的是动态内存管理方式，跟踪每个对象被引用的次数，当对象引用次数为0时，则释放对象占用的内存。引用计数分为自动和手动计数（retain 引用、release释放，autorelease 废弃），在此我主要对自动引用计数做相关的分享。
自动引用计数
自动引用计数顾名思义是自动计数管理，是编译器在编译过程中自动添加retain、release来确保对象被释放（注：arc 只能管理oc的对象，不能管理通过malloc申请的内存）并利用@autoreleasepool代替NSAutoreleasePool。
首先让我们先了解下内存管理的思维方式：
自己生成的对象，自己持有
非自己生成的对象，自己持有
不再需要自己持有的对象时释放
非自己持有的对象不能释放
了解了思维方式，那么怎么去生成并持有对象呢，在OC中有多种方法族大家并不陌生，用于初始化并持有对象，分别是alloc/new//mutableCopy。另 init 方法族：以init 开头的方法必须被定义为实例方法，它一定要返回id 类型或父类、子类的指针；其他族可以是类方法也可以是实例方法。另 所有权声明 是通过 _ _strong(强引用，ARC中默认)、_ _weak(弱引用，常用于防止循环引用)、_ _unsafe_unretained(iOS 5下相当于weak)、_ _autoreleasing (自动释放池所用，id/对象 另加 星 * 类型变量 默认)。
引用计数表，在OC 中采用hash表来管理引用计数表键值为内存块地址；这样对象内存块就无需考虑头部了，直接通过引用计数表的内存块地址就可以找到对象内存块。
ARC规则
在ARC中有一些规则必须遵守否则会警告甚至引起程序崩溃
1、不能使用retain/release/retainCount/autorelease
arc 中内存由编译器控制，不必使用上述内存管理方法
2、不能使用NSAllocateObject/NSDeallocateObject
3、必须遵守内存管理方法命名规则 alloc/new//mutableCopy/init
4、不可显示调用dealloc，不能使用NSZone
5、使用@autoreleasepool块代替NSAutoreleasePool
6、对象型变量不能作为C语言结构体的成员
7、显示转换id 和void 如 id obj =[NSObject alloc] init]; void *p =(_ _bridge void *)obj
属性
1、property 指一个对象的属性或特性
2、@synthesize ：自动生成getter、setter方法；@dynamic 告诉编译器要自己手动实现 getter、setter
3、给属性指定选项
注：默认为 atomic ，必须要用lock unlock 保证属性的线程安全，如果不是频繁的使用且不考虑多线程的话，尽量用noatomic
一些记录点：
1、arc 的实现 是通过clang 编译器 和objc 运行时库结合进行内存管理
2、引用计数获取方法： _objec_rootRetainCount(id obj)
3、strong 与 retain 在 block 下，strong相当于 ，retain 相当于 assign
4、_ _block 修饰相当于 指针拷贝 ,_ _weak 即为防循环引用
5、GC 垃圾回收机制 只支持 mac os
4. 用.net开发C++程序，.net编译器会对C++进行内存管理管理做优化吗资源会被自动回收吗
如果使用了C++/CLI，在CLR环境下，如果创建了refrence对象的时候是会被自动垃圾回收的：
using namespace System;
ref class MyClass // managed class
{
public:
void foo(){}
}
int main()
{
MyClass^ handle = gcnew MyClass; // 在CLR heap上创建
// 你也可以手动delete: delete handle
}//自动回收
5. 求知道Java是如何进行内存管理和垃圾回收的
一部分是编译器处理的，一部分是Java虚拟机实现的。如下：
通常Java用堆内存和栈内存来存放数据。
（heap）内存：由Java虚拟机的垃圾回收器来管理，可以动态地分配内存大小。new出来的对象总是存储在堆内存中。
（stack）内存：由编译器自动分配释放，存取速度比堆内存快，但存储在栈中的数据大小与生存期必须是确定的，缺乏灵活性。基础数据类型 一般存储在栈内存中。
关于Java的内存管理和垃圾回收机制，在秒秒学上可以看到的。
6. c++内存管理
char *a="asdfasdfasdf"，你不能够释放a所占的资源
关于什么时候它的资源会释放，要看它的作用域，如果它的作用域是局部的：比如数据块中{}，或函数中，那么在跳出数据块与函数后，它的内存就被释放了，如果它的作用域为全局，或static，那么知道程序结束后，它的内存就释放了
int a = 10；同样也不可以手动释放它所占的内存，关于它什么时候被释放，要看它的作用域，同上，要知道它存在哪里，显然它不会存在动态内存空间，那么它只有存在于静态内存空间与栈空间了，而究竟是静态内存空间，还是栈空间也是由它的作用域决定，作用域为全局的就存在静态内存空间中，作用域为局部的就存在栈内存空间中
如果你的意思是要知道a真正的地址，那么就涉及到逻辑地址于物理地址的概念，设计到内存映射的概念
如果你感兴趣需要多看点书
7. java编程内存管理需要注意的问题
大家在进行程序系统维护的时候是否因为java编程的内存管理问题而无法快速解决导致系统出错呢?下面我们就一起来了解和学习一下，关于java编程内存管理都有哪些知识点。
程序计数器(了解)
程序计数器，可以看做是当前线程所执行的字节码的行号指示器。在虚拟机的概念模型里，字节码解释器工作就是通过改变程序计数器的值来选择下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能都要依赖这个计数器来完成。
Java虚拟机栈(了解)
Java虚拟机栈也是线程私有的，它的生命周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型：每个方法在执行的同时都会创建一个栈帧用于存储局部变量表、操作数栈、动态链表、方法出口信息等。每一个方法从调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。
局部变量表中存放了编译器可知的各种基本数据类型(boolean、byte、char、short、int、float、long、double)、对象引用和returnAddress类型(指向了一条字节码指令的地址)。
如果扩展时无法申请到足够的内存，就会抛出OutOfMemoryError异常。
本地方法栈(了解)
本地方法栈与虚拟机的作用相似，不同之处在于虚拟机栈为虚拟机执行的Java方法服务，而本地方法栈则为虚拟机使用到的Native方法服务。有的虚拟机直接把本地方法栈和虚拟机栈合二为一。
会抛出stackOverflowError和OutOfMemoryError异常。
Java堆
堆内存用来存放由new创建的对象实例和数组。(重点)
Java堆是所有线程共享的一块内存区域，在虚拟机启动时创建，此内存区域的目的就是存放对象实例。
Java堆是垃圾收集器管理的主要区域。java课程培训机构http://www.kmbdqn.cn/发现由于现在收集器基本采用分代回收算法，所以Java堆还可细分为：新生代和老年代。从内存分配的角度来看，线程共享的Java堆中可能划分出多个线程私有的分配缓冲区(TLAB)。
8. java编程内存管理需要注意的问题
大家在进行程序系统维护的时候是否因为java编程的内存管理问题而无法快速解决导致系统出错呢?下面我们就一起来了解和学习一下，关于java编程内存管理都有哪些知识点。
程序计数器(了解)
程序计数器，可以看做是当前线程所执行的字节码的行号指示器。在虚拟机的概念模型里，字节码解释器工作就是通过改变程序计数器的值来选择下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能都要依赖这个计数器来完成。
Java虚拟机栈(了解)
Java虚拟机栈也是线程私有的，它的生命周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型：每个方法在执行的同时都会创建一个栈帧用于存储局部变量表、操作数栈、动态链表、方法出口信息等。每一个方法从调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。
局部变量表中存放了编译器可知的各种基本数据类型(boolean、byte、char、short、int、float、long、double)、对象引用和returnAddress类型(指向了一条字节码指令的地址)。
如果扩展时无法申请到足够的内存，就会抛出OutOfMemoryError异常。
本地方法栈(了解)
本地方法栈与虚拟机的作用相似，不同之处在于虚拟机栈为虚拟机执行的Java方法服务，而本地方法栈则为虚拟机使用到的Native方法服务。有的虚拟机直接把本地方法栈和虚拟机栈合二为一。
会抛出stackOverflowError和OutOfMemoryError异常。
Java堆
堆内存用来存放由new创建的对象实例和数组。(重点)
Java堆是所有线程共享的一块内存区域，在虚拟机启动时创建，此内存区域的目的就是存放对象实例。
Java堆是垃圾收集器管理的主要区域。java课程培训机构http://www.kmbdqn.com/发现由于现在收集器基本采用分代回收算法，所以Java堆还可细分为：新生代和老年代。从内存分配的角度来看，线程共享的Java堆中可能划分出多个线程私有的分配缓冲区(TLAB)。
9. c++中为什么有些变量在编译是就由编译器分配了内存空间，还没有运行怎么会占用内存呢
还没有运行怎么会占用内存呢？！（这一点还要怀疑吗！？）
所谓在编译期间分配空间指的是静态分配空间（相对于用new动态申请空间），如全局变量或静态变量（包括一些复杂类型的常量），它们所需要的空间大小可以明确计算出来，并且不会再改变，因此它们可以直接存放在可执行文件的特定的节里（而且包含初始化的值），程序运行时也是直接将这个节加载到特定的段中，不必在程序运行期间用额外的代码来产生这些变量。
其实在运行期间再看“变量”这个概念就不再具备编译期间那么多的属性了（诸如名称，类型，作用域，生存期等等），对应的只是一块内存（只有首址和大小），所以在运行期间动态申请的空间，是需要额外的代码维护，以确保不同变量不会混用内存。比如写new表示有一块内存已经被占用了，其它变量就不能再用它了； 写delete表示这块内存自由了，可以被其它变量使用了。（通常我们都是通过变量来使用内存的，就编码而言变量是给内存块起了个名字，用以区分彼此）
内存申请和释放时机很重要，过早会丢失数据，过迟会耗费内存。特定情况下编译器可以帮我们完成这项复杂的工作（增加额外的代码维护内存空间，实现申请和释放）。从这个意义上讲，局部自动变量也是由编译器负责分配空间的。进一步讲，内存管理用到了我们常常挂在嘴边的堆和栈这两种数据结构。
最后对于“编译器分配空间”这种不严谨的说法，你可以理解成编译期间它为你规划好了这些变量的内存使用方案，这个方案写到可执行文件里面了（该文件中包含若干并非出自你大脑衍生的代码），直到程序运行时才真正拿出来执行！