Наслідуйте загальний базовий клас, застосуйте обмеження та реалізуйте інтерфейс у C #

Це синтаксичне запитання. У мене є загальний клас, який успадковується від загального базового класу і застосовує обмеження до одного з параметрів типу. Я також хочу, щоб похідний клас реалізував інтерфейс. За все життя я не можу зрозуміти правильний синтаксис.

Ось що я маю:

DerivedFoo<T1,T2> : ParentFoo<T1, T2> where T2 : IBar { ... }

Перше, що прийшло в голову:

DerivedFoo<T1,T2> : ParentFoo<T1, T2> where T2 : IBar, IFoo { ... }

Але це невірно, тому що T2 потребує реалізації як IBar, так і IFoo, а не DerivedFoo для реалізації IFoo.

Я трохи спробував гуглінг, використання кольорових точок, крапки з комою тощо, але я виявився коротким. Я впевнений, що відповідь головою ляпає просто.

Ви включаєте весь підпис свого класу, перш ніж визначати загальні обмеження.

class DerivedFoo<T1, T2> : ParentFoo<T1, T2>, IFoo where T2 : IBar
{
    ...
}

Моя рекомендація: коли у вас виникає запитання щодо синтаксису мови C #, прочитайте специфікацію; тому ми його публікуємо. Вам потрібно прочитати розділ 10.1.

Щоб відповісти на ваше конкретне запитання, порядок речей у декларації класу такий:

• атрибути, у квадратних дужках
• модифікатори ("загальнодоступні", "статичні" тощо)
• "частковий"
• "клас"
• назва класу
• список відокремлених комами оголошень параметрів типу всередині кутових дужок
• двокрапка слідує розділеному комою списку базових типів (базовий клас та реалізовані інтерфейси; базовий клас повинен бути першим, якщо такий є)
• обмеження параметрів типу
• корпус класу, оточений брекетами
• крапка з комою

Все в цьому списку є необов’язковим, крім "класу", назви та тіла, але все повинно бути в тому порядку, якщо воно з'являється.

public interface IFoo {}
public interface IBar {}

public class ParentFoo<T,T1> { }
public class DerivedFoo<T, T1> : ParentFoo<T, T1>, IFoo where T1 : IBar { }

public class KeyAndValue<T>
{
    public string Key { get; set; }
    public virtual T Value { get; set; }
}

public class KeyAndValue : KeyAndValue<string>
{
    public override string Value { get; set; }
}

Це розширення від існуючих відповідей. Він за замовчуванням застосовується, stringякщо ви не постачаєте тип. Я не реалізував інтерфейс, але це не повинно вимагати нічого іншого, ніж зазвичай.