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 {...}'形式

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

我已经看过这个和这个,但它们不包括参数验证.

我哪里做错了？

Answer 1

then初始化结构后 可以使用块.在构造函数中执行副作用部分的第一个链接中描述了类,但它也适用于结构.

[<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)