ジェネリック基本クラスから継承し、制約を適用して、C＃でインターフェイスを実装する

これは構文の質問です。ジェネリック基本クラスから継承し、型パラメーターの1つに制約を適用しているジェネリッククラスがあります。派生クラスにインターフェイスを実装することも必要です。私の人生では、正しい構文を理解できていないようです。

これは私が持っているものです：

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

最初に頭に浮かんだのはこれです。

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

しかし、これはT2がIFooを実装するためにDerivedFooではなくIBarとIFooの両方を実装する必要があるため、正しくありません。

私はグーグル、コロン、セミコロンの使用などを少し試しましたが、短くなりました。答えはきっと簡単です。

一般的な制約を定義する前に、クラスの署名全体を含めます。

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

私の推奨：C＃言語の構文について質問がある場合は、仕様を読んでください。それが私たちがそれを公開する理由です。セクション10.1をお読みください。

特定の質問に答えるために、クラス宣言での順序は次のとおりです。

• 大括弧内の属性
• 修飾子（ "public"、 "static"など）
• 「部分的」
• "クラス"
• クラス名
• 山括弧内の型パラメーター宣言のコンマ区切りリスト
• コロンは、コンマで区切られた基本タイプのリストの後に続きます（基本クラスと実装されたインターフェース、基本クラスがある場合は、基本クラスを最初にする必要があります）
• 型パラメーターの制約
• 中括弧で囲まれたクラスの本文
• セミコロン

「クラス」、名前、および本体を除いて、そのリストのすべてはオプションですが、表示される場合はすべてがこの順序で表示される必要があります。

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タイプを指定しない場合のデフォルトです。私はインターフェースを実装しませんでしたが、それは通常と異なるものを必要としないはずです。