数据绑定和数据网格视图（DataGridView）控件
数据网格视图控件，不像我们前面看到的控件，它可以显示多个列，但是，数据必须格式化，使数据网格知道要显示哪一列。有两种实现方法：一个是把数据网格视图绑定到数据表（DataTable），另一个是把网格到绑定对象列表，对象有许多属性，不同的属性就成为网格的列。
下面的例子是一种简单的解决方案，绑定到数据集（DataSet）：
open System
open System.Collections.Generic
open System.Configuration
open System.Data
open System.Data.SqlClient
open System.Windows.Forms
// creates a connections then executes thegiven command on it
let createDataSet commandString =
//read the connection string
letconnectionSetting =
ConfigurationManager.ConnectionStrings.["MyConnection"]
//create a data adapter to fill the dataset
letadapter = new SqlDataAdapter(commandString, connectionSetting.ConnectionString)
//create a new data set and fill it
letds = new DataSet()
adapter.Fill(ds)|> ignore
ds
// create the data set that will be boundto the form
let dataSet = createDataSet "selecttop 10 * from Person.Contact"
// create a form containing a data bounddata grid view
let form =
lettemp = new Form()
letgrid = new DataGridView(Dock = DockStyle.Fill)
temp.Controls.Add(grid)
grid.DataSource<- dataSet.Tables.[0]
temp
// show the form
Application.Run(form)
运行前面的代码，可以看到如图 9-2 显示的结果。
图 9-2 绑定了数据的数据网格
若不使用 DataSet，还可以使用 F# 记录类型。这样，通常需要创建一个泛型函数（generic
function），通过反射（reflection）创建并发布强类型集合。下面的代码演示了这种泛型函数，把它包装在模块中，这样，就能更方便地把它用于其他代码，然后，用这个模块执行对数据库的查询：
module Strangelights.DataTools
open System
open System.Collections.Generic
open System.Configuration
open System.Data
open System.Data.SqlClient
open Microsoft.FSharp.Reflection
// a command that returns dynamicallycreated stongly typed collection
let execCommand<‘a> commandString :seq<‘a> =
//the opener that executes the command
letopener() =
//read the connection string
letconnectionSetting =
ConfigurationManager.ConnectionStrings.["MyConnection"]
//create the connection and open it
letconn = new SqlConnection(connectionSetting.ConnectionString)
conn.Open()
//excute the command, ensuring the read will close the connection
letcmd = conn.CreateCommand(CommandType = CommandType.Text,
CommandText = commandString)
cmd.ExecuteReader(CommandBehavior.CloseConnection)
// the generator, that generates anstrongly typed object for each row
let generator (reader : IDataReader) =
ifreader.Read() then
//get the type object and its properties
lett = typeof<‘a>
//get the values for the row from the reader
letvalues = Array.create reader.FieldCount (new obj())
reader.GetValues(values)|> ignore
letconvertVals x = match box x with | :? DBNull -> null | _ -> x
letvalues = Array.map convertVals values
//create the record and return it
Some(FSharpValue.MakeRecord(t, values) :?> ‘a)
else
None
// generate the sequence
Seq.generate
opener
generator
(funr -> r.Dispose())
例子代码的第一行使用了一个我们之前尚未用到过的方法，显式声明了函数的类型参数：
let execCommand<‘a> commandString :seq<‘a>
这样做，能够显式给定泛型参数‘a，这个类型参数然后用于创建类型对象，再对它做反射：
let t = typeof<‘a>
这个函数是用来处理 F# 记录类型，它的字段完全匹配查询结果的字段；如果不满足这个先决条件，代码就失败；然而，这个先决条件通常是在应用程序中以反射的形式使用的。
前面已经定义的泛型函数 execCommand，能够用于任何查询，匹配记录类型。下面的代码演示如何应用：
open System
open System.Windows.Forms
open Strangelights.DataTools
// a type that mirrors the type of rowbeing created
type Contact =
{ContactID: Nullable<int>;
NameStyle:Nullable<bool>;
Title:string;
FirstName:string;
MiddleName:string;
LastName:string;
Suffix:string;
EmailAddress:string;
EmailPromotion:Nullable<int>;
Phone:string;
PasswordHash:string;
PasswordSalt:string;
AdditionalContactInfo:string;
rowguid:Nullable<Guid>;
ModifiedDate:Nullable<DateTime> }
// a form containing a data bound data grid
let form =
lettemp = new Form()
letgrid = new DataGridView(Dock = DockStyle.Fill)
temp.Controls.Add(grid)
letcontacts =
execCommand<Contact>"select top 10 * from Person.Contact"
letcontactsArray = contacts |> Seq.to_array
grid.DataSource<- contactsArray
temp
// show the form
Application.Run(form)
最重要的是下面一行：
let contacts =
execCommand<Contact>"select top 10 * from Person.Contact"
为泛型函数 execCommand 显式声明了类型参数。这个例子的结果同前面的例子，如图 9-2 所示。
注意
使用对象-关系映射，比例NHibernate，执行这种任务已经相当普遍，这些工具提供了高度的灵活性，但它们往往过度依赖于纯正 C# 的功能，要想在 F# 中使用，体验并不良好，因此，我在书中没有讨论任何相关内容。但是，许多人，包括我自己正在努力解决这个问题；同时，建议你关注我的博客：http://strangelights.com/blog。