Правильно ли я все понимаю?

Question

[Ilya199]

include <stdio.h> // include - директива препроцессора/программа, которая копирует содержимое файла stdio.h

int main(void) { // функция main, которая возвращает целочисленное значение. аргументов не принимает
    int x  = 10; // объявление переменной x, которой присваивается значение 10

    return 0; // возврат родительному процессу(операционная система/терминал). 0 - завершение без ошибок
}

Comments

[Roman]

Брайан Керниган, Деннис Ритчи
Язык программирования Си 2-е издание стр. 52

"Определение" располагается в месте, где переменная создается и ей от-
водится память; "объявление" помещается там, где фиксируется природа
переменной, но никакой памяти для нее не отводится

int x = 10; определение.

[Ilya199]

Roman, в остальном есть ошибки?

[Roman]

Ilya199,

return 0; // возврат родительному процессу(операционная система/терминал). 0 - завершение без ошибок

https://en.cppreference.com/w/c/language/main_function

Return value
If the return statement is used, the return value is used as the argument to the implicit call to exit() (see below for details). The values zero and EXIT_SUCCESS indicate successful termination, the value EXIT_FAILURE indicates unsuccessful termination.

переводчик

Если используется оператор return, возвращаемое значение используется в качестве аргумента для неявного вызова метода exit () (подробности см. Ниже). Значения ноль и EXIT_SUCCESS указывают на успешное завершение, значение EXIT_FAILURE указывает на неудачное завершение.

return statement
Terminates current function and returns specified value to the caller function.

Answer 1

[Saboteur]

include <stdio.h> // include - директива препроцессора/программа, которая копирует содержимое файла stdio.h

Можно и так, но правильнее "инклюдит", то есть вставляет.

int main(void) { // функция main, которая возвращает целочисленное значение. аргументов не принимает

void означает, что тип аргументов не определен и необязателен. Они могут передаваться, и даже с ними можно работать. Просто при вызове функции можно передавать, можно не передавать, не вызывая ошибку.

int x  = 10; // объявление переменной x, которой присваивается значение 10

да, определение с присваиванием

return 0; // возврат родительному процессу(операционная система/терминал). 0 - завершение без ошибок

Да. В стандарте С при return из main функции автоматически вызывает exit с возвратом кода в ОС.

Comments

[jcmvbkbc]

int main(void) { // функция main, которая ...
void означает, что тип аргументов не определен и необязателен.

Это не так.
Из стандарта с99 (6.7.5.3):

The special case of an unnamed parameter of type void as the only item in the list
specifies that the function has no parameters.

An identifier list declares only the identifiers of the parameters of the function. An empty
list in a function declarator that is part of a definition of that function specifies that the
function has no parameters.

[Saboteur]

jcmvbkbc, в случае void вы можете вызвать функцию без параметров, потому что null тоже подходит, а можете с любым количеством параметров любого типа, и затем уже в функции их интерпретировать.

А если вы объявите функцию без параметров, то при попытке вызвать с параметрами, будет ошибка компиляции.
Поэтому я и пишу что по сути - в случае void парметры не обязательны.

[jcmvbkbc]

в случае void вы можете вызвать функцию без параметров, потому что null тоже подходит, а можете с любым количеством параметров любого типа, и затем уже в функции их интерпретировать.

В случае функции определённой как void нет стандартной возможности интерпретировать переданные ей параметры, поскольку нет ничего, что можно было бы передать вторым параметром в макрос va_start.

если вы объявите функцию без параметров, то при попытке вызвать с параметрами, будет ошибка компиляции

Нет, не будет, потому что есть разница между объявлением функции и определением функции. Из того же пункта стандарта:

The empty list in a function declarator that is not part of a
definition of that function specifies that no information about the number or types of the
parameters is supplied.

И следующий код прекрасно компилируется компилятором С:

void foo();
void bar(void)
{
    foo(1, 1., "");
}

[Saboteur]

Точно, ступил. function(void) значит что аргументов нет, а function() значит что угодно.