浅谈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{
 4   public:
 5      MyClass() //提供无参构造函数，与ISO C++一样，在声明栈对象时如果不传入参数，便会调用无参构造函数。
 6      {}
 7
 8      ~MyClass()  //这便是我们的析构器(Destructor)
 9      {
10          m_isDisposed = true;
11      }
12      
13      String^ GetString()
14      {
15            if(m_isDisposed)
16            {
17                throw gcnew ObjectDisposedException("MyClass is disposed,can not access disposed memery!"); 
18            }
19            return "MyClass";
20      }
21      
22      static MyClass^ GetInstance()
23      {
24            MyClass result; //声明一个栈对象
25            return %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}