Tôi đang cố gắng viết các thuật toán chung trong C # có thể hoạt động với các thực thể hình học có kích thước khác nhau.

Trong ví dụ giả định sau đây tôi có Point2và Point3, cả hai đều thực hiện một IPointgiao diện đơn giản .

Bây giờ tôi có một chức năng GenericAlgorithmgọi một chức năng GetDim. Có nhiều định nghĩa về chức năng này dựa trên loại. Ngoài ra còn có một chức năng dự phòng được xác định cho bất cứ điều gì thực hiện IPoint.

Ban đầu tôi dự kiến ​​đầu ra của chương trình sau là 2, 3. Tuy nhiên, nó là 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, vì một số lý do, thông tin loại bê tông bị mất GenericAlgorithm. Tôi không hiểu tại sao điều này xảy ra, nhưng tốt thôi. Nếu tôi không thể làm theo cách này, tôi có những lựa chọn thay thế nào khác?

Phương pháp này:

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

... sẽ luôn gọi GetDim<T>(T point). Độ phân giải quá tải được thực hiện tại thời gian biên dịch và ở giai đoạn đó không có phương pháp áp dụng nào khác.

Nếu bạn muốn độ phân giải quá tải được gọi trong thời gian thực hiện , bạn cần sử dụng kiểu gõ động, vd

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

Nhưng nói chung, đó là một ý tưởng tốt hơn để sử dụng tính kế thừa cho điều này - trong ví dụ của bạn, rõ ràng bạn chỉ có thể có phương thức duy nhất và trả về point.NumDims. Tôi giả sử trong mã thực của bạn có một số lý do tương đương khó thực hiện hơn, nhưng không có nhiều ngữ cảnh hơn, chúng tôi không thể tư vấn về cách sử dụng tính kế thừa để thực hiện chuyên môn hóa. Đó là những lựa chọn của bạn mặc dù:

• Kế thừa (ưu tiên) để chuyên môn hóa dựa trên loại thời gian thực hiện của mục tiêu
• Gõ động cho độ phân giải quá tải thời gian thực hiện

Kể từ C # 8.0, bạn sẽ có thể cung cấp cài đặt mặc định cho giao diện của mình, thay vì yêu cầu phương thức chung.

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

Việc thực hiện một phương pháp chung và quá tải cho mỗi lần IPointthực hiện cũng vi phạm Nguyên tắc thay thế Liskov (L trong RẮN). Bạn sẽ tốt hơn để đẩy thuật toán vào mỗi lần IPointthực hiện, điều đó có nghĩa là bạn chỉ cần một cuộc gọi phương thức duy nhất:

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

Mẫu khách

thay thế cho dynamicviệc sử dụng, bạn có thể muốn sử dụng mẫu Khách truy cập như dưới đây:

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

Tại sao bạn không xác định hàm GetDim trong lớp và giao diện？ Trên thực tế, bạn không cần xác định hàm GetDim, chỉ cần sử dụng thuộc tính NumDims.