F# struct 构造函数中的参数验证

Question

这是一个简单的 C# 结构，它对 ctor 参数进行一些验证：

public struct Foo
{
    public string Name { get; private set; }

    public Foo(string name)
        : this()
    {
        Contract.Requires<ArgumentException>(name.StartsWith("A"));
        Name = name;
    }
}

我已设法将其转换为 F# 类：

type Foo(name : string) = 
    do 
        Contract.Requires<ArgumentException> (name.StartsWith "A")
    member x.Name = name

但是，我无法将其转换为 F# 中的结构：

[<Struct>]
type Foo = 
    val Name : string
    new(name : string) = { do Contract.Requires<ArgumentException> (name.StartsWith "A"); Name = name }

这会产生编译错误：

记录、序列或计算表达式无效。序列表达式应该是 形式'seq { ... }'

这不是一个有效的对象构造表达式。显式对象构造函数必须 调用备用构造函数或初始化对象的所有字段并指定 调用超类构造函数。

我查看了this 和this，但它们不包括参数验证。

我哪里做错了？

Answer 1

您可以在初始化结构后使用then 块。 在构造函数中执行副作用部分中的第一个 link 中对类进行了描述，但它也适用于结构。

[<Struct>]
type Foo = 
    val Name : string
    new(name : string) = { Name = name } 
                         then if name.StartsWith("A") then failwith "Haiz"

更新：

与您的示例更接近的另一种方法是使用;（顺序组合）和括号来组合表达式：

[<Struct>]
type Foo = 
    val Name : string
    new(name : string) = 
        { Name = ((if name.StartsWith("A") then failwith "Haiz"); name) } 

Answer 2

如果您想避免显式字段 (val) 和 then，这两个相对深奥的功能，您可以使用静态 Create 方法并坚持更常见的类型定义语法：

[<Struct>]
type Foo private (name: string) = 
  member x.Name = name
  static member Create(name: string) =
    Contract.Requires<ArgumentException> (name.StartsWith "A")
    Foo(name)