Question

当我在F＃中创建一个包含通用的，可变的.NET Stack的类时，如下例所示，该堆栈忽略了我推送到它的任何东西。

open System.Collections.Generic

type Interp(code: int array) =
    member val PC = 0 with get, set
    member this.stack: Stack<int> = new Stack<int>() 
    member this.Code = code

let interp = Interp([|1;2;3|])
interp.stack.Push(1)
printfn "%A" interp.stack // prints "seq[]" WAT?!

然而，如果我通过属性使堆栈可变：

open System.Collections.Generic

type Interp(code: int array) =
    member val PC = 0 with get, set
    member val stack: Stack<int> = new Stack<int>() with get, set 
    member this.Code = code

let interp = Interp([|1;2;3|])
interp.stack.Push(1)
printfn "%A" interp.stack // prints "seq[1]"

一切都像我期望的那样神奇地起作用。

这到底是怎么回事？我对以前语言（大多数是C＃）的不变性的理解会说，即使第一个例子中的堆栈是一个不可变成员，这个不可变性应该只是参考（我不应该重新分配Stack本身）。我仍然可以将值推送到/从中推送。我错过了什么，如果试图改变那个堆栈是错误的，为什么不抛出异常或编译错误？

Answer 1

如果您尝试编译第一个版本，然后使用例如Reflector将其反编译为C＃，您将看到堆栈成员的定义如下：

public class Interp
{
    public Stack<int> stack
    {
        get { return new Stack<int>(); }
    }

    // Other members omitted for clarity...
}

正如您所看到的，这也是有效的C＃代码，但显然不是您想要的。

第二个版本交叉编译成这样的东西：

public class Interp
{
    internal int[] code;
    internal Stack<int> stack@;

    public Interp(int[] code) : this()
    {
        this.code = code;
        this.stack@ = new Stack<int>();
    }

    public Stack<int> stack
    {
        get { return this.stack@; }
        set { this.stack@ = value; }
    }

    // Other members omitted for clarity...
}

这似乎更像是你想要一个财产做的事情。

Answer 2

更合适的做法是做到这一点：

open System.Collections.Generic

type Interp(code: int array) =
    let stack = Stack<int>()
    member val PC = 0 with get, set
    member this.Stack = stack
    member this.Code = code

如果您不需要在外部公开堆栈，请省略倒数第二行。

成员val和F＃中的成员有什么区别？

2 个答案: