Question

我今天正在玩C＃泛型和界面，并尝试实现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;

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

C＃在类声明中复制泛型参数

1 个答案: