3

Есть код

    static void Main(string[] args)
    {

        object[] objects = new object[] {1, "asd", 'a'};
        foreach (var elem in objects)
        {
            Console.WriteLine(elem.GetType().ToString());
        }

        Console.ReadKey();
    }

Выводятся типы System.Int, System.String, System.Char. Вопрос - откуда компилятор знает о типах если явного приведения нет, обратиться из кода к методам объектов нельзя (кроме обжектовских). Мне казалось, что должны вывести System.Object, однако выводит правильно.

1
  • 2
    Рефлекшен, детка :-) И в данном случае не компилятор.
    – Чад
    7 окт 2013 в 12:38

1 ответ 1

10

Смотрите.

В .NET (как и в любом объектно-ориентированном языке) переменная-ссылка базового типа может указывать на объект производного типа. Вспомним, что в .NET object является предком всех типов. Это значит, что переменная может содержать фактически любой тип. Итак, у нас есть различие между compile-time-типом (тип ссылки) и runtime-типом (фактическим типом объекта, на который эта ссылка ссылается).

Теперь, GetType(), согласно документации, возвращает именно runtime-тип, то есть настоящий тип объекта по ссылке.

Каким именно образом это реализовано, для программиста не должно быть важно. На самом деле, каждый объект в .NET неявно хранит указатель на таблицу с метаданными, в которых описан его тип — но это деталь конкретной реализации, на которую опираться не стоит.

2
  • 1
    Т.е. по сути привидение в коде нужно только для того, чтобы соблюдалась безопасность типов, в compile-time. В runtime все равно тип известен.
    – Vasya_P
    7 окт 2013 в 12:55
  • 1
    Так и есть. По сути в compile-time известен лишь декларируемый тип, приведение — явная операция, которая либо приводит к другому типу, либо бросает InvalidCastException, если runtime-тип не приводится к нужному типу.
    – VladD
    7 окт 2013 в 13:02

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.