C#类声明中泛型参数的重复

Question

我今天在玩 C# 泛型和接口(interface)，并尝试实现 Graphs 的经典定义.这是我最好的尝试(仅供练习):

interface IVertex
{
    string Name { get; set; }
}

interface IEdge<V> where V : IVertex
{
    V From { get; set; }
    V To { get; set; }
}

interface IGraph<V, E> where E: IEdge<V> where V: IVertex
{
    IList<V> Vertices { get; }
    IList<E> Edges { get; }
}

class Vertex : IVertex
{
    public string Name { get; set; }

    public Vertex(string name)
    {
        Name = name;
    }
}

class Edge<V> : IEdge<V> where V: IVertex
{
    public V From { get; set; }
    public V To { get; set; }

    public Edge(V from, V to)
    {
        From = from;
        To = to;
    }
}

class Graph<V, E> : IGraph<V, E> where E: IEdge<V> where V : IVertex
{
    public IList<V> Vertices { get; } = new List<V>();
    public IList<E> Edges { get; } = new List<E>();
}

但我认为，我做错了什么，因为在以下用法中:

var a = new Vertex("A");
var b = new Vertex("B");
var c = new Vertex("C");

var x = new Edge<Vertex>(a, b);
var y = new Edge<Vertex>(b, c);
var z = new Edge<Vertex>(c, a);

var graph = new Graph<Vertex, Edge<Vertex>>()
{
    Vertices = { a, b, c },
    Edges = {x, y, z}
};

我需要指定通用参数 Vertex (在 new Graph<Vertex, Edge<Vertex>>() 行)两次...

Answer 1

如果没有更多上下文，则不清楚您的约束和要求是什么。但是，根据您要完成的任务，可能需要使用您当前拥有的语法，以确保您的 IList<E>已适当声明。

也有可能您不需要 Graph类具有确切的 IEdge<V>类型。如果是这样，那么您可以这样声明:

class Graph<V> : IGraph<V, IEdge<V>> where V : IVertex
{
    public IList<V> Vertices { get; } = new List<V>();
    public IList<IEdge<V>> Edges { get; } = new List<IEdge<V>>();
}

在这种方法中，您将无法分配 Edges到 IList<E> 类型的变量其中 E是 IEdge<V> 以外的某种类型.例如，这是行不通的，而如果您需要指定两种类型，它就可以工作:

IList<Edge<Vertex>> list = graph.Edges;

这完全取决于您实际想如何使用这些类型。