财产决定论

Question

C# 中有没有办法将属性标记为确定性？

我问的原因是我经常发现自己声明一个局部变量并将属性读入其中，而不是多次访问该属性。

有什么方法可以将属性装饰为确定性的，以便编译器可以优化对该属性的多次访问？我猜测在这种情况下，该类需要是不可变的，并进行这样的装饰。

这是真的存在的东西还是我抓住了救命稻草？

Answer 1

如果属性很简单，例如隐式属性：

public int X { get; set; }

或从局部变量读取：

public int X { get { return _x; } }

那么编译器将优化代码，以便多次访问该属性与将属性放入变量并访问该属性之间没有区别。

我通过比较访问属性十次的 1 亿次迭代和将属性复制到变量并访问该十次来验证这一点，并且根本没有可测量的差异。

一般来说，属性应该是轻量级的，这样您就不必在每次访问它时都进行繁重的处理。如果属性值的获取成本很高，则类应该在内部缓存该值，以便读取属性只会在第一次执行成本高昂的操作（延迟加载模式）。

如果每次获取一个属性的成本都很高，那么它根本不应该是一个属性，而应该是一个 getter 方法。

Answer 2

C# 中没有任何机制允许您引入 const 属性 getter，即不更改对象状态的 getter。

Microsoft 文档只是建议不要在您的应用程序中引入任何副作用吸气剂：

使用 get 访问器更改对象的状态是一种不好的编程风格。例如，以下访问器会产生副作用：每次访问数字字段时都会更改对象的状态。

私有整数；
公共整数号
{
    得到
    {
        返回数字++； // 不要这样做
    }
}

正如 Daren 所提到的，要考虑的另一个方面是多线程（除非您的对象确实是不可变的）。如果另一个线程更改了对象状态，以便 getter 在第二次调用时返回不同的值，该怎么办？编译器没有简单的方法可以做出任何保证，例如在下面的场景中：

class List
{
    IList data;

    // called several times on thread A
    // property has no side-effects
    public int Count { get data.Length; }

    // called several times on thread B
    public void Add(object o)
    {
        data.Add(o);
    }
}

Answer 3

我猜您正在寻找只读，但是我不确定性能与局部变量相比如何。而且它只适用于字段，不适用于属性。

此外，只读并不意味着确定性。

private readonly List<string> fixedList = new List<string>();

仅仅意味着fixedList对象不能被替换，但是内容仍然可以改变。

Answer 4

除非您的属性的支持字段是只读的，否则您将如何解决线程问题？