Блог

Это очень специфическая проблема. Не совсем уверен, как это даже сформулировать. По сути, я реализую шаблон unit of work и репозитория, у меня есть динамический объект, который я преобразую в int, но если я использую var , он выдаст исключение при попытке вызвать метод.

Я попытался удалить все тривиальные переменные для этой проблемы, которые я могу. По какой-то причине я вижу, что это происходит только с этими двумя шаблонами проектирования. Исключение, которое я получаю, это Additional information: 'BlackMagic.ITacoRepo' does not contain a definition for 'DoStuff'

Вот код:

 class BlackMagic
{
    static void Main(string[] args)
    {
        dynamic obj = new ExpandoObject();
        obj.I = 69;

        UnitOfWork uow = new UnitOfWork();

        int i1 = Convert.ToInt32(obj.I);
        var i2 = Convert.ToInt32(obj.I);

        if(i1.Equals(i2))
        {
            uow.TacoRepo.DoStuff(i1); // Works fine
            uow.TacoRepo.DoStuff(i2); // Throws Exception
        }
    }
}

class UnitOfWork
{
    public ITacoRepo TacoRepo { get; set; }

    public UnitOfWork()
    {
        TacoRepo = new TacoRepo();
    }
}

class Repo<T> : IRepo<T> where T : class
{
    public void DoStuff(int i)
    {
    }
}

interface IRepo<T> where T : class
{
    void DoStuff(int i);
}

class TacoRepo : Repo<Taco>, ITacoRepo
{
}

interface ITacoRepo : IRepo<Taco>
{
}

class Taco
{
}
  

РЕДАКТИРОВАТЬ: Главный вопрос, на который я пытаюсь найти ответ, заключается в том, почему исключение генерируется при вызове DoStuff внутри единицы работы (при использовании репозитория), но не генерируется, если в BlackMagic классе существует doStuff.

Это одна из ошибок, о которых я сообщил в Microsoft более 5 лет назад, вскоре после того, как dynamic был представлен. Насколько я знаю, это считается очень низким приоритетом в их списке и, возможно, никогда не будет исправлено.

Вот простые шаги воспроизведения:

 using System.Collections;

class C
{
    static void Main()
    {
        object[] array = { };
        IList list = new ArrayList();
        list.CopyTo(array, 0); // Works okay
        dynamic index = 0;
        list.CopyTo(array, index); // Microsoft.CSharp.RuntimeBinder.RuntimeBinderException: 'System.Collections.IList' does not contain a definition for 'CopyTo'
    }
}
  

Вот объяснение проблемы. Когда элемент функции (метод или индексатор) вызывается в выражении, статический тип которого является типом интерфейса, и по крайней мере один из аргументов вызова имеет тип dynamic (что означает, что полный процесс поиска элемента — вывода типа — разрешения перегрузки откладывается до времени выполнения и становится обязанностью связующего во время выполнения, а не компилятора; компилятор выполняет только частичный набор проверок на основе неполной информации о типе), и вызываемый элемент наследуется интерфейсом от одного из своих базовых интерфейсов (а не объявленных в самом интерфейсе), то связующему среды выполнения не удается должным образом обойти дерево базовых интерфейсов, чтобы найти унаследованный элемент, и выдает исключение во время выполнения, сообщая, что требуемый элемент не найден. Обратите внимание, что это ошибка только связующего среды выполнения — компилятор правильно принял вызов (но отклонил бы его, если, например, вы допустили опечатку в имени метода).

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

 using System.Collections;

class C
{
    static void Main()
    {
        object[] array = { };
        IList list = new ArrayList();
        list.CopyTo(array, 0); // Works okay
        dynamic index = 0;
        ((ICollection) list).CopyTo(array, index); // Works okay
    }
}
  

Или, если возможно, полностью избавьтесь от динамической отправки, приведя аргументы типа dynamic к типу, указанному в подписи вызываемого участника.

 using System.Collections;

class C
{
    static void Main()
    {
        object[] array = { };
        IList list = new ArrayList();
        list.CopyTo(array, 0); // Works okay
        dynamic index = 0;
        list.CopyTo(array, (int) index); // Works okay
    }
}
  

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

Похоже, что RuntimeBinder не пересекает иерархию наследования, поэтому он ищет только в непосредственном интерфейсе ITacoRepo определение doStuff.

Если вы сделаете UnitOfWork use IRepo<Taco> вместо ITacoRepo , он сможет найти определение метода.