CS0121 调用泛型容器的索引器时方法调用不明确

Question

我正在尝试实现一个可以双向索引的通用容器：

class DoubleIndexer<T1, T2>
{
    public T2 this[T1 key] { get => default; set { } }
    public T1 this[T2 key] { get => default; set { } }
}

问题是当我尝试对 T1 和 T2 使用具有相同类型的实例时出现编译时错误：

var int_int = new DoubleIndexer<int, int>();
int_int[1] = 13; // CS0121: The call is ambiguous between the following
                 // methods or properties: 'DoubleIndexer<T1, T2>.this[T1]'
                 // and 'DoubleIndexer<T1, T2>.this[T2]'

T1和T2类型不同时没有问题：

var int_string = new DoubleIndexer<int, string>();
int_string[1] = "Hello"; // OK
int_string["Hello"] = 1; // OK

var int_byte = new DoubleIndexer<int, byte>();
int_byte[1] = 13; // OK
int_byte[(byte)13] = 1; // OK

这个问题有什么解决方法吗，还是我不得不改变我的泛型类的接口？

Answer 1

Coders 用于 Dictionary 单向工作 Key > Value。鉴于语言限制，您应该采用更直观、更可预测且符合现有技术的方法。

1. 子界面只适用于相反的情况

代码：

var lookupByIDReversible = new DoubleIndexer<int, string>();
...
lookupByIDReversible[1] = "hello";
lookupByIDReversible.Reverse["hello"] = 1;

你可能会想到一些更好的语言。

我将把实现留给你。

---

1. 可以使用 Nx 索引器以 RecordSet 为中心

完全另一种方法是使用记录集模式，该模式可以发出与该集保持链接的索引器。该集合是所有索引器的中心。

class Message
{
    public int ID;
    public int ToUserID;
    public int FromUserID
    public string MessageBody;
    public DateTime UpdatedAt;
}

var messages = new RecordSet<Message>();
messages.AddRange(...);
var byToUserID = messages.IndexBy(r => r.ToUserID);
byToUserID[7].FromUserID = 8; //Found member assignment
byToUserID[9] = byToUserID[10]; //Assignment (probably not desirable)
var byMessageBody = messages.IndexBy(r => r.MessageBody);
byMessageBody["hello"].ToUserID = 11;

byToUserID[12] = new Message() { MessageBody = "test1", ... }; //Where ToUserID in the supplied object will be overwritten.
byMessageBody["test1"].ToUserID == 12; //Evaluates to true

这样做的好处是，您可以获得更可预测的语义 API，但它也可以扩展到超过 2 种类型。

Answer 2

解决方法可以基于explicit interfaces:

第二版

public interface IDirectIndex<T1, T2>
{
    T2 this[T1 key] { get; set; }
}

public interface IInvertedIndex<T1, T2>
{
    T1 this[T2 key] { get; set; }
}

internal class DoubleIndexer<T1, T2> : IDirectIndex<T1, T2>, IInvertedIndex<T1, T2>
{
    T2 IDirectIndex<T1, T2>.this[T1 key]
    {
        get => default;
        set { Console.WriteLine($"T2 IDirectIndex<T1, T2>.this[T1 key]: {value}"); }
    }

    T1 IInvertedIndex<T1, T2>.this[T2 key]
    {
        get => default;
        set { Console.WriteLine($"T1 IInvertedIndex<T1, T2>.this[T2 key]: {value}"); }
    }
}

测试示例：

    var int_string = new DoubleIndexer<int, string>();
    ((IDirectIndex<int, string>)int_string)[1] = "Hello"; // OK
    ((IInvertedIndex<int, string>)int_string)["Hello"] = 1; // OK

    var int_byte = new DoubleIndexer<int, byte>();
    ((IInvertedIndex<int, byte>)int_byte)[1] = 134567; // OK
    ((IDirectIndex<int, byte>)int_byte)[134567] = 41; // OK            

    var int_int = new DoubleIndexer<int, int>();
    ((IInvertedIndex<int, int>)int_int)[1] = 1345; // OK
    ((IDirectIndex<int, int>)int_int)[13] = 5431; // OK

---

第一版

public interface IIndex<T1, T2>
{
    T2 this[T1 key] { get; set; }
}

internal class DoubleIndexer<T1, T2> : IIndex<T1, T2>
{
    public T1 this[T2 key]
    {
        get => default;
        set { Console.WriteLine($"T1 this[T2 key]: {value}"); }
    }

    T2 IIndex<T1, T2>.this[T1 key]
    {
        get => default;
        set { Console.WriteLine($"T2 IIndex<T1, T2>.this[T1 key]: {value}"); }
    }
}

测试示例：

    var int_string = new DoubleIndexer<int, string>();
    ((IIndex<int, string>)int_string)[1] = "Hello"; // OK
    int_string["Hello"] = 1; // OK

    var int_byte = new DoubleIndexer<int, byte>();
    int_byte[1] = 134567; // OK
    ((IIndex<int, byte>)int_byte)[134567] = 41; // OK            

    var int_int = new DoubleIndexer<int, int>();
    int_int[1] = 1345; // OK
    ((IIndex<int, int>)int_int)[13] = 5431; // OK 

---

MSDN Indexers in Interfaces:

只有在 类正在使用相同的索引器实现多个接口 签名