Может ли кто-нибудь объяснить мне, почему следующий код вызывает System.Reflection.AmbiguousMatchException?

Ответ 1

Чтобы ответить на ваш вопрос, я расскажу вам о термине "Таблица методов". Это часть внутреннего представления типов в .NET framework, где каждый тип .NET имеет свою собственную таблицу методов. Вы можете представить это как хэш-карту (или словарь), содержащий все методы и свойства этого типа. Ключом является подпись метода/свойства (имя метода и типы параметров, без типа возврата), а значение представляет собой набор методов/свойств сопоставления, а также некоторые данные метаданных отражения, например, какой тип объявил метод/свойство.

Когда класс A происходит от базового класса - B или реализует интерфейс C, элементы в таблице методов B и C становятся доступными непосредственно в таблице методов A. Если таблица методов A уже содержит элемент с определенной сигнатурой, этот элемент добавляется в коллекцию для одной и той же сигнатуры, поэтому теперь A будет иметь 2 метода/свойства, на которые указывает подпись. Единственный способ отличить эти повторяющиеся записи - это сравнить метаданные, описывающие тип, от имени которого объявлена ​​подпись.

Возьмем интерфейс IObjectWithId<TId>, который определяет свойство TId ID { get; set; }. Класс EntityBase реализует IObjectWithId<TId>, поэтому получает свойство TId ID { get; set; } в свою таблицу методов. В то же время этот класс реализует интерфейс IEntityBase, который дает ему свойство Object ID { get; set; }. Класс EntityBase затем получает два свойства под одной и той же сигнатурой (поскольку тип возврата не участвует в сигнатуре), в то время как он все равно будет выставлять 2 разных свойства. Следующее объявление приведет к ошибке компиляции:

   public class EntityBase : IEntityBase, IObjectWithId<int>
   {
        public int ID { get; set; }
   }

потому что IEntityBase не реализован. Аналогичным образом, также может произойти следующее:

   public class EntityBase : IEntityBase, IObjectWithId<int>
   {
        public object ID { get; set; }
   }

потому что это время IObjectWithId<int> не выполняется. Вы можете попытаться сделать это:

   public class EntityBase : IEntityBase, IObjectWithId<int>
   {
        public object ID { get; set; }
        public int ID { get; set; }
   }

просто получить другую ошибку компиляции для наличия двух свойств с одинаковой сигнатурой.

Способ работы с этим заключается в том, чтобы явно реализовать хотя бы одну из конфликтующих подписей:

   public class EntityBase : IEntityBase, IObjectWithId<int>
   {
        private object objID;
        private int intID;

        object IEntityBase.ID { get { return objID; } set { objID = value; } }     
        int IObjectWithId<int>.ID { get { return intID; } set { intID = value; } }
   }

Теперь вернемся к вашему коду - вы использовали object вместо TId, который создает редкий, но интересный случай - два ID свойства унифицировать из-за их идентичной подписи. Итак, этот класс:

   public class EntityBase : IEntityBase, IObjectWithId<object>
   {
        public object ID { get; set; }
   }

будет компилироваться, поскольку свойство ID удовлетворяет обоим интерфейсам. Однако класс EntityBase по-прежнему имеет два ID свойства в своей таблице методов (один из которых формирует каждый интерфейс). Эти два свойства автоматически присваиваются одной и той же реализации в классе EntityBase компилятором (процесс называется унификация).

Следующий код:

typeof(EntityBase).GetProperty(
    "ID", BindingFlags.Instance | BindingFlags.Public);

рассмотрит таблицу методов класса EntityBase и увидит две записи свойств для этой подписи и не будет знать, какой из них выбрать.

Это потому, что вы могли реализовать свой класс следующим образом:

   public class EntityBase : IEntityBase, IObjectWithId<object>
   {
        private object objID1;
        private int objID2;

        object IEntityBase.ID 
        { 
            get { return objID1; } 
            set { objID1 = value; } 
        }

        object IObjectWithId<object>.ID 
        {
            get { return objID2; } 
            set { objID2 = value; } 
        }
   }

См. - два свойства могут иметь различные реализации, и в этот момент среда выполнения не может знать, объединены ли их реализации (отражение происходит в время выполнения сейчас, а не при компиляции время, когда была выполнена унификация). Полученный AmbiguousMatchException способ .NET framework позволяет предотвратить выполнение кода с возможным неизвестным/непреднамеренным поведением.

Если для каждого интерфейса не предусмотрена какая-либо другая реализация (как в вашем случае), единственная реализованная вами реализация вызывается обеми в таблице методов для этой подписи, но все же есть две записи указывая на то же свойство. Чтобы предотвратить путаницу, вы должны использовать тип, достаточно высокий в иерархии наследования, так что он имеет только одну запись в своей таблице методов для члена, который вы хотите отразить. В нашем примере, если мы используем типы интерфейса, вместо этого, отражая свойство ID, мы решим наш случай, так как каждый из интерфейсов имеет только одну запись в своей таблице методов для запрошенной сигнатуры.

Затем вы можете использовать

Console.WriteLine(
    typeof(IEntityBase).GetProperty(
        "Id", BindingFlags.Instance | BindingFlags.Public));

или

Console.WriteLine(
    typeof(BusinessObject<object>).GetProperty(
        "Id", BindingFlags.Instance | BindingFlags.Public));

в зависимости от того, какую реализацию вы хотите получить. В случае моего последнего примера, когда каждый интерфейс имеет различную реализацию, у вас есть возможность вызывать отражение любой из реализаций, выбирая правильный интерфейс. В примере с вашего вопроса вы можете использовать любой интерфейс, который вам нужен, поскольку обе имеют одну реализацию.

Ответ 2

Я получил эту ошибку, когда было две реализации для одного метода интерфейса.