ฉันกำลังพยายามเขียนอัลกอริทึมทั่วไปใน 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 !!
    }
}

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ได้ ฉันสันนิษฐานว่าในรหัสจริงของคุณมีเหตุผลบางอย่างที่เทียบเท่าทำได้ยากกว่า แต่ถ้าไม่มีบริบทเพิ่มเติมเราไม่สามารถแนะนำวิธีใช้การสืบทอดเพื่อดำเนินการเฉพาะด้านได้ นี่คือตัวเลือกของคุณ:

• การสืบทอด (แนะนำ) สำหรับความเชี่ยวชาญขึ้นอยู่กับประเภทเวลาปฏิบัติการของเป้าหมาย
• การพิมพ์แบบไดนามิกสำหรับการแก้ปัญหาการโอเวอร์โหลดเวลาทำงาน

ในฐานะของ C # 8.0 คุณควรจะสามารถให้การใช้งานเริ่มต้นสำหรับอินเทอร์เฟซของคุณแทนที่จะต้องใช้วิธีการทั่วไป

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

การใช้วิธีการทั่วไปและการโอเวอร์โหลดต่อIPointการใช้งานยังเป็นการฝ่าฝืนหลักการการทดแทน Liskov (L ใน SOLID) คุณจะดีกว่าที่จะผลักดันอัลกอริทึมใน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