Блог

В настоящее время я использую стороннюю dll и не имею возможности отключить ее или не использовать. У меня есть класс, который выглядит следующим образом:

 public abstract class ParentClass<T> : ApiClass<T> where T : ApiClass<T>
{
    //...stuff
}
 

Это вызывает несколько проблем, если я хочу создать словарь или вернуть тип ParentClass, чтобы мне не нужно было заранее знать, какой это дочерний класс. Чтобы упростить разработку вокруг этого, я хотел бы сделать что-то вроде этого:

 //ChildClass should be what is passed to the generic, without directly referencing it
public abstract class ParentClass : ApiClass<InheritedClass>
{
    //...stuff
}

public class ChildClass : ParentClass
{

}

//Now I could define a dictionary like
Dictionary<KeyClass, ParentClass> Map;
 

Определение его, как во втором примере, позволило бы мне создать словарь, как и в первом. Я не уверен, что смогу определить словарь, когда у меня нет значения для общего? Немного больше информации о ApiClass, определение для ApiClass выглядит следующим образом:

 public abstract class ApiClass<Wrapper> : OtherApiClass where Wrapper : ApiClass<Wrapper>
{
    //...Stuff
}
 

Итак, в подобном сценарии, как бы я определил свой родительский класс без общего, но где тип, передаваемый ApiClass, является дочерним классом родительского класса (ApiClass явно нуждается в дочернем типе)?

Редактировать: немного прояснено значение InheritedClass

Редактирование 2: я не ищу альтернативы, я спрашиваю, как это сделать. Если я передам что-либо, кроме последнего унаследованного класса (текущего родительского класса, который я определил в начале вопроса), произойдет сбой Api. Если бы синтаксис существовал, он выглядел бы примерно так

 public abstract class ParentClass : ApiClass<typeof(this)>
 

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

 public abstract class ApiClass<T> where T : ApiClass<T>
 

Это пример любопытно повторяющегося шаблона шаблона.

Давайте рассмотрим это на конкретном примере:

 public abstract class ApiClass<T> where T : ApiClass<T>
{
    public abstract T GetNewInstance();
}
 

Если бы у меня был этот код, я мог бы использовать его следующим образом:

 public class MyApiClass : ApiClass<MyApiClass>
{
    public override MyApiClass GetNewInstance()
    {
        return new MyApiClass();
    }
}
 

Это позволяет MyApiClass иметь метод, определенный как абстрактный метод в этом родительском классе, который знает о текущем экземпляре. Эрик Липперт обсуждает это здесь .

Недостатком этого является то, что им можно злоупотреблять:

 public class MyNefariousApiClass : ApiClass<MyApiClass>
{
    public override MyApiClass GetNewInstance()
    {
        throw new NotImplementedException();
    }
}
 

Это законно, но в C # нет способа принудительно использовать сам класс в качестве универсального параметра. Если бы у нас class MyNefariousApiClass : ApiClass<this> это было, но у нас этого нет.

Теперь, когда вы говорите, что у вас есть класс public abstract class ParentClass<T> : ApiClass<T> where T : ApiClass<T> , который является вашим кодом для использования сторонней библиотеки.

Если это так, то это не обычный способ использования этого шаблона. Если вы переопределяете класс, он должен выглядеть так:

 public abstract class ParentClass<T> : ApiClass<T> where T : ParentClass<T>
 

Затем мы можем довести это до конечной точки и определить ChildClass примерно так:

 public class ChildClass : ParentClass<ChildClass>
{ }
 

Теперь, если вам нужен словарь, который может содержать любой такой ChildClass , вы застряли, поскольку родительский тип является общим. Единственное разумное решение — использовать интерфейс.

 public interface IParent
{ }

public abstract class ParentClass<T> : ApiClass<T>, IParent where T : ParentClass<T> 
{ }
 

Затем вы можете написать Dictionary<KeyClass, IParent> dictionary = new ... .