“Ограничения для явной интерфейсной реализации …”

Я вполне уверен, Вы не повезло до используете компилятор и дженерики для сохранения Вас некоторые проверки на этапе выполнения. Вы не можете переопределить что-то, что уже не существует, и у Вас не может быть различных типов возврата к тем же методам.

Я не могу сказать, что полностью понимаю Вашу мотивацию, но она имеет техническую заслугу.

Моя первая попытка использовала базовый класс, имеющий Невиртуальный открытый интерфейс и затем защищающий другого виртуальный метод CheckCreatedType это позволило бы чему-либо в цепочке осматривать тип, прежде чем базовый класс Создаст, был назван.

public class A
{
    public IFieldSimpleItem Create()
    {
        IFieldSimpleItem created = InternalCreate();
        CheckCreatedType(created);
        return created;
    }

    protected virtual IFieldSimpleItem InternalCreate()
    {
        return new SimpleImpl();
    }
    protected virtual void CheckCreatedType(IFieldSimpleItem item)
    { 
        // base class doesn't care. compiler guarantees IFieldSimpleItem
    }
}
public class B : A
{
    protected override IFieldSimpleItem InternalCreate()
    {
        // does not call base class.
        return new NormalImpl();
    }
    protected override void CheckCreatedType(IFieldSimpleItem item)
    {
        base.CheckCreatedType(item);
        if (!(item is IFieldNormalItem))
            throw new Exception("I need a normal item.");

    }
}

Следующее всовывает проверку времени выполнения в базовом классе. Неразрешимая проблема - Вы, все еще должны полагаться на называемый метод базового класса. Неправильно себя ведущий подкласс может повредиться, все проверяет не вызов base.CheckCreatedType(item).

Альтернативы - Вы hardcode все проверки на все подклассы в базовом классе (плохо) или иначе воплощают проверку.

Попытка 2: Классы (Sub) регистрируют проверки, в которых они нуждаются.

public class A
{
    public IFieldSimpleItem Create()
    {
        IFieldSimpleItem created = InternalCreate();
        CheckCreatedType(created);
        return created;
    }

    protected virtual IFieldSimpleItem InternalCreate()
    {
        return new SimpleImpl();
    }

    private void CheckCreatedType(IFieldSimpleItem item)
    {
        Type inspect = this.GetType();
        bool keepgoing = true;
        while (keepgoing)
        {
            string name = inspect.FullName;
            if (CheckDelegateMethods.ContainsKey(name))
            {
                var checkDelegate = CheckDelegateMethods[name];
                if (!checkDelegate(item))
                    throw new Exception("failed check");
            }
            if (inspect == typeof(A))
            {
                keepgoing = false;
            }
            else
            {
                inspect = inspect.BaseType;
            }
        }
    }

    private static Dictionary<string,Func<IFieldSimpleItem,bool>> CheckDelegateMethods = new Dictionary<string,Func<IFieldSimpleItem,bool>>();
    protected static void RegisterCheckOnType(string name, Func<IFieldSimpleItem,bool> checkMethod )
    {
        CheckDelegateMethods.Add(name, checkMethod);
    }
}
public class B : A
{
    static B()
    {
        RegisterCheckOnType(typeof(B).FullName, o => o is IFieldNormalItem);
    }

    protected override IFieldSimpleItem InternalCreate()
    {
        // does not call base class.
        return new NormalImpl();
    }
}

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

Я предполагаю, что это - ошибка разработчика, которую Вы пытаетесь зафиксировать. Если это применимо, можно украсить метод проверки на этапе выполнения System.Diagnostics.Conditional("DEBUG")], разрешение Версии выпуска пропустить проверки.

Мое знание дженериков не прекрасно, поэтому возможно, это является ненужным. Однако проверки здесь не должны быть для одного только типа: это могло быть адаптировано к другому использованию. например, делегат передал в Register.. не должен просто проверять, что ссылка является определенным типом'

* Примечание, что, вероятно, не хорошо создать словарь по имени типа, как записано выше; эта работа немного упрощенна для иллюстрирования используемого механизма.