Яке використання _start () в C?

Я дізнався від свого колеги, що можна писати та виконувати програму C без написання main()функції. Це можна зробити так:

my_main.c

/* Compile this with gcc -nostartfiles */

#include <stdlib.h>

void _start() {
  int ret = my_main();
  exit(ret); 
}

int my_main() {
  puts("This is a program without a main() function!");
  return 0; 
}

Складіть його за допомогою цієї команди:

gcc -o my_main my_main.c –nostartfiles

Запустіть його за допомогою цієї команди:

./my_main

Коли потрібно було б робити подібні речі? Чи є сценарій реального світу, де це було б корисно?

Символ _startє точкою входу вашої програми. Тобто адреса цього символу - це адреса, перескочена до запуску програми. Зазвичай функція з назвою _startнадається файлом, crt0.oякий називається, який містить код запуску для середовища виконання C. Він встановлює деякі речі, заповнює масив аргументів argv, підраховує кількість аргументів, а потім викликає main. Після mainповернення exitвикликається.

Якщо програма не хоче використовувати середовище виконання C, їй потрібно подати власний код для _start. Наприклад, реалізація опорної мови програмування Go робить це тому, що їм потрібна нестандартна модель різьблення, яка вимагає певної магії зі стеком. Також корисно подавати свої, _startколи ви хочете писати дійсно крихітні програми чи програми, які роблять нетрадиційні речі.

Хоча mainточка входу для вашої програми з точки зору програмістів, _startє звичайною точкою входу з точки зору ОС (перша інструкція, яка виконується після запуску вашої програми з ОС)

У типовій програмі C та особливо на C ++ було зроблено багато роботи до того, як виконання стане головним. Особливо такі речі, як ініціалізація глобальних змінних. Тут ви можете знайти гарне пояснення всьому , що відбувається між _start()і , main()а також після того, як основний знову вийшов (див коментар нижче).
Код, необхідний для цього, зазвичай надається авторами-компіляторами у файлі запуску, але за допомогою прапора –nostartfilesви, по суті, говорите компілятору: "Не турбуйтеся, даючи мені стандартний файл запуску, дайте мені повний контроль над тим, що відбувається прямо з початок ".

Це іноді необхідно і часто використовується у вбудованих системах. Наприклад, якщо у вас немає ОС і вам потрібно вручну ввімкнути певні частини системи пам'яті (наприклад, кеші) перед ініціалізацією ваших глобальних об'єктів.

Ось хороший огляд того, що відбувається під час запуску програми раніше main . Зокрема, з нього видно, що __startце фактична точка входу до вашої програми з точки зору ОС.

Це найперша адреса, з якої покажчик інструкцій почне рахувати у вашій програмі.

Код там викликає деякі підпрограми бібліотеки С, щоб виконати домашнє господарство, потім зателефонуйте до свого main, а потім збийте всі речі та зателефонуйте exitз тим, що mainповертається код виходу .

Малюнок вартує тисячі слів:

_{PS: ця відповідь перенесена з іншого питання, яке SO корисно закрило як дублікат цього.}

Коли потрібно було б робити подібні речі?

Коли ви хочете свій власний стартовий код для вашої програми.

mainне перший запис для програми С, _startце перший запис за завісою.

Приклад в Linux:

_start: # _start is the entry point known to the linker
    xor %ebp, %ebp            # effectively RBP := 0, mark the end of stack frames
    mov (%rsp), %edi          # get argc from the stack (implicitly zero-extended to 64-bit)
    lea 8(%rsp), %rsi         # take the address of argv from the stack
    lea 16(%rsp,%rdi,8), %rdx # take the address of envp from the stack
    xor %eax, %eax            # per ABI and compatibility with icc
    call main                 # %edi, %rsi, %rdx are the three args (of which first two are C standard) to main

    mov %eax, %edi    # transfer the return of main to the first argument of _exit
    xor %eax, %eax    # per ABI and compatibility with icc
    call _exit        # terminate the program

Чи є сценарій реального світу, де це було б корисно?

Якщо ви хочете сказати, реалізуйте наші власні _start:

Так, у більшості комерційних вбудованих програм, з якими я працював, нам потрібно реалізувати власні _startвимоги до наших специфічних вимог до пам'яті та продуктивності.

Якщо ви хочете сказати, киньте mainфункцію та змініть її на щось інше:

Ні, я не бачу жодної користі для цього.