如果属性访问,C#Struct方法不会保存值

Question

我需要创建一个看起来像int的结构(但是我需要一个额外的字段......),所以我创建了一个名为TestStruct的新结构,添加了一个我需要的方法(test())并重载了一些运算符,它看起来运作良好......

下面的示例显示了问题.如果从Val属性执行结构test()方法,那么Val属性似乎会丢失该值,但如果该方法在Val2变量上执行,则该值似乎保持正确的值...

为什么会这样？

static class Program
{
    /// <summary>
    /// The main entry point for the application.
    /// </summary>
    [STAThread]
    static void Main()
    {
        new TestClass();
    }
}

public class TestClass
{
    public TestStruct Val { get; set; }
    private TestStruct Val2;

    public TestClass()
    {
        Val.test();
        Console.WriteLine(Val + "-> why is it not 10?");

        //Direct assignment works well...
        Val = 123;
        Console.WriteLine(Val  + "-> direct assingment works..");

        //This way works too. Why doesn't it work with "get;" and "set;"?
        Val2.test();
        Console.WriteLine(Val2 + "-> it works this way");
    }
}

public struct TestStruct
{
    private Int32 _Value;
    public long Offset { get; set; }

    public static implicit operator TestStruct(Int32 value)
    {
        return new TestStruct { _Value = value };
    }

    public static implicit operator Int32(TestStruct value)
    {
        return value._Value;
    }

    public void test()
    {
        _Value = 10;
    }
}

Answer 1

你struct错了.

由于很多原因,你永远不应该创建一个可变的结构.

就像一个int或DateTime值是不可变的并且永远不会改变一样,所以你的特定值也struct绝不会改变.

相反,您可以创建返回新的不同值的函数.

以下是可变结构是邪恶的一些原因:

1. http://ericlippert.com/2008/05/14/mutating-readonly-structs/
2. http://blog.slaks.net/2010/12/when-shouldnt-you-write-ref-this.html
3. http://codeblog.jonskeet.uk/2010/07/27/iterate-damn-you/
4. http://philosopherdeveloper.wordpress.com/2011/03/31/how-i-discovered-a-bug-in-the-c-compiler-part-1/

回答这个问题,Val.test()相当于get_Val().test().
由于结构是值类型,`get_Val()(自动生成的属性getter)返回结构的副本.
私有支持字段中的原始结构不受影响.

Answer 2

它是一个结构,所以它是一个值类型 - 它是按值复制的,而不是通过引用复制的.

属性只是方法调用的语法糖,Val编译为:

private TestStruct _valBackingField;
public TestStruct get_Val {
    return _valBackingField;
}

通过属性访问结构时,每次访问Getter时都会获得一个新的副本.通过字段访问结构时,每次都会获得相同的对象.

这就是可变价值类型被认为是邪恶的原因.