Привидение типа к dynamic?

Question

[BadCats]

dynamic instance = new Program();
- Это будет UpCust или DownCast?

Или как я догадываюсь - когда во время выполнения тип переменной instance будет меняться, то это будет динамическое приведение типов? -Т.е динамически в зависимости от того что в dynamic по ходу выполнения программы будет происходить то UpCust то DownCast?

Answer 1

[kodwi]

https://msdn.microsoft.com/ru-ru/library/dd264741.aspx

Comments

[BadCats]

Ну и смысл мне с этого? ОФФ документацию я и так читал - если я что то пропустил или не понял то Ваша ссылка мне не очень поможет хотите объяснить - объясняйте нормально!

[kodwi]

BadCats: просто dynamic раскрывается в рантайме. Если ты объявил переменную как dynamic, и представляешь, какой тип должен быть, то можешь напрямую вызывать методы и свойства предполагаемого класса, на этапе компиляции ошибки не будет.

Пример:

void Bla(dynamic someClassInstance)
        {
            Console.WriteLine(someClassInstance.someFieldWhichReallyIsInThisClass); // если dynamic, то это скомпилируется успешно, и упадет только если передашь в этот метод экземпляр не того класса, у которого нет этого свойства / метода
        }

Answer 2

[Роман]

А, что такое UpCast и DownCast (типа up это преобразование к производному, а down к базовому)? Что за термины вы новые придумали? Для работы с dynamic используется динамическая среда выполнения и нет никакого динамического или еще какого приведения типов. dynamic - фактически это вообще отсутствие типа, вернее, отсутствие типа у переменной, а у присвоенного значения естественно тип есть и никаких приведений типов не происходит. Приведение будет когда вы будете статически типизированной переменной присваивать значение dynamic. И еще раз, в DLR (те в dynamic) попросту отсутствует понятие типа, какие бы мы значения не присваивали dynamic (хоть наши обычные переменные, хоть dynamic), никакого преобразования типов не делается (особенно выдуманных вами UpCast и DownCast).

Comments

[Толстый Лорри]

Что за термины вы новые придумали?

Вы бы хоть погуглили.

фактически это вообще отсутствие типа

Отсутствие типа - из покон веков это void. Ключевое слово dynamic говорит компилятору, что не нужно делать проверку типа для этой переменной в компайл-тайме, ее тип никуда не пропадает.

[Роман]

Толстый Лорри: Вот кому то делать нечего, придумывать уточняющие термины. Ни в одной книге по шарпу, ни по плюсам не встречал таких терминов.

[Толстый Лорри]

Роман: предпочитаете русскоязычную литературу?

[Роман]

Толстый Лорри: Мне без разницы. Просто ради интереса проверил (в оригинале естественно), у Шилдта ни разу не встретился ни Upcast, ни downcast, у Троелсена всего один раз и то так в предложении, типа мы downcast object to base class, а на русском сильно длинно звучит.

[Толстый Лорри]

Роман: Это же и есть ответ на ваш вопрос) Разница есть как раз из-за:

на русском сильно длинно звучит.

В лучшем случае встречается нечто вроде: "Восходящее/нисходящее приведение."

[BadCats]

UpCast -Это привидение экземпляров дочерних классов к классу родительскому. Вот и определение. DownCast -наоборот.
Т.е если класс А - родительский а, класс Б - дочерний, то привидение от Б к А - это UpCast, от А к Б - DownCast