Как происходит приведение типов в C#?

Question

[Pragma Games]

Как под капотом компилятор приводит ссылочные типы друг к другу ? Есть базовый класс А, от него наследуются В и С.
В чем разница между :
(B)A
A is B
A as B
Я знаю, что первый вариант самый дорогой, по почему ? И почему апкастинг намного дешевле даункастинга ?

Answer 1

[AndromedaStar]

Погуглите, что такое Virtual Method Table.
Примерно так это и работает.
Короче типа с помощью приведения класса вы указываете из какого vtable брать методы по умолчанию, это если очень упрощенно.
Вот неплохой разбор:
https://www.msdr.ru/21/

Answer 2

[Василий Банников]

При даункасте нужно сначала проверить, можно ли привести тип к нужному, и кинуть исключение, если нельзя.
Бросание исключений - дороже, чем просто вернуть false или null, как в случае с is/as.

А апкаст гарантированно всегда пройдёт, по тому он дешевле, чем даункаст - JIT просто убирает код, который отвечает за кидание исключений.
По тому в случае апкаста as T и (T) даёт одинаковый результат.

Comments

[Pragma Games]

Как компилятор понимает что А можно привести к В , а А и В к С ?

[Василий Банников]

Pragma Games, есть такая штука, называется "система типов" благодаря ей компилятор и знает, что если A наследуется от B, то значит переменную типа A можно безопасно апкастануть к B