引用类型是在栈上？

先看下面的代码：

 1ref class Point
 2{
 3public:
 4    int X;
 5    int Y;
 6};
 7
 8void main()
 9{
    Point^ p1 = gcnew Point();
    p1->X = 1;
    Point p2;
    p2.X = 2;
}

我们知道在.NET中，值类型与引用类型的区别在于：值类型是轻量级类型，在栈上分配内存；而引用类型在托管堆上分配内存。也正因如此，CLR的垃圾回收机制才得以用上派场－引用类型都是非确定性回收，我们无法控制引用类型的内存回收。之所称值类型是“轻量级”，是因为它的回收的自动的，无需垃圾回收机制参与。在C++/CLI中如上面的代码，p2是在栈上分配内存吗？
我们来看一下编译出来的中间代码：

IL_0000行创建p1, IL_000d行创建p2。两者的创建过程是一样的。
如果把Point改为值类型的话：

value class Point
{
public:
    int X;
    int Y;
};

再查看中间代码：

这里都用了initobj。在.NET中initobj用于值类型，而newobj用于引用类型。
由此我们可以得出结论：
1) .NET中对象如何如何分配内存只与声明有关。
2) 在C++/CLI中C++的语法与内存分配到哪里无关。C++的语法仍要一致，如对p2要"."操作符，而p1一定要用"->"操作符。