почему явное приведение для общего списка не работает - PullRequest
Новая
       34

почему явное приведение для общего списка не работает

1 голос
/ 27 марта 2012

Я пытаюсь привести список объектов в констуркторе для производного класса IntersectionPath следующим образом. 

    public class IntersectionPath : Path<IntersectionSegment>, IEnumerable
    {          

        //Constructors
        public IntersectionPath() : base() {  Verts = null; }

        public IntersectionPath(List<Intersection> inVerts, List<Segment<Node>> inEdges) : base() 
        {
            this.Segments = (List<IntersectionSegment>) inEdges;
        }

    }

Сегменты определены в базовом базовом классе Path 

    public class Path<T> : IEnumerable<T> where T : Segment<Node>
    {   
        //public properties
        public List<Direction> Directions {get; set; }
        public List<T> Segments  {  get; set; }
    }

Я определил явный оператор для приведения в классе IntersectionSegment (см. Ниже, и поэтому неясно, почему это не скомпилируется. У меня есть сообщение об ошибке приведения в конструкторе IntersectionPath. 

public class IntersectionSegment : Segment<Intersection>
{           
    //curves which intersect the primary curve at I0(Start Node) and I1(End Node)
    public Curve C0 { get; set; }
    public Curve C1 { get; set; }

    public IntersectionSegment():base() {}

    public IntersectionSegment(Intersection n0, Intersection n1):base(n0,n1){}

    public static explicit operator IntersectionSegment(Segment<Node> s)
    {
        if ((s.Start is Intersection) && (s.End is Intersection))
        {
            return new IntersectionSegment(s.Start as Intersection,s.End as Intersection);
        }
        else return null;
    }

    public static explicit operator List<IntersectionSegment>(List<Segment<Node>> ls)
    {
        List<IntersectionSegment> lsout = new List<IntersectionSegment>();
        foreach (Segment<Node> s in ls)
        {
            if ((s.Start is Intersection) && (s.End is Intersection))
            {
                lsout.Add(new IntersectionSegment(s.Start as Intersection,s.End as Intersection));
            }
            else return null;
        }
        return lsout;
    }

Сегмент определяется как: 

public class Segment <T> : Shape where T : Node
{
    //generic properties
    public T Start { get; set; }
    public T End { get; set; }

 }

Ответы [ 3 ]

7 голосов
/ 27 марта 2012

List<InteractionSegment> не совпадает с InteractionSegment. Преобразование списка одного типа в список другого типа не приведет к сотворению каждого элемента.
Вам нужно сделать что-то вроде этого: 

this.Segments = inEdges.Select(x => (InteractionSegment)x).ToList();

Это использует LINQ to Objects для приведения каждого объекта в inEdges к InteractionSegment объекту и помещает результат обратно в список, который затем присваивается this.Segments.

4 голосов
/ 27 марта 2012

Давайте рассмотрим гораздо менее запутанный пример. 

class Animal {}
class Giraffe : Animal {}
class Tiger : Animal {}
...
List<Giraffe> giraffes = new List<Giraffe>();
List<Animal> animals = (List<Animal>) giraffes; // illegal

Ваш вопрос заключается в том, почему я считаю, "почему приведение в последней строке незаконно?"

Давайте предположим, что это было законно.Теперь добавим еще одну строку: 

animals.Add(new Tiger());

Вы можете добавить тигра в список животных, верно?Но этот список животных на самом деле является списком жирафов .Приведение не копирует список, оно говорит: «Я хочу рассматривать этот объект как объект этого типа».Но поскольку это позволит вам совершать безумные поступки, например, помещать тигра в список жирафов, мы запрещаем приведение в действие.

Ваша ситуация - гораздо более сложная версия той же ситуации.

Этот вопрос задают почти каждый день в StackOverflow.Ищите «ковариацию и контравариантность», и вы найдете десятки примеров.

2 голосов
/ 27 марта 2012

Это не работает просто потому, что List<Segment<Node>> не List<IntersectionSegment>. Если вы хотите создать более позднюю версию, вы можете использовать Cast() для явного приведения каждого элемента в списке к нужному типу: 

this.Segments = inEdges.Cast<IntersectionSegment>().ToList();
...