3

为什么 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# 编译器按预期处理这种情况，成功编译代码。

4

1 回答 1

2

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

var indexer = testObj.Item;

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

我想说mutable structs evil不仅如此，你的伪 mutable structs 也是如此，它们可能不应该在现实世界中使用。如果您正在寻找现实世界的解决方案，请尝试public int this[int index]进入.TestClasstestObj[0] = 1;

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

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

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

于 2013-09-06T19:39:50.253 回答