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 대체 원칙 (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 속성 만 사용하면됩니다.