Pętla typu rodzajowego w C#

Question

Muszę zrobić wykres i chcę krawędzie i wierzchołki być rodzajowy typu

public interface IVertex<TVertex, TEdge> 
     where TVertex : IVertex<?> 
     where TEdge : IEdge<?> 
{ 
    bool AddEdge(TEdge e); 
    TEdge FindEdge(TVertex v); 
} 

public interface IEdge<TVertex> where TVertex : IVertex<?> 
{ 
    TVertex From { get; } 
} 

Ale krawędź wymagany typ wierzchołka i vertex wymagany typ krawędzi Co powinienem zrobić?

Answer 1

Myślę, że robisz to bardziej skomplikowanym niż to konieczne.
Czy coś takiego działa?

public interface IVertex<T> 
{ 
    bool AddEdge(IEdge<T> e); 
    IEdge<T> FindEdge(IVertex<T> v); 
} 

public interface IEdge<T> 
{ 
    IVertex<T> From { get; } 
} 

Answer 2

Wygląda na to, że chcesz krawędź i vertex przechowuje pewną wartość. Jeśli chcesz mieć TV wartości wierzchołki i krawędzie mają TE wartości można zrobić coś takiego:

public interface IVertex<TV, TE> 
{ 
    TV Value { get; } 
    bool AddEdge(IEdge<TV, TE> e); 
    IEdge<TV, TE> FindEdge(IVertex<TV, TE> v); 
} 

public interface IEdge<TV, TE> 
{ 
    TE Value { get; } 
    IVertex<TV, TE> From { get; } 
} 

Answer 3

Problemem jest to, że stworzyliśmy rekurencyjną definicję ze swoimi ograniczeniami typu. Mówisz, że IVertex<A> gdzie A musi być IVertex<B>, gdzie B musi być IVertex<C>, itp. ... W pewnym momencie musisz określić faktycznie określić typ lub interfejs jako parametr ogólny. Zaproponowano już kilka dobrych rozwiązań. Tutaj jest inny, jeśli potrzebujesz więcej opcji ...

Możesz wprowadzić inny typ lub interfejs (nietypowy), aby przerwać definicję rekursywną.

public interface IVertex<TVertex, TEdge> 
     where TVertex : IVertex 
     where TEdge : IEdge 
{ 
    bool AddEdge(TEdge e); 
    TEdge FindEdge(TVertex v); 
} 

public interface IEdge<TVertex> where TVertex : IVertex 
{ 
    TVertex From { get; } 
} 

Answer 4

Chociaż to spierać, czy to rzeczywiście dobry pomysł, nie ma nic Kompilator myśli o takich „krążącego” definicji:

interface IVertex<TVertex, TEdge> where TVertex : IVertex<TVertex,TEdge> 
            where TEdge : IEdge<TVertex,TEdge> 
{ 

} 

interface IEdge<TVertex, TEdge> where TVertex : IVertex<TVertex, TEdge> 
           where TEdge : IEdge<TVertex, TEdge> 
{ 

} 

Następnie można napisać na przykład:

class FooVertex : IVertex<FooVertex,BarEdge> 
{ 

} 

class BarEdge : IEdge<FooVertex,BarEdge> 
{ 

}