使常量成为从F＃中的函数生成的字符串

Question

我是F＃的新手，我一直在从这个问题中脱颖而出：

SqlCommandProvider需要一个常量字符串，以下函数无法提供该字符串。在F＃交互式中运行它会返回“这不是有效的常量表达式或自定义属性值。”

let textgen (RIC: string, price: float, volume: int, inst: int, time:string) =
    let mutable mystring = "INSERT INTO hsbc(RIC, price, volume, type, time) VALUES (st1, st2, st3, st4, st5)"
    mystring <- mystring.Replace ("st1", RIC)
    mystring <- mystring.Replace ("st2", price.ToString())
    mystring <- mystring.Replace ("st3", volume.ToString())
    mystring <- mystring.Replace ("st4", inst.ToString())
    mystring <- mystring.Replace ("st5", time)
    mystring


let sqlcommand1 = textgen("0005.hk",71.2,5000,1,"2019-07-18 10:34:09.193")

type writedata4=SqlCommandProvider<sqlcommand1,connStr>
do
    let cmd6 = new writedata4(connStr)
    cmd6.Execute()
    0

我已经进行了一些研究，并且知道这是sqlcommand1在编译期间不是常量的问题。所以我尝试了这个：

[<Literal>]
let sqlcommand1 = textgen("0005.hk",71.2,5000,1,"2019-07-18 10:34:09.193")

再次返回：“这不是有效的常量表达式或自定义属性值”

任何帮助将不胜感激，非常感谢！

更新：谢谢！我改编了@Mark Pattison的代码，此方法有效：

let mywrite(RIC: string, price: float, volume: int, inst: int, time:string) =
    use cmd99 = new SqlCommandProvider<"INSERT INTO hsbc(RIC, price, volume, type, time) VALUES (@st1, @st2, @st3, @st4, @st5)", connStr>(connStr)
    cmd99.Execute(st1=RIC,st2=price,st3=volume,st4=inst,st5=System.DateTime.Parse time)
    |> ignore

但是，官方文档确实提到：

let cmd = new SqlCommandProvider<const(SqlFile<"GetDate.sql">.Text), connStr>(connStr)
cmd.Execute() |> ignore

由于该命令是从外部文本加载的，因此编译时的确定性应该更低，并且不应使用（但它似乎可以使用）。你能告诉我为什么吗？谢谢

Answer 1

这个想法是命令文本是一个编译时常量。显然sqlcommand1不能，因为它是在运行时通过调用创建的textgen。

这是一个如何@从docs中使用来创建参数化命令的示例：

open FSharp.Data

[<Literal>]
let connectionString = 
    @"Data Source=.;Initial Catalog=AdventureWorks2012;Integrated Security=True"

do
    use cmd = new SqlCommandProvider<"
        SELECT TOP(@topN) FirstName, LastName, SalesYTD 
        FROM Sales.vSalesPerson
        WHERE CountryRegionName = @regionName AND SalesYTD > @salesMoreThan 
        ORDER BY SalesYTD
        " , connectionString>(connectionString)

    cmd.Execute(topN = 3L, regionName = "United States", salesMoreThan = 1000000M) |> printfn "%A"

//output
//seq
//    [("Pamela", "Ansman-Wolfe", 1352577.1325M);
//     ("David", "Campbell", 1573012.9383M);
//     ("Tete", "Mensa-Annan", 1576562.1966M)]

您会看到命令字符串本身（以开头SELECT...）是一个常量字符串。