科技行者

行者学院 转型私董会 科技行者专题报道 网红大战科技行者

知识库

知识库 安全导航

至顶网软件频道基础软件C++:最强大的.NET语言之内存与资源

C++:最强大的.NET语言之内存与资源

  • 扫一扫
    分享文章到微信

  • 扫一扫
    关注官方公众号
    至顶头条

当运行环境中包含垃圾回收机制时,区别开内存管理和资源管理,就非常重要了。

作者:谢启东编译 来源:天极开发 2007年11月15日

关键字: C++ 内存 资源

  • 评论
  • 分享微博
  • 分享邮件
 当运行环境中包含垃圾回收机制时,区别开内存管理和资源管理,就非常重要了。典型地来说,垃圾回收器只对包含对象的内存之分配与释放感兴趣,它可不关心你的对象是否拥有其他的资源,如数据库连接或核心对象的句柄。

  内存管理

  本地C++为程序员提供了超越内存管理的直接控制能力,在堆栈上分配一个对象,意味着只有在进入特定函数时,才会为对象分配内存,而当函数返回或堆栈展开时,内存被释放。可使用操作符new来动态地为对象分配内存,此时内存分配在CRT堆中,并且需要程序员显存地对对象指针使用操作符delete,才能释放它。这种对内存的精确控制,也是C++可用于编写极度高效的程序的原因之一,但如果程序员不小心,这也是内存泄漏的原因。另一方面,你不需要求助于垃圾回收器来避免内存泄漏--实际上这是CLR所采取的方法,而且是一个非常有效的方法,当然,对于垃圾回收堆,也有其他一些好处,如改进的分配效率及引用位置相关的优势。所有这一切,都可以在C++中通过库支持来实现,但除此之处,CLR还提供了一个单一的内存管理编程模型,其对所有的编程语言都是通用的,想一想与C++中COM自动化对象相交互和调度数据类型所需做的一切工作,就会发现其重要意义所在--横跨数种编程语言的垃圾回收器,作用是非常巨大的。

  为了效率,CLR也保留了堆栈的概念,以便值类型可在其上分配,但CLR也提供了一个newobj中间语言指令,以在托管堆中分配一个对象,但此指令只在C#中对引用对象使用操作符new时提供。在CLR中,没有与C++中的delete操作符对应的函数,当应用程序不再引用某对象时,分配的内存最后将由垃圾回收器回收。

  当操作符new应用于引用类型时,托管C++也会生成newobj指令,当然,对此使用delete操作符是不合法的。这确实是一个矛盾,但同时也证明了为什么用C++指针概念来表示一个引用类型不是一个好的做法。

  在内存管理方面,除了上述在对象构造一节讨论过的内容,C++/CLI没有提供任何新的东西;资源管理,才是C++/CLI的拿手好戏。

  资源管理


  CLR只有在资源管理方面,才能胜过本地C++。Bjarne Stroustrup的"资源获取即初始化"的技术观点,基本定义了资源类型的模式,即类的构造函数获取资源,析构函数释放资源。这些类型是被当作堆栈上的局部对象,或复杂类型中的成员,其析构函数自动释放先前分配的资源。一如Stroustrup所言"对垃圾回收机制来说,C++是最好的语言,主要是因为它生成很少的垃圾。"

  也许有一点令人惊讶,CLR并没有对资源管理提供任何显式运行时支持,CLR不支持类似析构函数的C++概念,而是在 .NET Framework中,把资源管理这种模式,提升到一个IDisposable核心接口类型的中心位置。这种想法源自包装资源的类型,理应实现此接口的单一Dispose方法,以便调用者在不再使用资源时,可调用该方法。不必说,C++程序员会认为这是时代的倒退,因为他们习惯于编写那些缺省状态下清理就是正确的代码。

  因为必须要调用一个方法来释放资源,由此带来的问题是,现在更难编写"全无异常"的代码了。因为异常随时都可能发生,你不可能只是简单地在一段代码后,放置一个对对象的Dispose方法的调用,这样做的话,就必须要冒资源泄漏的风险。在C#中解决这个问题的办法是,使用try-finally块和using语句,在面对异常时,可提供一个更可靠的办法来调用Dispose方法。有时,构造函数也会使用这种方法,但一般的情况是,你必须要记住手工编写它们,如果忘记了,生成的代码可能会存在一个悄无声息的错误。对缺乏真正析构函数的语言来说,是否需要try-finally块和using语句,还有待论证。

using (SqlConnection connection = new SqlConnection("Database=master; Integrated Security=sspi"))
{
 SqlCommand command = connection.CreateCommand();
 command.CommandText = "sp_databases";
 command.CommandType = CommandType.StoredProcedure;

 connection.Open();

 using (SqlDataReader reader = command.ExecuteReader())
 {
  while (reader.Read())
  {
   Console.WriteLine(reader.GetString(0));
  }
 }
}

  对托管C++来说,情节也非常类似,也需要使用一个try-finally语句,但其是Microsoft对C++的扩展。虽然很容易编写一个简单的Using模板类来包装GCHandle,并在模板类的析构函数中调用托管对象的Dispose方法,但托管C++中依然没有C# using语句的对等物。

Using<SqlConnection> connection(new SqlConnection(S"Database=master; Integrated Security=sspi"));

SqlCommand* command = connection->CreateCommand();
command->set_CommandText(S"sp_databases");
command->set_CommandType(CommandType::StoredProcedure);

connection->Open();

Using<SqlDataReader> reader(command->ExecuteReader());

while (reader->Read())
{
 Console::WriteLine(reader->GetString(0));
}

  想一下C++中对资源管理的传统支持,其对C++/CLI也是适用的,但C++/CLI的语言设计犹如为C++资源管理带来了一阵轻风。首先,在编写一个管理资源的类时,对大部分CLR平台语言来说,其中一个问题是怎样正确地实现Dispose模式,它可不像本地C++中经典的析构函数那样容易实现。当编写Dispose方法时,需要确定调用的是基类的Dispose方法--若有的话,另外,如果选择通过调用Dispose方法来实现类的Finalize方法,还必须关注并发访问,因为Finalize方法很可能被不同的线程所调用。此外,与正常程序代码相反,如果Dispose方法实际上是被Finalize方法调用的,还需要小心仔细地释放托管资源。

  C++/CLI并没有与上述情况脱离得太远,但它提供了许多帮助,在我们来看它提供了什么之前,先来快速回顾一下如今的C#和托管C++有多么接近。下例假设Base从IDisposable派生。

class Derived : Base
{
 public override void Dispose()
 {
  try
  {
   //释放托管与非托管资源
  }
  finally
  {
   base.Dispose();
  }
 }

 ~Derived() //实现或重载Object.Finalize方法
 {
  //只释放非托管资源
 }
}
    • 评论
    • 分享微博
    • 分享邮件
    邮件订阅

    如果您非常迫切的想了解IT领域最新产品与技术信息,那么订阅至顶网技术邮件将是您的最佳途径之一。

    重磅专题
    往期文章
    最新文章