В общем случае наличие переменной отнюдь не означает выделенную память. Переменная может быть размещена компилятором в регистре, она может быть размещена по одному адресу с другой переменной (например, если их области жизни не пересекаются), код может быть преобразован так, что ваша переменная вовсе исчезнет.
Мой любимый пример: вот такой код
unsigned int sum(unsigned int num)
{
unsigned int acc = 0;
for (unsigned int i = 0; i <= num; i++)
acc += i;
return acc;
}
оптимизирующий компилятор преобразует в такой ассемблер:
sum(unsigned int):
mov ecx, edi
lea eax, [rdi - 1]
imul rax, rcx
shr rax
add eax, edi
ret
(который можно примерно перевести назад на C++ как return num * (num - 1) / 2 + num
).
Сколько байт весит переменная i
исходного кода? Вопрос некорректен.
Ещё один любопытный пример: код
class adder
{
int a, b;
public:
adder(int a, int b) : a(a), b(b) {}
int get() { return a + b; }
};
int add0(int x, int y)
{
return x + y;
}
int add1(int x, int y)
{
adder w(x, y);
return w.get();
}
int add2(int x, int y)
{
adder* pw = new adder(x, y);
int result = pw->get();
delete pw;
return result;
}
int add3(int x, int y)
{
adder* pw = new adder(x, y);
try
{
int result = pw->get();
delete pw;
return result;
}
catch (...)
{
delete pw;
throw;
}
}
int add4(int x, int y)
{
std::unique_ptr<adder> pw { new adder(x, y) };
return pw->get();
}
скомпилровался в обычное
add0(int, int):
lea eax, [rdi + rsi]
ret
add1(int, int):
lea eax, [rdi + rsi]
ret
add2(int, int):
lea eax, [rdi + rsi]
ret
add3(int, int):
lea eax, [rdi + rsi]
ret
add4(int, int):
lea eax, [rdi + rsi]
ret
то есть все пять функций компилируются в аналог return x + y;
. Какой адрес объекта adder
? Где он расположен, в стеке или в куче? Вопрос некорректен.
Компилятор обязан следовать семантике вашего кода: если код по сути считает сумму чисел, то после компиляции должна получиться сумма чисел. Компилятор не обязан следовать синтаксису вашего кода: если для сложения вы используете дополнительный класс, компилятор вовсе не обязан делать то же самое. Поэтому компилятор имеет право под капотом менять код, убирать и добавлять переменные, менять алгоритм с квадратичного на линейный и наоборот, убирать аллокации, всё что угодно. Понятия исходного кода (переменные, функции, классы, команды) вовсе не обязаны иметь соответствие в компиляте.