Herdar de uma classe base genérica, aplicar uma restrição e implementar uma interface em C #

Esta é uma questão de sintaxe. Eu tenho uma classe genérica que está herdando de uma classe base genérica e está aplicando uma restrição a um dos parâmetros de tipo. Também quero que a classe derivada implemente uma interface. Pela minha vida, não consigo descobrir a sintaxe correta.

Isso é o que eu tenho:

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

A primeira coisa que me veio à mente foi:

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

Mas isso é incorreto, pois faz com que T2 precise implementar IBar e IFoo, não DerivedFoo para implementar IFoo.

Tentei pesquisar um pouco no Google, usar dois-pontos, ponto e vírgula, etc., mas não consegui. Tenho certeza de que a resposta é extremamente simples.

Você inclui a assinatura inteira de sua classe antes de definir restrições genéricas.

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

Minha recomendação: quando você tiver uma dúvida sobre a sintaxe da linguagem C #, leia a especificação; é por isso que o publicamos. Você vai querer ler a seção 10.1.

Para responder à sua pergunta específica, a ordem das coisas em uma declaração de classe é:

• atributos, entre colchetes
• modificadores ("público", "estático" e assim por diante)
• "parcial"
• "classe"
• o nome da classe
• uma lista separada por vírgulas de declarações de parâmetro de tipo dentro de colchetes angulares
• dois pontos seguidos de uma lista separada por vírgulas de tipos base (classe base e interfaces implementadas, classe base deve ir primeiro se houver)
• restrições de parâmetro de tipo
• o corpo da classe, cercado por colchetes
• um ponto e vírgula

Tudo nessa lista é opcional, exceto "classe", o nome e o corpo, mas tudo deve aparecer nessa ordem se aparecer.

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; }
}

Esta é uma extensão das respostas existentes. O padrão é stringse você não fornecer um tipo. Não implementei uma interface, mas isso não deve exigir nada diferente do normal.