1

Почему под параметр-переменную функции выделяется 4 байта оперативной памяти, если тип short (2 байта)?

введите сюда описание изображения

По просьбе dgzargo

введите сюда описание изображения

4
  • два параметра типа short. попробуй изменить тип одного из них
    – dgzargo
    4 ноя 2018 в 22:13
  • @dgzargo При чём тут это? Я ввёл два параметра, в оперативной они оба отображены: 02 00 00 00 - первый, второй такой же. Ввёл два затем, чтобы увидеть границу по памяти между первым и вторым 4 ноя 2018 в 22:24
  • Выравнивание ? на границу размера указателя ? на 32x - 4 байта, на 64х - 8 байт.
    – vt-egorov
    5 ноя 2018 в 1:27
  • @vegorov: Я думаю, что даже на x64 выравнивание все равно будет на int, т.е. на 4 байта. 5 ноя 2018 в 4:29

2 ответа 2

5

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

Во-вторых, даже если ваша реализация решит разместить параметры в памяти, скорее всего она выровняет их либо на границу нативного слова вашей платформы, либо (еще вероятнее) на границу типа int.

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

По этой же самой причине даже аргументы типа char будут передаваться как полноразмерные int, а аргументы типа float - как double.

P.S. Вас и не должно интересовать, сколько памяти было выделено под передачу ваших параметров. Это не имеет никакого значения. Внутри функции ваши параметры будут вести себя, как значения типа short, и их начальные значения будут переданы правильно.

3
  • Когда я пытаюсь реализовать функцию с переменным числом параметров, используя указатель, указатель (пусть типа short) получает адрес первого аргумента, а дальше смещается на 2 адреса в памяти, а аргумент занимает 4. Вот тут возникает проблема. Конечно, можно всё передавать как тип int или больший, но всё же 5 ноя 2018 в 12:44
  • @Алексей: Так а зачем вы так делаете? Доступ к переменным параметрам делается через va_arg, а не через "смещение указателя". 5 ноя 2018 в 14:30
  • Ещё не дошёл до этого, учу язык в свободное от учёбы время 5 ноя 2018 в 17:00
2

В Вашем случае параметры передаются через стек. А так как программа тридцати-двух битная то и квант стека соответственный. О передаче параметров в Visual Studio написано здесь и здесь.

On x86 plaftorms, all arguments are widened to 32 bits when they are passed.

Что такое фрейм стека и что и как там размещается написано здесь и здесь.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

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