さまざまな次元の幾何学的エンティティを処理できる汎用アルゴリズムをC＃で記述しようとしています。

次の不自然な例ではPoint2、とを使用していますがPoint3、どちらも単純なIPointインターフェースを実装しています。

これで、関数GenericAlgorithmを呼び出す関数ができましたGetDim。タイプに基づいて、この関数には複数の定義があります。を実装するものに対して定義されているフォールバック関数もありますIPoint。

最初は、次のプログラムの出力が2、3であると予想していましたが、0、0です。

interface IPoint {
    public int NumDims { get; } 
}

public struct Point2 : IPoint {
    public int NumDims => 2;
}

public struct Point3 : IPoint {
    public int NumDims => 3;
}

class Program
{
    static int GetDim<T>(T point) where T: IPoint => 0;
    static int GetDim(Point2 point) => point.NumDims;
    static int GetDim(Point3 point) => point.NumDims;

    static int GenericAlgorithm<T>(T point) where T : IPoint => GetDim(point);

    static void Main(string[] args)
    {
        Point2 p2;
        Point3 p3;
        int d1 = GenericAlgorithm(p2);
        int d2 = GenericAlgorithm(p3);
        Console.WriteLine("{0:d}", d1);        // returns 0 !!
        Console.WriteLine("{0:d}", d2);        // returns 0 !!
    }
}

OK、そのため、何らかの理由で具体的な型情報がで失われGenericAlgorithmます。なぜこれが起こるのか完全にはわかりませんが、問題ありません。この方法でそれができない場合、他にどのような選択肢がありますか？

この方法：

static int GenericAlgorithm<T>(T point) where T : IPoint => GetDim(point);

...は常に呼び出しますGetDim<T>(T point)。オーバーロードの解決はコンパイル時に実行されますで、その段階では他に適用可能なメソッドはありません。

実行時にオーバーロード解決を呼び出したい場合は、動的型付けを使用する必要があります。例：

static int GenericAlgorithm<T>(T point) where T : IPoint => GetDim((dynamic) point);

ただし、これには継承を使用する方が一般的には良い方法point.NumDimsです。この例では、明らかに単一のメソッドとreturnだけを使用できます。私はあなたの実際のコードで同等のことを行うのが難しい理由があると思いますが、これ以上のコンテキストがなければ、継承を使用して特殊化を実行する方法についてアドバイスすることはできません。これらはあなたのオプションです：

• ターゲットの実行時タイプに基づく特殊化の継承（推奨）
• 実行時の過負荷を解決するための動的型付け

C＃8.0以降では、ジェネリックメソッドを要求するのではなく、インターフェイスのデフォルト実装を提供できるはずです。

interface IPoint {
    int NumDims { get => 0; }
}

ジェネリックメソッドの実装と実装ごとのオーバーロードIPointも、リスコフ代入原理（SOLIDのL）に違反します。アルゴリズムを各IPoint実装にプッシュすることをお勧めします。つまり、必要なのは単一のメソッド呼び出しのみです。

static int GetDim(IPoint point) => point.NumDims;

訪問者パターン

dynamic使用法の代わりに、以下のビジターパターンを使用することもできます。

interface IPoint
{
    public int NumDims { get; }
    public int Accept(IVisitor visitor);
}

public struct Point2 : IPoint
{
    public int NumDims => 2;

    public int Accept(IVisitor visitor)
    {
        return visitor.Visit(this);
    }
}

public struct Point3 : IPoint
{
    public int NumDims => 3;

    public int Accept(IVisitor visitor)
    {
        return visitor.Visit(this);
    }
}

public class Visitor : IVisitor
{
    public int Visit(Point2 toVisit)
    {
        return toVisit.NumDims;
    }

    public int Visit(Point3 toVisit)
    {
        return toVisit.NumDims;
    }
}

public interface IVisitor<T>
{
    int Visit(T toVisit);
}

public interface IVisitor : IVisitor<Point2>, IVisitor<Point3> { }

class Program
{
    static int GetDim<T>(T point) where T : IPoint => 0;
    static int GetDim(Point2 point) => point.NumDims;
    static int GetDim(Point3 point) => point.NumDims;

    static int GenericAlgorithm<T>(T point) where T : IPoint => point.Accept(new Visitor());

    static void Main(string[] args)
    {
        Point2 p2;
        Point3 p3;
        int d1 = GenericAlgorithm(p2);
        int d2 = GenericAlgorithm(p3);
        Console.WriteLine("{0:d}", d1);        // returns 2
        Console.WriteLine("{0:d}", d2);        // returns 3
    }
}

GetDim関数をクラスとインターフェイスで定義しないのですか？実際、GetDim関数を定義する必要はありません。プロパティNumDimsを使用するだけです。