4

我玩弄了这个ValueTuple结构并尝试实现一个不可变的复合键。键由值类型组成。

我试图通过一些单元测试来打破以下实现，但到目前为止没有成功。我错过了什么吗？

这也只是出于好奇，我想在ValueTuple.NET 4.7 发布之前了解 s 和它的限制。

到目前为止，我对 a 的理解ValueTuple是，它仅作为变量是可变的，而不是作为字段或属性。不过，不确定“可变”在这里是什么意思。更改ValueTuple实例是否实际上会创建一个新实例ValueTuple（就像众所周知的字符串是“不可变的”但实际上是引用类型）？

从这个答案

System.ValueTuple不仅是 a struct，它还是一个可变的，并且在使用它们时必须小心。想想当一个类将 aSystem.ValueTuple作为一个字段时会发生什么。

这是我的实现和测试

public interface IHaveCompositeKey
{
    (Guid id, string name) Key { get; }
}

public class ImmutableKey : IHaveCompositeKey
{
    public (Guid id, string name) Key { get; }
    public ImmutableKey((Guid id, string name) key) => Key = key;
    public override int GetHashCode() => Key.GetHashCode();
    public override bool Equals(object obj)
    {
        var a = obj as ImmutableKey;
        return a != null && Key.Equals(a.Key);
    }
}

[TestFixture]
public class KeyTests
{
    [Test]
    public void Test1() // passes
    {
        var key = (Guid.NewGuid(), "Foo");
        var a = new ImmutableKey(key);
        var b = new ImmutableKey(key);
        Assert.IsTrue(a.Equals(b));
        Assert.IsTrue(a.GetHashCode().Equals(b.GetHashCode()));
    }

    [Test]
    public void Test2() // passes
    {
        (Guid id, string name) key = (Guid.NewGuid(), "Foo");
        var a = new ImmutableKey(key);
        key.name = "Bar"; // mutable
        var b = new ImmutableKey(key);
        Assert.IsFalse(a.Equals(b));
        Assert.IsFalse(a.GetHashCode().Equals(b.GetHashCode()));
    }

    [Test]
    public void Test3() // does not compile
    {
        var key = (Guid.NewGuid(), "Foo");
        var a = new ImmutableKey(key);
        // compilation error
        a.Key.name = "Bar"; // immutable
        var b = new ImmutableKey(a.Key);
        Assert.IsFalse(a.Equals(b));
        Assert.IsFalse(a.GetHashCode().Equals(b.GetHashCode()));
    }
}

错误：无法修改“ImmutableKey.Key”的返回值，因为它不是变量

4

1 回答 1

9

在三种情况下可以更改可变结构并查看结果：

  • 局部变量：MyStruct s = new MyStruct(); s.Prop = 4;
  • 另一种类型的字段：class MyType { public MyStruct S;} ... myType.S.Prop = 4;
  • 数组元素：MyStruct[] myArray =...; myArray[3].Prop = 4;。

为什么帖子中的代码没有检测到更改 - 代码使用了属性而不是字段。

请注意，List<MyStruct>不允许修改，因为 indexer ( this[..]) 返回项目的副本（因为不支持像 C++ 那样返回引用）。

于 2017-05-08T19:48:59.807 回答