c# - 为索引器集访问器调用生成的 CS1612(无法修改返回值...)

Question

为什么 C# 编译器会为尝试在不可变属性上调用索引器设置访问器的代码生成错误 CS1612？

using System;
using System.Collections.Generic;
using System.Text;

namespace StructIndexerSetter
{
    struct IndexerImpl {
        private TestClass parent;

        public IndexerImpl(TestClass parent)
        {
            this.parent = parent;
        }

        public int this[int index]
        {
            get {
                return parent.GetValue(index);
            }
            set {
                parent.SetValue(index, value);
            }
        }
    }

    class TestClass
    {
        public IndexerImpl Item
        {
            get
            {
                return new IndexerImpl(this);
            }
        }

        internal int GetValue(int index)
        {
            Console.WriteLine("GetValue({0})", index);
            return index;
        }
        internal void SetValue(int index, int value)
        {
            Console.WriteLine("SetValue({0}, {1})", index, value);
        }
    }

    class Program
    {
        static void Main(string[] args)
        {
            var testObj = new TestClass();
            var v = testObj.Item[0];

            // this workaround works as intended, ultimately calling "SetValue" on the testObj
            var indexer = testObj.Item;
            indexer[0] = 1;

            // this produced the compiler error
            // error CS1612: Cannot modify the return value of 'StructIndexerSetter.TestClass.Item' because it is not a variable
            // note that this would not modify the value of the returned IndexerImpl instance, but call custom indexer set accessor instead
            testObj.Item[0] = 1;
        }
    }
}

根据文档，此错误的含义如下:“尝试修改作为中间表达式的结果生成但未存储在变量中的值类型。当您尝试修改时，可能会发生此错误直接修改泛型集合中的结构，如下例所示:"

在这种情况下不应产生错误，因为表达式的实际值没有被修改。注意:Mono C# 编译器会按预期处理这种情况，成功编译代码。

Answer 1

在大多数情况下，C# 编译器不会费心去理解您的代码实际上在做什么。在这种情况下，您认为一切都会成功是对的，但这是一些相当不寻常的代码。如您所知，以下行:

var indexer = testObj.Item;

导致创建一个完全独立的 IndexerImpl 实例，因为那是 struct 的工作方式。所以通常当你改变它里面的东西时，像 indexer[0] = 1; 这样的行你正在改变 indexer，而不是 testObj.Item .由于 testObj.Item[0] = 1; 做同样的事情，只是没有命名变量，您的更改会立即被丢弃(或者如果值存储在 struct 而不是在 TestClass 中)。

我想说的不仅是 mutable structs evil ，你的伪可变 struct 在这里也是如此，它们可能不应该在现实世界中使用。如果您正在寻找真实世界的解决方案，请尝试将 public int this[int index] 移动到 TestClass 中，然后像 testObj[0] = 1 一样访问;。

更新 鉴于您在此答案的评论中所说的内容，您应该将 IndexerImpl 切换为 class(引用类型)，并且以一种不会不必要地创建大量对象的方式编写属性，例如

    private IndexerImpl _item;
    public IndexerImpl Item
    {
        get
        {
            return _item ?? (_item = new IndexerImpl(this));
        }
    }

这将重用实例，并且几乎没有开销。