Как компилятор понимает, что первую функцию, которую нужно вызвать, будет именно Main()?

Question

[Cod Rob]

class Program
{
  public static void Main(string [] args)
  {

  }
  public static void DoSomething()
  {

  }
}

Почему компилятор вызывает именно Main, а не DoSomething? Main в таблице методов как-то по-особенному отмечена? Как он понимает, что нужно вызвать именно её?

Comments

[OwDafuq]

Удали этот метод и почитай ошибку, может, вдруг, станет понятнее

[Cod Rob]

LiptonOlolo, я знаю, что Main - это точка входа, но как это показано/помечается под капотом?

[Qualiant]

Денис Бредун, хардкодом.

Бтв, Майки открыли исходники компилятора C#.

Answer 1

[Борис Животное]

В книге CLR via C# - Программирование на платформе Microsoft.NET Framework 4.5 на языке C#. 4-е издание на странице 37 в главе Исполнение кода сборки написано:

Далее основной поток вызывает определенный в библиотеке MSCorEE.dll метод, который инициализирует CLR, загружает сборку EXE, а затем вызывает ее метод Main, в котором содержится точка входа. На этом процедура запуска управляемого приложения считается завершенной.

Так же написано в документации Microsoft, что вызывается именно метод Main, если в качестве параметра компилятора -main не передать название другого метода.

Документация Microsoft:
Main() и аргументы командной строки
Запуск приложения

Comments

[Cod Rob]

А ещё на стр. 111 этой же книги написано:

(Первый абзац сразу же после начала новой темы)

[Cod Rob]

И там как раз написано с помощью чего и как компилятор определяет, что первым вызывается метод Main)

[Борис Животное]

Денис Бредун, ну и что это доказывает или как противоречит тому, что написал я? Компилятор помечает метод Main аттрибутом, судя по всему, но помечает он именно его. Причём здесь то, как CLR запускает приложение? Вопрос же был в другом.

[Cod Rob]

Борис Животное, вопрос был именно в том, чтобы понять, почему и с помощью чего(в данном случае с помощью флага) вызывается первым именно метод Main? Мол, как это помечается под капотом? Это имелось ввиду

[Борис Животное]

Денис Бредун, но вызывает метод Main не компилятор, а CLR - это разные вещи. Компилятор всегда ищет в сборке метод именно с именем Main и другими совпадениями из сигнатуры метода (static void/int/Task/Task{int} Main(...)). Значит вопрос неправильно сформулирован.

[Cod Rob]

Окей, понял)

[Борис Животное]

Денис Бредун, то есть компилятор нашёл метод, пометил его, а CLR уже ищет эту пометку и запускает, но это всегда будет именно Main. Это я так, дополнил, я увидел, что ты написал, что понял.

[Cod Rob]

Борис Животное, а вот тогда вопрос: как компилятор понимает, что пометить надо именно этот метод?

[Cod Rob]

Борис Животное, по сигнатуре метода?

[Борис Животное]

Денис Бредун, ну судя по тому, что написано в документации Microsoft:

• Метод Main — это точка входа для выполняемой программы. Это начальный и завершающий этапы управления программой.
  
• Main объявляется внутри класса или структуры. Метод Main должен быть статическим. Он может не быть открытым. Класс или структура, в которой он объявлен, не обязаны быть статическими.
  
• Метод Main может иметь значение void, int или (начиная с C# 7.1) Task, а также тип возвращаемого значения Task{int}.
  
• Если только Main возвращает Task или Task{int}, объявление Main может включать модификатор async. Обратите внимание, что это, в частности, исключает метод async void Main.
  
• Метод Main может быть объявлен с параметром string[], который содержит аргументы командной строки, или без него. Когда вы используете Visual Studio для создания Windows-приложений, вы можете добавить параметр вручную либо воспользоваться методом GetCommandLineArgs(), чтобы получить аргументы командной строки. Параметры считываются как аргументы командной строки, индексы которых начинаются с нуля. В отличие от C и C++, имя программы не рассматривается как первый аргумент командной строки в массиве args, но является первым элементом метода GetCommandLineArgs().
  

Да

[Cod Rob]

Борис Животное, я понял, спасибо=)

[Борис Животное]

Денис Бредун, вот нашёл в исходниках компилятора такой код:
Поиск точки входа с именем Main
Этот метод вызывается по ссылке выше

[Cod Rob]

Борис Животное, Ух ты! Ништяк! Спасибки!=)

[Денис Загаевский]

Денис Бредун, слушай, а ты погуглить это пробовал? Я вот попробал. Нет нигде ничего про это, кроме CLR via C#, никому в реальном мире не нужно знание про MethodDefToken. А тебе вот это зачем? Мёртвые знания о подкапотности, которые ты не умеешь использовать.

[Денис Загаевский]

Борис Животное, я вот думаю, что вы тут не правы насчёт какого-то особого "примечания" метода main. Скорее всего это не так. Потому что не надо переводные книги читать, ибо для переводчиков это всё тарабарщина обычно. Итак, цитата:

Then the CLR reads the CLR header of the assembly and finds the methoddeftoken that identifies the method (main () of the application entry

Несмотря на то, что найти что такое MethodDefToken за 3 минуты у меня не получилось, включаем логику. Нормальный человек не назовет таким именем "аттрибут, помечающий main". Это более общая сущность. Я бы сказал, что это некое описание метода, метаданные, в которых, в том числе, есть сигнатура. Т.о., рантайм ищет именно метод main, по сигнатуре, если опциями комстроки не указано другое. Никаких особых "подкопотных пометок" там нет. Это моё мнение по имеющейся информации.

[Борис Животное]

Денис Загаевский,
Поиск на гитхаб по MethodDefToken
AssociateRecord.cs

[Денис Загаевский]

Борис Животное, перевод "аттрибут" изначально неверный. Это запись в некой таблице методов.
Денис Бредун, обрати внимание, .Net программист говорит, что ему это никогда не было нужно. И я его поддержу, мне тоже никогда не было такое нужно.

[Борис Животное]

Денис Загаевский, да, возможно, что переводчик неправильно перевёл и ввёл в заблуждение.

[Cod Rob]

Денис Загаевский, я это изучаю ни для того, чтобы "было нужно", а для того, что "мне интересно", как это работает

[Борис Животное]

Денис Бредун, в принципе, хорошее стремление понять, что как работает. Всяко лучше, чем посмотреть видеоуроки и лепить шлак. Такие люди обычно и становятся очень хорошими специалистами, которые копают и им реально интересно.

[Денис Загаевский]

Борис Животное, да ну нет. Хорошими специалистами становятся те, кто берет и копает в интернете, в исходниках сам. А этот деятель читает книжку и всё, что не понял, спрашивает здесь. Подкопотных дел мастер:-/

[Борис Животное]

Денис Загаевский, ну как минимум, то что интересуется - это уже хорошо. Возможно, сейчас спрашивает, а потом будет и исходники смотреть, нельзя ничего утверждать на 100%. С чего-то нужно же начинать. Но я вас услышал.

Answer 2

[Роман]

Мой ответ самый простой, мне это безразлично. Ну надо так, ну и ладно. Если, например, понимание работы GC ещё влияет на что-то, то это нет. И даже не интересно.