0

以下のジェネリック型に制約を付けたいのですが、意図したとおりにできるかどうかはわかりません。

public interface IMyClass<in TA, in TB>
{
    bool MyMethod<TX, TY>(TX argumentX, TY argumentY);
}

public class MyClass<TA, TB> : IMyClass<TA, TB>
{
    public bool MyMethod<TX, TY>(TX argumentX, IEnumerable<TY> argumentsY)
    {
        // DO STUFF
    }
}

型 TX と TY は TA と TB を表すことを意図していますが、交換可能である必要があります (これが、コードを複製せずにメソッドで TA と TB を使用できなかった理由です)。これは、制約が機能するために必要な方法です。

  • TX は、TA または TB と同じタイプでなければなりません。
  • TY は、TA または TB と同じ型でなければなりません。
  • TX が TA と同じ型の場合、TY は TB (および vv) と同じ型でなければなりません。

一般的な制約を使用して設計時にこれを強制する方法はありますか、または実行時に失敗するように例外を使用して実装する必要がありますか?

4

2 に答える 2

0

要するに、いいえ、一般的な制約は追加的であり、ブール論理に基づいてオンまたはオフに切り替えることはできません。これらのタイプの制約にも適合する、一般的に何ができるかは非常に疑問です。

于 2013-09-28T03:38:32.800 に答える