从静态成员访问 let 绑定字段

Question

有没有办法从静态成员访问 let 绑定字段？以下给出了指示的错误：

type Foo(x) =
    let x = x
    static member test() =
        let foo = Foo(System.DateTime.Now.Month)
        printfn "%A" foo.x //the field, constructor or member 'x' is not defined
        ()

而私有显式字段确实允许静态成员访问：

type Bar =
    val private x:int
    new(x) = { x=x }
    static member test() =
        let Bar = Bar(System.DateTime.Now.Month)
        printfn "%A" Bar.x
        ()

文档http://msdn.microsoft.com/en-us/library/dd469494.aspx 声明“显式字段不适合常规使用”，但从静态成员访问私有实例字段肯定是常规场景。此外，我不相信您可以在主构造函数中设置显式字段，这意味着即使需要从静态成员访问一个私有实例字段，您的所有字段都必须移至显式字段，并且您不能再使用主构造函数——要么全有，要么全无。

作为实际示例，您实际上希望从静态成员访问私有实例字段，请考虑大整数实现：BigInteger 类将是不可变的，因此大整数的内部表示将保留为私有实例字段（我们称之为data）。现在，假设您认为Add(other) 实例方法不适用于不可变数据结构，并且您只想实现静态Add(lhs,rhs) 方法：在这种情况下，您需要能够访问lhs.data 和rhs.data .

Answer 1

我认为你不能这样做......事实上，你也不能从其他实例访问 let-bound 值：

type Foo() =
  let x = 3
  member this.Test(f:Foo) =
    f.x // same error

一般来说，如果您需要从它所属的实例外部访问这样的值，您可能应该创建一个私有属性来获取该值，或者改用一个私有字段。

更新 这由section 8.6.2 of the spec 覆盖。特别是：

实例“let”绑定在词法范围内（因此隐式私有）到正在定义的对象。

也许 F# 团队的某个人会给出明确的答案，解释为什么该语言会以这种方式运行。不过，我能想到几个可能的原因：

1. let-bound 值甚至可能不作为字段存在（例如，再次从规范中，如果值不是语法函数、不可变且未使用，则 let 绑定将由构造函数的局部表示在任何功能或成员中”）
2. 这似乎与该语言中其他地方的 let 绑定的行为一致。请参阅我在下面包含的大致等效的类和记录定义的示例（因为我似乎无法正确格式化有序列表中的代码块......）
3. 与许多其他语言相比，这提供了更细粒度的封装级别 - 被定义对象的本地绑定。通常，其他实例不需要访问这些绑定，在这种情况下最好不要公开它们。
4. 如果您想要您的类的其他实例（或从静态方法中）可以访问的东西，有一种简单的方法可以做到这一点 - 创建一个私有字段或属性，它的好处是明确表达您的意图，即值可以从您所在的实例外部访问。

如前所述，这里有一个大致等价的类定义和创建记录的方法：

type MyClass(i:int) =
  let j = i * i
  member this.IsSameAs(other:MyClass) = 
    false // can't access other.j here

type myRecord = { isSameAs : myRecord -> bool }
let makeMyRecord(i:int) =
  let j = i * i
  { isSameAs = (fun r -> false) } //obviously, no way to access r.j here

由于 F# 中的构造函数在概念上类似于任何其他返回类型实例的函数（例如，它们可以在不使用 new 的情况下调用），因此调用 MyClass 5 在概念上类似于调用 makeMyRecord 5。在后一种情况下，我们显然不希望有任何方法可以从记录的另一个实例访问 j 的本地 let 绑定。因此，在前一种情况下我们也无权访问绑定是一致的。

Answer 2

然而，访问 let 绑定的字段来自 静态成员当然是例行公事 场景

你在这里是什么意思？对应的 C# 场景是什么（带有示例）？

注意这是合法的：

type Foo() =
    let x = 4
    member this.Blah = x + 1
    member private this.X = x
    static member Test(foo:Foo) =
        foo.X

也就是说，您可以将 let-bound 值公开为私有成员，静态可以读取/使用。