Farklı boyutta geometrik varlıkları ile çalışabilir C # genel algoritmaları yazmaya çalışıyorum.

Ben şu yapmacık örnekte Point2ve Point3hem basit uygulayan IPointbir arayüz.

Şimdi bir işlevi GenericAlgorithmçağıran bir fonksiyon var GetDim. Bu işlevin türe bağlı olarak birden fazla tanımı vardır. Ayrıca, uygulayan her şey için tanımlanmış bir geri dönüş işlevi de vardır IPoint.

Başlangıçta aşağıdaki programın çıktısının 2, 3 olmasını bekledim. Ancak, 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 !!
    }
}

Tamam, bu yüzden somut tipteki bilgiler kaybolur GenericAlgorithm. Bunun neden olduğunu tam olarak anlamıyorum, ama iyi. Bu şekilde yapamazsam, başka hangi alternatiflerim var?

Bu method:

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

... her zaman arayacak GetDim<T>(T point). Aşırı yük çözünürlüğü derleme zamanında gerçekleştirilir ve bu aşamada başka uygulanabilir bir yöntem yoktur.

Aşırı yük çözünürlüğünün yürütme sırasında çağrılmasını istiyorsanız, dinamik yazmayı kullanmanız gerekir, örn.

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

Ancak bunun için kalıtım kullanmak genellikle daha iyi bir fikirdir - örneğin, açıkçası tek bir yönteme ve geri dönüşe sahip olabilirsiniz point.NumDims. Gerçek kodunuzda, eşdeğerin daha zorlayıcı olmasının bir nedeni olduğunu varsayıyorum, ancak daha fazla bağlam olmadan, uzmanlığı gerçekleştirmek için mirasın nasıl kullanılacağına dair tavsiyede bulunamayız. Bunlar seçenekleriniz:

• Hedefin yürütme zamanı türüne göre uzmanlaşma için kalıtım (tercih edilen)
• Yürütme zamanı aşırı yük çözünürlüğü için dinamik yazma

C # 8.0'dan itibaren, genel yöntem gerektirmek yerine, arabiriminiz için varsayılan bir uygulama sağlayabilmeniz gerekir.

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

Genel bir yöntem IPointuygulamak ve uygulama başına aşırı yüklenmeler de Liskov İkame İlkesini (SOLID'deki L) ihlal eder. Algoritmayı her IPointuygulamaya uygulamak daha iyi olur , yani yalnızca tek bir yöntem çağrısına ihtiyacınız vardır:

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

Ziyaretçi Deseni

dynamickullanıma alternatif olarak, aşağıdaki gibi bir Ziyaretçi kalıbı kullanmak isteyebilirsiniz :

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

Neden GetDim işlevini sınıfta ve arabirimde tanımlamıyorsunuz？ Aslında GetDim işlevini tanımlamanız gerekmez, sadece NumDims özelliğini kullanın.