12

这是一个简单的 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 { ... }”形式

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

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

我在哪里做错了？

4

2 回答 2

12

您可以then在初始化结构后使用块。在Executing Side Effects in Constructors部分的第一个链接中对类进行了描述，但它也适用于结构。

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

更新：

更接近您的示例的另一种方法是使用;(sequential composition) 和括号来组合表达式：

[<Struct>]
type Foo = 
    val Name : string
    new(name : string) = 
        { Name = ((if name.StartsWith("A") then failwith "Haiz"); name) }
于 2012-09-26T11:49:17.180 回答
7

如果您想避免显式字段 ( 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)
于 2012-09-26T14:18:01.983 回答