Почему компилятор С# не перехватывает InvalidCastException

public class Post { }
public class Question : Post { }
public class Answer : Post
{
    public void Fail()
    {
        Post p = new Post();
        Question q = (Question)p; // This will throw an InvalidCastException
    }
}

Ответ 2 · рейтинг 11 · McKay

В некоторых случаях Post может быть преобразовано в Question. Выполняя приведение, вы говорите компилятору: "Это сработает, я обещаю. Если нет, вы можете сгенерировать недопустимое исключение приведения".

Например, этот код будет работать нормально:

    Post p = new Question();
    Question q = (Question)p;

Приведение прямо заявляет, что вы лучше, чем компилятор, знаете, что это такое на самом деле. Возможно, вы захотите сделать что-то вроде ключевых слов as или is?

Ответ 3 · рейтинг 8 · Paolo Tedesco

Дело в том, что p может быть Question, поскольку вопрос наследуется от Post.
Рассмотрим следующее:

public class Post { }
public class Question : Post { }
public class Banana { }

static class Program {
    public static void Main(params string[] args) {
        Post p = new Question();
        Question q = (Question)p; // p IS a Question in this case
        Banana b = (Banana)p; // this does not compile
    }
}

Ответ 4 · рейтинг 6 · Oded

Когда вы выполняете явное приведение типов, вы говорите компилятору: "Я знаю то, чего не знаешь ты".

По сути, вы переопределяете обычную логику компилятора - p может быть Question (поэтому компилятор скомпилируется), вы сообщаете компилятору, что вы знаете, что это (хотя это и не так, следовательно, исключение во время выполнения).

Ответ 5 · рейтинг 2 · Justin Niessner

1) Ваше предположение неверно. Кто-нибудь всегда может реализовать явный оператор преобразования для Question для преобразования из Post:

public class Question`
{
    // some class implementation

    public static explicit operator Question(Post p)
    {
        return new Question { Text = p.PostText };
    }
}

2) Явное приведение - это ваш способ сообщить компилятору, что вы знаете лучше, чем он. Если вы хотите что-то использовать, когда вы не уверены, будет ли приведение успешным или нет, и не хотите исключения во время выполнения, используйте операторы is и as.

Ответ 6 · рейтинг 1 · Meligy

Компилятор рассматривает p как переменную, поэтому не пытается отслеживать ее значение. Если бы это было так, анализ всего приложения занял бы очень много времени. Некоторые инструменты статического анализа похожи на FxCop.

Компилятор видит Post, но не отслеживает присваивание и знает, что возможно:

Post p = new Question();

Так что проходит нормально.

Вы знаете, что не можете сделать:

Question q = p;

Разница в том, что здесь вы пытаетесь сказать компилятору использовать то, что он знает, для проверки этого, и он знает, что Post не обязательно является Question.

В исходной версии вы говорите компилятору: "Я знаю, что это так, и я установлю это явно, уйду с дороги, и я возьму исключение, если то, что я знаю, неверно", поэтому он слушает вас и выходит твой путь!

Ответ 7 · faester

Ваши предположения верны: он скомпилируется и завершится ошибкой во время выполнения.

В вашем небольшом примере очевидно, что приведение потерпит неудачу, но компилятор не знает об этом. Поскольку Post является супертипом Question, вы можете присвоить Question p, и, поскольку вы делаете приведение, вы объявляете о готовности взять на себя некоторую ответственность от компилятора. Если бы вы пытались назначить string или что-то еще, не являющееся частью той же ветки наследования, компилятор должен вас предупредить. И наоборот, вы всегда можете попытаться привести object к любому типу.

Но если компилятор жалуется на ваш конкретный пример, это будет означать, что никакие приведения не будут разрешены.

Ответ 8 · bygrace

Вау, Джереми, я недавно столкнулся с этой проблемой! Поэтому я сделал этот удобный метод расширения, который сопоставляет две модели с несколькими одинаковыми свойствами. Намерение состояло в том, чтобы использовать его, когда класс A наследует от класса B, чтобы сопоставить класс B с классом A. Надеюсь, вы найдете это полезным!

public static class ObjectHelper
{
    public static T Cast<T>(this Object source)
    {
        var destination = (T)Activator.CreateInstance(typeof(T));

        var sourcetype = source.GetType();
        var destinationtype = destination.GetType();

        var sourceProperties = sourcetype.GetProperties();
        var destionationProperties = destinationtype.GetProperties();

        var commonproperties = from sp in sourceProperties
                               join dp in destionationProperties on new { sp.Name, sp.PropertyType } equals
                                   new { dp.Name, dp.PropertyType }
                               select new { sp, dp };

        foreach (var match in commonproperties)
        {
            match.dp.SetValue(destination, match.sp.GetValue(source, null), null);
        }

        return destination;
    }
}

К вашему сведению, это, вероятно, будет работать, только если два объекта существуют в одной сборке.

Большая часть кода взята отсюда: Mapping Business Objects and Объект Entity с отражением c#