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

这是一个简单的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 }

这给编译错误：

Invalid record,sequence or computation expression. Sequence expressions should be of
the form ‘seq { … }’

This is not a valid object construction expression. Explicit object constructors must
either call an alternate constructor or initialize all fields of the object and specify
a call to a super class constructor.

我已经看过this和this,但是它们并没有涵盖参数验证.

我在哪里做错了？

解决方法

您可以在初始化结构体之后使用block.它在您的第一个 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) }