浅谈C++CLI中引用类型的栈对象

浅谈C++CLI中引⽤类型的栈对象
在⼯作中使⽤C++/CLI，发现其中⼀些⽐较有意思的地⽅，在这就拿C++/CLI中引⽤类型的栈对象来跟⼤家⼀起学习⼀下，有写得不对的地⽅望⼤家多加指点。

这也是本⼈第⼀篇⽂章，申请空间已有多半年了，惭愧.......
对于有ISO C++使⽤背景的技术⼈员来说，栈对象再也熟悉不过了，它有⼀个最⼤特点是确定性资源清理，过了对象的作⽤返回就会⾃动释放其所占⽤的内存。

C++/CLI是.NET平台下的C++语⾔，当然ISO C++的诸多语法保留下来，栈对象便是其⼀，但是他的语义发⽣了变化。

⼤家都知道.NET平台与win32平台最⼤的差别是托管内存，对C#了解的同志都知道，在C#⾥⾯分有值类型(value type)与引⽤类型(refrence type)，值类型对象均分配在栈中，引⽤类型的都会分配在托管堆中，换句话说就是对象的类型决定了其分配的位置，栈还是托管堆。

栈内存的回收还是与以往⼀样，是确定性的，托管堆内存的回收是由垃圾回收器来负责。

然⽽在这样的内存模型中，MyClass myClass;这个语句在 C++/CLI中的语义会是什么呢？
众所周知，⾼级语⾔得以出现，主要归功于编译器，语义会是怎么样当然也取决于编译器的编译结果。

下⾯讲通过⼀些简单的代码进⾏讲解，请留意代码中的注释^_^
1using namespace System;
2public ref class MyClass //⾃定义引⽤类型
3{
4public:
5 MyClass() //提供⽆参构造函数，与ISO C++⼀样，在声明栈对象时如果不传⼊参数，便会调⽤⽆参构造函数。

6 {}
7
8 ~MyClass() //这便是我们的析构器(Destructor)
9 {
10 m_isDisposed = true;
11 }
12
13 String^ GetString()
14 {
15if(m_isDisposed)
16 {
17throw gcnew ObjectDisposedException("MyClass is disposed,can not access disposed memery!");
18 }
19return "MyClass";
20 }
21
22static MyClass^ GetInstance()
23 {
24 MyClass result; //声明⼀个栈对象
25return %result;
26/*返回栈对象的追踪句柄(tracking handle)，对ISO C++⽐较熟悉的
27肯定⽐我都清楚，在使⽤该函数的返回值会访问⾮法内存，因为栈对象被销毁，内存已被回收。

然⽽在C++/CLI并
28不会这样，使⽤的情况取决于MyClass类型的实现，如果MyClass 实现了Destructor，则编译器会在函数体内给我们加上⼀些
29代码，调⽤myClass对象的Destructor，如果MyClass没有实现Destructor，此时返回值可以正常使⽤。

⼀下代码为通过Reflector查看的结果，
30语⾔为C#
31 public static MyClass GetInstance()
32 {
33 MyClass class2 = null;
34 MyClass class4;
35 MyClass modopt(IsConst) class5 = new MyClass();
36 try
37 {
38 class2 = class5;
39 class4 = class2;
40 }
41 fault
42 {
43 class2.Dispose();
44 }
45 class2.Dispose();
46 return class4;
47 }
48
49我们将Destrutor注释掉，再次查看编译结果，发现截然不同
50 public static MyClass GetInstance()
51 {
52 return new MyClass();
53 }
54通过编译结果我们知道没有写Destructor的对象，返回结果可以正常使⽤。

55当然在实际⼯作中我们不会去编写这样的代码，做为学习可以，了解程序运⾏的各种情况。

56要是这样写编译器也会给出这样的警告：
57 program1.cpp(91) : warning C4172: returning address of local variable or temporary
58 */
59 }
60
61private:
62 Boolean m_isDisposed;
63
64};
65
66void main()
67{
68 MyClass^ myClass = MyClass::GetInstance() ;
69
70 System::Console::WriteLine(myClass->GetString()); 71}。