F#中调用已关闭IDataReader的Read方法触发无效操作错误求助

这个问题我之前也碰到过，核心原因是F#的序列（seq）是延迟执行的特性搞的鬼，咱们一步步拆解问题和解决方案：

问题重现 #

你定义的类型和数据读取代码本身逻辑没问题：

type DownloadedItem = { Period: DateTime; Name: string } 
with 
    static member fromRdr(rdr:IDataReader) = { Period = rdr.GetDateTime 0; Name = rdr.GetString 1 } 
    static member asSeq (rdr:IDataReader) = seq { while rdr.Read() do yield DownloadedItem.fromRdr rdr }

读取数据的代码：

let files = 
    let sql = "exec [sp_name] @StartPeriod"
    use conn = new SqlConnection(Shared.connectionString)
    use cmd = new SqlCommand(sql, conn)
    cmd.Parameters.Add("@StartPeriod", SqlDbType.Date).Value <- StartPeriod
    conn.Open()
    use reader = cmd.ExecuteReader()
    reader |> DownloadedItem.asSeq

但执行files;;时触发错误：

Error: Invalid attempt to call Read when reader is closed.

原因分析 #

use关键字会在代码块结束时自动释放资源（调用Dispose()）。你的files变量只是保存了一个未执行的序列迭代器，当你在F#交互里执行files;;时，才真正开始尝试读取数据——但这时候conn和reader早就被use块释放关闭了，自然会触发读取已关闭reader的错误。

解决方案 #

最简单直接的办法是把延迟执行的序列转换成立即执行的集合（比如List或Array），这样在use块结束前就把所有数据读取到内存里：

修改读取代码的最后一行，加上|> List.ofSeq（或者Array.ofSeq）：

let files = 
    let sql = "exec [sp_name] @StartPeriod"
    use conn = new SqlConnection(Shared.connectionString)
    use cmd = new SqlCommand(sql, conn)
    cmd.Parameters.Add("@StartPeriod", SqlDbType.Date).Value <- StartPeriod
    conn.Open()
    use reader = cmd.ExecuteReader()
    reader |> DownloadedItem.asSeq |> List.ofSeq

这样当use块执行完毕时，数据已经全部读取到List中，后续迭代files就不会再依赖已关闭的reader了。

如果你的数据量极大，不想一次性加载到内存，也可以把整个读取逻辑封装成一个函数，确保序列迭代期间资源始终保持打开，但对于大多数场景，转换成List/Array是最省心的方案。

内容的提问来源于stack exchange，提问作者ca9163d9