Откуда у некоторых переменных вместо значения НОЛЬ, присваивается другое значение?

@мама Стифлера · Регистрация: 29.11.2015

Студворк — интернет-сервис помощи студентам

Привет, нашел для себя вроде как не плохую и понятную книгу, по обучению Си https://www.kpolyakov.spb.ru/download/devcpp_1.pdf. Сразу в первых примерах на практике, столкнулся с непонятными значениями присвоения переменных.

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
#include <stdio.h>
main()
{
int a1, b1, c1, a2, b2, c2, x, y, z, n;
printf("Привет/Hello\n a1=%d\n b1=%d\n c1=%d\n a2=%d\n b2=%d\n c2=%d\n x=%d\n y=%d\n z=%d\n n=%d\n", a1, b1, c1, a2, b2, c2, x, y, z, n);
getchar();
}

Результат:
╧ЁштхЄ/Hello
a1=0
b1=1
c1=0
a2=0
b2=0
c2=40
x=0
y=0
z=0
n=4203673

Крякозябры кириллицы меня на данном этапе не интересуют. Интересуют сами значения переменных. Откуда у некоторых переменных вместо значения НОЛЬ, присваивается другое значение?

@COKPOWEHEU · 18.10.2019, 11:44

Сообщение от TheCalligrapher

Это было бы заметным ударом по эффективности кода.

С чего бы это вдруг?
Недостатки очистки вызываемой стороной очевидны, но вот недостатков очистки вызывающей с ходу придумать не могу.

Сообщение от TheCalligrapher

Во-вторых, при чем здесь вдруг вообще функции с переменным числом аргументов?

При том, что принцип работы всех функций один и тот же, естественно. Просто не примере функций с переменным числом аргументов и вызовом функции по указателю (где число и тип аргументов точно так же неизвестны) это механизм виден наиболее наглядно.

Добавлено через 9 минут
Покопался немного по стандарту:

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. 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.

Если список аргументов не указан в определении функции, считается что она не принимает параметров. Если список аргументов не указан в прототипе, считается что параметры неизвестны.
.
И там же куча примеров конкретно с int main(), можете пробежаться поиском. Я насчитал 2 примера без списка параметров, 2 с пустым списком (void) и 1 с полным списком (argc, argv)

@TheCalligrapher · 18.10.2019, 12:05

Сообщение от COKPOWEHEU

С чего бы это вдруг?
Недостатки очистки вызываемой стороной очевидны, но вот недостатков очистки вызывающей с ходу придумать не могу.

Именно с того, что преимущества очистки параметров вызывающей стороной настолько существенны, что практически все аппаратные платформы заточены под такой вариант уже на аппаратном уровне. Стандарт языка С, разумеется, сформулирован в расчете на то, что реализации будут следовать именно этой эффективной технике кодогенерации.

Сообщение от COKPOWEHEU

При том, что принцип работы всех функций один и тот же, естественно. Просто не примере функций с переменным числом аргументов и вызовом функции по указателю (где число и тип аргументов точно так же неизвестны) это механизм виден наиболее наглядно.

Естественно нет. "Принцип работы" функций с переменным числом параметров не имеет ничего общего с "принципом работы" обычных функций. Это вы можете увидеть и в любом ABI, и это отражено и в том факте, что стандарт языка С во все века и времена требовал предварительного объявления функций с переменным числом параметров. Именно потому, что такие функции не имеют ничего общего с обычными функциями. Функции с переменным числом параметров всегда были сущностями особого рода.

Сообщение от COKPOWEHEU

Если список аргументов не указан в определении функции, считается что она не принимает параметров.

Имеется в виду, что с точки зрения тела этой функции, параметров у нее нет. С точки зрения объявления, которое вводится таким определением, параметры неспецифицированы. То есть никакой разницы в этом отношении между объявлением и определением нет. Вопрос этот давно разъяснен и закрыт: http://www.open-std.org/jtc1/s... dr_317.htm

Можно даже делать рекурсивный "неправильный" вызов такой функции из самой себя

C
1
2
3
4
void foo()
{
  foo(1, 2, 3);
}

Код валиден с точки зрения С, хоть поведение и не определено.

Сообщение от COKPOWEHEU

Если список аргументов не указан в прототипе, считается что параметры неизвестны.

Выражение "список аргументов не указан в прототипе" - оксиморон. Если в прототипе "не указан список аргументов", то это никак не прототип.

Сообщение от COKPOWEHEU

И там же куча примеров конкретно с int main(), можете пробежаться поиском. Я насчитал 2 примера без списка параметров, 2 с пустым списком (void) и 1 с полным списком (argc, argv)

Это совсем не важно, что там в примерах. Мой совет избегать объявлений с () основан только на том, что все K&R объявления официально являются obsolescent, то есть находятся в процессе удаления из языка. Это удаление еще не произошло.

@COKPOWEHEU · 18.10.2019, 12:35

Сообщение от TheCalligrapher

Именно с того, что преимущества очистки параметров вызывающей стороной настолько существенны

Вы повторили то, что я сказал: после вызова функции стек и все прочее чистит вызывающая сторона. Следовательно, если вызываемая сознательно его не портит, никакого UB и не будет. А смысл тогда был спорить?

Сообщение от TheCalligrapher

Естественно нет. <набор слов без аргументации поскипан>

Так отличия-то найдете?

Сообщение от TheCalligrapher

Код валиден с точки зрения С, хоть поведение и не определено.

Вполне определено - бесконечная рекурсия.

Сообщение от TheCalligrapher

Если в прототипе "не указан список аргументов", то это никак не прототип.

А что?

Сообщение от TheCalligrapher

Это удаление еще не произошло.

И вряд ли произойдет, поскольку единственное, что оно делает - ломает совместимость и снижает читаемость. Ни на безопасности, ни на предсказуемости кода это не скажется.
В лучшем случае снимут кальку с С++, где отсутствие списка аргументов эквивалентно пустому списку. Тем более что на практике оно почти всегда так и используется.

@TheCalligrapher · 18.10.2019, 12:55

Сообщение от COKPOWEHEU

Вы повторили то, что я сказал: после вызова функции стек и все прочее чистит вызывающая сторона. Следовательно, если вызываемая сознательно его не портит, никакого UB и не будет. А смысл тогда был спорить?

Нет, просто опечатался. Речь, разумеется, шла об очистке стека вызываемой строной. И спора тут н какого нет - я лишь констатирую факты.

Сообщение от COKPOWEHEU

Вполне определено - бесконечная рекурсия.

Нет, конечно, первый же вызов с неправильным количеством параметров - неопределенное поведение. Ни до какой "бесконечной рекурсии" дело тут дойти не успевает.

Вы уж определитесь, о чем вы говорите: о собственных "мечтах" по поводу языка С или о реальном стандартном языке. А то у вас то чтение стандарта начинается, то собственные выдумки, то снова чтение стандарта, то снова выдумки...

Сообщение от COKPOWEHEU

А что?

Объявление без прототипа, что же еще? По-моему эти азы языка тут уже много раз тут разжевывались, в том числе мной.

Сообщение от COKPOWEHEU

И вряд ли произойдет, поскольку единственное, что оно делает - ломает совместимость и снижает читаемость. Ни на безопасности, ни на предсказуемости кода это не скажется.

Ломает совместимость, но астрономическиски повышает читаемость и существенно повышает безопасность. А "произойдет" или "не произойдет" - это дело десятое. Просто не нужно пользоваться deprecated свойствами языка. А уж когда их удалят и удалят ли вообще - не важно.

@COKPOWEHEU · 18.10.2019, 15:06

Сообщение от TheCalligrapher

Речь, разумеется, шла об очистке стека вызываемой строной.

Которая, очевидно, сложнее и опаснее, чем вызывающей. Что дальше?

Сообщение от TheCalligrapher

Ни до какой "бесконечной рекурсии" дело тут дойти не успевает.

А если подумать? А если проверить?

Кликните здесь для просмотра всего текста

Если подумать: вызывающая сторона заполняет стек и регистры, после чего вызывает функцию, дожидается ее завершения и сбрасывает указатель стека обратно. Вызываемая функция считает, что параметров ей не положено, поэтому содержимое стека просто игнорирует. Поведение вполне безопасное и предсказуемое.
Если проверить:

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
$ cat main.c
#include <stdio.h>
 
void foo(){
  static int cnt=0;
  printf("%i\n", cnt++);
  foo(1, 2, 3);
}
 
int main(){
  foo();
}
$ gcc main.c
$ ./a.out
<...>
523827
523828
523829
523830
523831
523832
523833
523834
523835
523836
523837
523838
523839
523840
Ошибка сегментирования

Как и следовало ожидать: код собрался, запустился и вылетел по переполнению стека из-за бесконечной рекурсии

Сообщение от TheCalligrapher

Объявление без прототипа, что же еще?

А, то есть вот это int func(); уже объявление без прототипа. И давно?

Сообщение от TheCalligrapher

Ломает совместимость, но астрономическиски повышает читаемость и существенно повышает безопасность.

Ломает совместимость, немного снижает читаемость и не влияет на безопасность. А, собственно, ради чего?
.
Вы приводите какие-то свои домыслы, не подкрепленные ничем: ни логикой, ни цитатами из стандарта, ни конкретными примерами, демонстрирующими то или иное поведение. Может, все-таки перейдете к конструктиву?

@TheCalligrapher · 18.10.2019, 17:38

Сообщение от COKPOWEHEU

А если подумать?

Не понял. О чем именно "подумать"? Не пошутили ли авторы стандарта?

Сообщение от COKPOWEHEU

А если проверить? ... Как и следовало ожидать: код собрался, запустился и вылетел по переполнению стека из-за бесконечной рекурсии

"Проверить" что? "Проверить" неопределенное поведение???

Простите, это троллинг или вам просто нечего делать? Пожалуйста, не оскорбляйте присутствующих таким апофеозом вопиющего идиотизма, как попытки "проверять" неопределенное поведение практическими примерами или "подкреплять" тут что-то ими.

Сообщение от COKPOWEHEU

А, то есть вот это int func(); уже объявление без прототипа. И давно?

Да, конечно! Это именно объявление без прототипа. И не "уже", а всегда было! Похоже, начинать нужно именно с таких азов.

А давно ли... С того момента, как в языке появились прототипы, то есть С первого стандарта языка С. 1989 год. Вы действительно не знаете, когда появился стандарт языка?

Сообщение от COKPOWEHEU

Вы приводите какие-то свои домыслы, не подкрепленные ничем: ни логикой, ни цитатами из стандарта, ни конкретными примерами, демонстрирующими то или иное поведение. Может, все-таки перейдете к конструктиву?

Все мои утверждения подтверждены стандартом языка и ссылки на него я здесь не раз уже приводил. Если вам не понятен какой раздел стандарта описывает какой из вышеупомянутых моментов - спрашивайте

@COKPOWEHEU · 19.10.2019, 09:12

Сообщение от TheCalligrapher

"Проверить" что? "Проверить" неопределенное поведение???

Проверить ваше утверждение:

Сообщение от TheCalligrapher

Нет, конечно, первый же вызов с неправильным количеством параметров - неопределенное поведение. Ни до какой "бесконечной рекурсии" дело тут дойти не успевает.

И стандарт, и логика, и эксперимент подтверждает, что вызов такой функции прекрасно работает. Я хотел сказать, что код совершенно исправен, но бесконечная рекурсия не позволяет.

Сообщение от TheCalligrapher

Да, конечно! Это именно объявление без прототипа.

То есть у функции будет два определения. А зачем тогда, по-вашему, вводили термин "прототип"?

Сообщение от TheCalligrapher

Все мои утверждения подтверждены стандартом языка и ссылки на него я здесь не раз уже приводил. Если вам не понятен какой раздел стандарта описывает какой из вышеупомянутых моментов - спрашивайте

Ссылок на стандарт в этой теме не было вообще. Самое близкое - моя цитата и предложение поискать в стандарте примеры, но без номера называть прямо "ссылкой" слишком сильно.
Если у вас есть ссылки, где указывается, что передача в функцию, объявленной без аргументов, чего-то другого, будет UB, приводите, конечно.

@TheCalligrapher · 19.10.2019, 10:38

Сообщение от COKPOWEHEU

И стандарт, и логика, и эксперимент подтверждает, что вызов такой функции прекрасно работает. Я хотел сказать, что код совершенно исправен, но бесконечная рекурсия не позволяет.

Ну зачем же впрямую врать? Стандарт открытым текстом говорит, что вызов функции с неправильным числом аргументов вызывает неопределенное поведение. Логика такого решения ясна и прозрачна.

От того, что вы будете непрерывно дылдонить обратное, ситуация не поменяется. И ваши попытки "опровергнуть" неопределенные поведение каким-то частными примерами вызывают лишь улыбку.

Сообщение от COKPOWEHEU

То есть у функции будет два определения.

Чего? Какие еще "два определения"?

Сообщение от COKPOWEHEU

А зачем тогда, по-вашему, вводили термин "прототип"?

В языке С исторически поддерживается два взаимоисключающих синтаксиса объявления (и определения) функции: K&R синтаксис (объявление без прототипа) и новый синтаксис, похожий на С++-объявления (объявление с прототипом).

Объявления второго типа - с прототипом - часто называют просто прототипами. Объявления первого типа "прототипами" никто никогда не называет. Кроме безграмотных "пионэров", разумеется.

А ввели объявления с прототипом (и термин "прототип") в стандартизованный язык потому, что K&R-синтаксис не накладывает на вызов функции никаких компиляторных проверок и ограничений, и посему опасен, крив и неудобен. А вот базовая корректность вызовов функций с прототипами прекрасно проверяется компилятором, а также позволяет компилятору проводить неявные преобразования типов аргументов к типам параметров.

Вызов функции, объявленной без прототипа, с неправильным числом и типами аргументов является неопределенным поведением:

http://port70.net/~nsz/c/c11/n1570.html#6.5.2.2p6

"If the expression that denotes the called function has a type that does not include a prototype, the integer promotions are performed on each argument, and arguments that have type float are promoted to double. These are called the default argument promotions. If the number of arguments does not equal the number of parameters, the behavior is undefined.[...]If the function is defined with a type that does not include a prototype, and the types of the arguments after promotion are not compatible with those of the parameters after promotion, the behavior is undefined, except for the following cases:

- one promoted type is a signed integer type, the other promoted type is the corresponding unsigned integer type, and the value is representable in both types;
- both types are pointers to qualified or unqualified versions of a character type or void."

Вызов функции, объявленной с прототипом, с неправильным числом и типами аргументов является некорректным кодом (т.е. "ошибкой компиляции"):

http://port70.net/~nsz/c/c11/n1570.html#6.5.2.2p2

"If the expression that denotes the called function has a type that includes a prototype, the number of arguments shall agree with the number of parameters. Each argument shall have a type such that its value may be assigned to an object with the unqualified version of the type of its corresponding parameter."

У людей, слабо знакомых с тонкостями языка, может вызывать с затруднение определение принадлежности объявлений с () - это старое K&R-объявление или прототип? Для человека, знакомого со стандартом языка, ответ очевиден - это K&R-объявление, что и иллюстрируется нашими экспериментами.

Я вам выше также дал ссылку на разъяснения комитета по стандартизации по поводу определений функции с (), где ясно сказано, что несмотря на фразу "у функции нет параметров" в тексте стандарта, такое определение все равно не вводит прототипа, то есть не фиксирует количество и типы параметров.

@COKPOWEHEU · 19.10.2019, 20:54

Сообщение от TheCalligrapher

вызов функции с неправильным числом аргументов

Не вызов, а использование. А в примере использования как раз нет.

Сообщение от TheCalligrapher

От того, что вы будете непрерывно дылдонить обратное, ситуация не поменяется.

Да вот и чувствую, что хоть об стенку стучись. Механизм возможного UB вы так и не привели, реальных примеров тоже. Единственное что было - намек в стандарте, который не полностью соответствует задаче.

@TheCalligrapher · 20.10.2019, 00:57

Сообщение от COKPOWEHEU

Не вызов, а использование. А в примере использования как раз нет.

Чего???

Сообщение от COKPOWEHEU

[...]Механизм возможного UB[...]реальных примеро[...]стандарте, который не полностью соответствует задаче.

На весь этот поток чуши я уже отвечал выше. Я думаю, народ, что тут бесполезно дальше тратить время.

@COKPOWEHEU · 20.10.2019, 14:04

Сообщение от TheCalligrapher

Я думаю, народ, что тут бесполезно дальше тратить время.

да тут на вашу чушь все равно кроме меня никто времени не тратит, не переживайте.

Новые блоги и статьи Все статьи Все блоги /
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .
Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .