Тип условного выражения не определяется? [дубликат]

На этот вопрос уже есть ответы здесь :

Обнуляемые типы и тернарный оператор: почему `? 10: null` запрещено? [дубликат] (9 ответов)

Условный оператор не может неявно приводить? (3 ответа)

Закрыт 6 лет назад .

Я только что столкнулся с этим (придумано код для демонстрации "проблемы"):

public ICollection CreateCollection(int x)
{
    ICollection collection = x == 0 
                                   ? new List() 
                                   : new LinkedList();
    return collection;
}

Компилятор жалуется:

Fehler CS0173: Der Typ des bedingten Ausdrucks kann nicht bestimmt werden, weil keine implizite Konvertierung zwischen "System.Collections.Generic.List" und "System. Collections.Generic.LinkedList "erfolgt.

Что примерно переводится как:

Тип условного оператора не может быть определен, поскольку не существует неявного преобразования между List и LinkedList.

Я понимаю, почему компилятор жалуется, но пошли. Он пытается выглядеть глупо. Я вижу, что оба выражения не относятся к одному и тому же типу, но имеют одного общего предка, и в качестве бонуса тип левой части также является общим предком. Я уверен, что компилятор тоже это видит. Я мог бы понять ошибку, если бы левая сторона была объявлена как var .

Что мне здесь не хватает?

Изменить:

Я принимаю объяснение Джеймса Гонта. Может, чтобы было понятно. Я прекрасно могу прочитать спецификацию компилятора. Я хотел понять почему. Почему кто-то решил написать спецификацию именно так? У такого дизайна должна быть причина. По словам Джеймса, принцип дизайна - «без сюрпризов». Также CodeInChaos объясняет, с какими неожиданностями вы можете столкнуться, если компилятор попытается определить тип по общим предкам.

c# .net compiler-construction

задан EricSchaefer 13 December 2010 в 07:42

0 ответов

Другие вопросы по тегам:

c# .net compiler-construction

Тип условного выражения не определяется? [дубликат]

0 ответов

Похожие вопросы: