[C++/CLI]在栈上声明Reference Type

本文探讨了C++/CLI中的新语法特性,通过对比gcnew与栈上实例化的语法差异,解释了栈上实例化并非真正意义上的栈分配,而是编译器提供的一种便利机制。此外,文中还讨论了这种新语法对于资源管理和自动调用Dispose方法的影响。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

上次介绍显示释放资源的文章,我提到了C++/CLI中提供了一种新的对象实例化语法,就仿佛在native c++中在静态栈上定义一个对象一样。今天就让我们来考察一下这个特性。另外,因为在上个帖子里回答Ninputer的一个问题时,犯了一个错误,我在这里纠正一下...red_smile.gif

定义以下以一个类。

None.gif ref   class  Test
ExpandedBlockStart.gifContractedBlock.gif
dot.gif {
InBlock.gifTest(String
^ s)
ExpandedSubBlockStart.gifContractedSubBlock.gif 
dot.gif{
InBlock.gif  
this->_s = s;
InBlock.gif
ExpandedSubBlockEnd.gif }

InBlock.gif 
void Hello()
ExpandedSubBlockStart.gifContractedSubBlock.gif 
dot.gif{
InBlock.gif  Console::WriteLine(_s);
ExpandedSubBlockEnd.gif }

InBlock.gif
InBlock.gif property String
^ Message
ExpandedSubBlockStart.gifContractedSubBlock.gif 
dot.gif{
ExpandedSubBlockStart.gifContractedSubBlock.gif  String
^ get() dot.gifreturn  _s;}
ExpandedSubBlockEnd.gif }

InBlock.gif 
InBlock.gif 
InBlock.gif
private:
InBlock.gif String
^ _s;
ExpandedBlockEnd.gif}
;
None.gif
None.gif


然后我们定义一个函数来使用这个类:

None.gif void  foo()
ExpandedBlockStart.gifContractedBlock.gif
dot.gif {
InBlock.gif Test t(
"Hello"); //没有无参构造函数时的定义方法
InBlock.gif
 t.Hello();             //使用“点”来访问成员,而不是"->"符号
InBlock.gif
 Console::WriteLine(t.Message); //访问属性
ExpandedBlockEnd.gif
}



我们来看一下生成的IL代码
.method assembly static void  foo() cil managed
{
  // Code size       29 (0x1d)
  .maxstack  1
  .locals init ([0] class Test V_0)
  IL_0000:  ldstr      "Hello"
  IL_0005:  newobj     instance void Test::.ctor(string)
  IL_000a:  stloc.0
  IL_000b:  ldloc.0
  IL_000c:  call       instance void Test::Hello()
  IL_0011:  ldloc.0
  IL_0012:  call       instance string Test::get_Message()
  IL_0017:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_001c:  ret
} // end of method 'Global Functions'::foo


如果我们把上面的foo()函数改成gcnew的形式:

None.gif void  foo()
ExpandedBlockStart.gifContractedBlock.gif
dot.gif {
InBlock.gif    Test
^ t = gcnew Test("Hello");
InBlock.gif    t
->Hello();
InBlock.gif    Console::WriteLine(t
->Message);
ExpandedBlockEnd.gif}

然后观察生成的IL代码:

.method assembly static void  foo() cil managed
{
  // Code size       29 (0x1d)
  .maxstack  1
  .locals init ([0] class Test V_0)
  IL_0000:  ldstr      "Hello"
  IL_0005:  newobj     instance void Test::.ctor(string)
  IL_000a:  stloc.0
  IL_000b:  ldloc.0
  IL_000c:  call       instance void Test::Hello()
  IL_0011:  ldloc.0
  IL_0012:  call       instance string Test::get_Message()
  IL_0017:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_001c:  ret
} // end of method 'Global Functions'::foo

可以看到生成的IL代码与前面的是完全一致的。由此可见,这种新的语法只是编译器提供的一种机制,并不是真的在Stack上实例化对象。那么为什么要提供这种语法呢?或者说两种的区别在哪里呢?那就是在上一篇文章中所提到的显式释放资源。只有用Stack方法来定义变量,才能获得自动调用Dispose()方法的好处。

或许,我们今后应该尽量少用gcnew,除非你想手动控制Dispose()方法调用的时机。唯一比较遗憾的是,由于是从vc 2005 tool refreshes才开始支持这种语法,所以vc express的IDE中的intellisense功能还没有跟上,使用“点”操作符时,没有任何提示,不过相信在beta2里一定会全面支持的。另外MS的员工还透露说beta2中,STL.NET可能就会现身了,真是非常期待。

另:

昨天Ninputer问我Stack定义的对象,是用->访问成员还是用“点”来访问成员。我回答是用->来访问,其实应该是“点”才对。前几天试验的时候不知道为什么编译器没有报错......可惜代码已经不在了,也没法知道当时犯了什么错red_smile.gif 今天写这个帖的时候才发现不对了...hitwall.gif

转载于:https://www.cnblogs.com/Hush/archive/2004/10/16/53176.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值