演算子のオーバーロード多型がジェネリックコレクションを返す

Question

セグメントを一緒に追加してパスを形成する+演算子をオーバーロードしたい。 私は、Tがセグメントであり、リスト（自然にTがセグメントである）を含むパスを定義しました。セグメントは、さまざまな種類のセグメント、すなわちLineSegmentの抽象基本クラスです。

オーバーロードされたメソッドConnectedがあり、セグメントに共通のエンドポイントがあるかどうかがチェックされます。抽象セグメントクラスで2つのセグメントのオーバーロードを定義し、次にそれぞれの派生クラス内の異なるタイプ、つまりセグメントとラインセグメントに対してオーバーロードを定義したいと思います。私は、次のコードを交換しようとしている

だから、基本的に...

@ジョン

public static Path<T> operator +(Segment s1, Segment s2) 
{ 
    if (s1.Connected(s2)) 
    { 
     List<Segment> slist = new List<Segment>(); 
     slist.Add(s1); 
     slist.Add(s2); 
     Path<T> p = new Path<T>(slist); 
     return p; 
    } 
    else 
    { 
     return null; 
    } 
} 

（パス1は、セグメントTはセグメントであるリストで、パスです）。

Path<T> path1 = s1 + s2; 

と

Path<T> path1 = new Path<T>(s1); 
path1.Segments.Add(s2); 

問題は、コードをコンパイルしていないということです。

Answer 1

C＃は汎用演算子をサポートしていないので、これを行う簡単な方法はないと思います。しかし、私はそれを動作させるいくつかの方法を想像することができます：

1. これをしないでください。 Jonが提案したように、LineSegmentを2つ追加しても、常にPath<Segment>を返すことができます。私はこの "解決策"が気に入らない。なぜなら、あなたはどこにでもキャストを使わなければならないということになるからだ。

2. Segmentから継承するすべての型に演算子を追加します。これはコードを繰り返すことを意味しますが、ここではこれが最善の選択だと思います。例えば、LineSegmentためのオペレータは、次のようになります。

   public static Path<LineSegment> operator +(LineSegment s1, LineSegment s2) 
   

3. 2つのセグメントを追加し、代わりに空のパスにそれらを追加しないでください。あなたがこれを行う場合は、Pathが不変行った場合、それはおそらく最高のようになります。

   var path = Path<LineSegment>.Empty + lineSegment1 + lineSegment2; 
   

4. はcuriously recurring template patternのバリアントを使用します。

   class SegmentBase<T> where T : SegmentBase<T> 
   { 
       public static Path<T> operator +(SegmentBase<T> s1, SegmentBase<T> s2) 
       { 
        return new Path<T>(new List<T> { (T)s1, (T)s2 }); 
       } 
   } 
   
   class LineSegment : SegmentBase<LineSegment> 
   { } 
   

   あなたがこれを行う場合には、すべての繰り返しを持っていませんしかし、それはハックのように感じ、継承階層を複雑にすることがあります（Tを指定するクラスから継承することはできません）。私はこの解決策が嫌いです。