С# стоимость приведения типа?

Question

[ebroker]

Заинтересовал вопрос что происходит внутри CLR во время такой операции?
Какая стоимость таких операций?
Интересуют только ссылочные типы(boxing/unboxing не рассматриваем). В рихтере ответа не нашел что странно.

object o = new MyType();
var entity = (MyType)o;

Answer 1

[Александр Юдаков]

Говорят, стоимость высокая.
https://switch-case.ru/73228064

Comments

[Павло Пономаренко]

Чем там отличаются showWithCast и showWithoutCast ?

public static string showWithCast   (object o) => ((IShow)o).show();
public static string showWithoutCast(object o) => ((IShow)o).show();

[Александр Юдаков]

Павло Пономаренко, автор пишет, что в коде метода showWithoutCast() он вручную удалил инструкцию IL "castclass".

Answer 2

[eRKa]

Для ссылочных типов, в рантайме, это почти ничего не стоит. Основная проверка привидения происходит на стадии компиляции.
По сути при таком приведении нет необходимости создавать новый объект, перемещать его в памяти. Просто ссылка entity, теперь будет указывать на объект MyType, но доступ к интерфейсу будет другой.
В рантайме можно упасть с ошибкой привидения, если Вы в object положили MyType1, а привести пытаетесь к MyType2, интерфейсы совпадать не будут и ясно, что вызывать будет нечего.

PS: Посмотрел поиском, это все написано в MSDN

Операция приведения между ссылочными типами не меняет тип времени выполнения базового объекта; изменяется только тип значения, который используется в качестве ссылки на этот объект.

Comments

[Роман]

При явном преобразовании ссылочных типов, проверка вся во время рантайма, при компиляции ничего не проверяется. Причем вызывается опкод castclass, который и делает проверку.

using System;

public class Programm
{
    public void Show(object o)
    {
        string s = (String)o;
        Console.WriteLine(s);
    }
    
    public void MainMethod()
    {
        var no=new Object();
        String ns = (string)no;           
        
        var o = new Object();
        Show(o);
    }

    public static void Main()
    {
    }

}

Компилируется на ура данный код.

[eRKa]

Роман, Во первых, не совсем правильный пример. Как раз при приведении object к string при касте будет создаваться новый объект. Речь идет только о классах. Во вторых, я не увидел примера, о котором я сказал, что не скомпилируется. Тип object является общим для всех, работает полиморфизм, поэтому ошибок при компиляции здесь не будет. Вы создайте Class1 и приведите его к типу Class2.

[Роман]

eRKa, при приведении object к string ничего не создается, об этом и CIL и результат JIT говорит. про разные классы верно, а вот почему компилятор не ругается, когда явно от object к string приведение идет.

[#]

Роман, по тому изначально что существует .ToString() для object... сюрпрайз? ... даже если конкретный тип не имеет корректной реализации, тогда тупо возвращается имя типа (по памяти.. и это и есть object.ToString().. тоже неожиданно? )))... эксперименты по проверке, это домашнее задание ;))

[eRKa]

Роман, если Вы в тип object явно не положили string, то при (string)obj по сути будет выполнен obj.ToString(), результатом будет новая строка с полным именем объекта.

[#]

eRKa, Роман,

Как раз при приведении object к string при касте будет создаваться новый объект.

это раз..

object.ToString()

это два.. а стринги в дотнете неизменяемый объект, то есть при любой модификации - создается новый экземпляр

подводя итоги:
- кастовка к строке отдельная тема, требующая банального понимания конструкции под капотом
- кастовка произвольных объектов, от потомка к родителю, должна происходить без затрат ресурсов и новых экземпляров

Answer 3

[John_Nash]

object o = new MyType();
var entity = (MyType)o;

это не приводит к изменению объекта, значит, ресурсы не тратятся

может это даст ответ на вопрос