理解和应用 F#中的“use”语法

F#是一个运行在 CLR 之上的函数式语言。尽管是一个研究性语言，它还是具有几个值得称道的地方，比如是第一个支持泛型的.NET 语言。

在最近关于F# 1.9.2 的帖子中， Don Syme 谈论到了“use”语法。本质上它不是那么有趣，仅仅是提供了对于 C#和 VB 开发人员来说很熟悉的 Using 结构的支持。实际上，“use”本身并没有比可以在 F#中轻易写出的“using”函数强大多少。

作为一个未来可能的增强部分，Don Syme 提到“use”语法能运用在类级别的代码中。如果是这样的，那么 IDisposable 模式将能被编译器自动实现。

在我们继续讲解之前，让我们花点时间来看看 IDisposable 模式。下面的代码是随 Visual Basic 一起发布的代码片段。

<span size="2"><span>Class</span> ResourceClass<br></br><span>Implements</span> IDisposable<p><span>Private</span> disposed <span>As</span> <span>Boolean</span> = <span>False</span> <span>' To detect redundant calls</span></p><p><span>' IDisposable</span><span>Protected</span> <span>Overridable</span> <span>Sub</span> Dispose(<span>ByVal</span> disposing <span>As</span> <span>Boolean</span>)</p><br></br><span>If</span> <span>Not</span> <span>Me</span>.disposed <span>Then</span><br></br><span>If</span> disposing <span>Then</span><p><span>' Free other state (managed objects).</span><span>End</span> <span>If</span></p><p><span>' Free your own state (unmanaged objects).</span><span>' Set large fields to null.</span><span>End</span> <span>If</span></p><br></br><span>Me</span>.disposed = <span>True</span><br></br><span>End</span> <span>Sub</span><p><span>#Region</span> <span>" IDisposable Support "</span></p><p><span>' This code added by Visual Basic to correctly implement the disposable pattern.</span><span>Public</span> <span>Sub</span> Dispose() <span>Implements</span> IDisposable.Dispose</p><p><span>' Do not change this code. Put cleanup code in Dispose(ByVal disposing As Boolean) above.</span> Dispose(<span>True</span>)</p><br></br> GC.SuppressFinalize(<span>Me</span>)<br></br><span>End</span> <span>Sub</span><p><span>Protected</span> <span>Overrides</span> <span>Sub</span> Finalize()</p><p><span>' Do not change this code. Put cleanup code in Dispose(ByVal disposing As Boolean) above.</span> Dispose(<span>False</span>)</p><br></br><span>MyBase</span>.Finalize()<br></br><span>End</span> <span>Sub</span><p><span>#End Region</span><span>End</span> Class</p></span>正如你看到的，有太多额外的东西需要写。就算类没有包含任何非托管资源，允许去除 Finalize 方法，还是需要写很多东西。到最后，依旧还有缺陷，因为没有错误处理代码，这会是按照这种方法编写代码遇到的一个主要问题。

这就是真正能感受到研究性语言带来的影响所在。通过把 F#的这个想法运用到 VB 和 C#中，我们将能把所有的这些八股代码简化为一个单独的方法，以便自动处理非托管对象。

查看英文原文： The “use” Binding In F# and How It Should Be Applied To C# and VB