f# 中的参数化测试 - 这不是有效的常量表达式

由于某种原因，当通过以下方式将参数传递给测试时TestCase属性时，我收到有关第一个参数的以下错误消息，在本例中是一个数组：

这不是有效的常量表达式或自定义属性值

module GameLogicTest = 
    open FsUnit
    open NUnit.Framework
    open GameLogic.Examle

    // This is not a valid constant expression or custom attribute value
    [<TestCase( [| 1; 2; 3 |], 3, 1,1)>]
    let ``let example.`` (a, m, h, c) = 
        a
        |> proof1 m
        |> should equal (h,c)

但是，当从属性和方法本身中删除最后一个参数时，一切都正常。

[<TestCase( [| 1; 2; 3 |], 3, 1)>]
let ``let example.`` (a, m, h) = 
    a
    |> proof1 m
    |> should equal (h,1)

我究竟做错了什么？最好我还定义一个元组int * int但它似乎也不起作用。

CLI 对属性参数的种类有限制：

• 原语：bool、int、float 等
• enums
• strings
• 类型引用：System.Type
• 'kinda objects'：上面类型的盒装（如果需要）表示
• 上述类型之一的一维数组（即不允许嵌套数组）

所以我们现在可以得出结论，不能使用元组作为属性参数的类型。

从这里开始我的猜测，所以以下内容都不可能是真的。

我尝试了一下不同的属性，发现当属性具有可变数量的参数 (param) 时，F# 编译器开始抱怨每个数组参数。例如，如果我定义以下属性

public class ParamsAttribute : Attribute
{
    public ParamsAttribute(params object[] parameters)
    {}
}

并尝试从 F# 代码中使用它，我会收到错误：

[<Params(1, 2, 3)>] // here everything is OK
let x () = ()

[<Params([|1; 2; 3|])>] // the same error as you have
let y () = ()

我猜编译器可以将 params 参数视为数组，因此不允许在其中定义“嵌套”数组。但正如我所说，这纯粹是猜测。