Что такое ebp+8, связанный с C++ и сборкой?

у меня есть следующий код C++:

#include <tuple>
std::tuple<int, bool> foo()
{
    return std::make_tuple(128, true);
}
int main()
{
    auto result = foo();
}

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

push    ebp
mov     ebp, esp
sub     esp, 24
mov     BYTE PTR [ebp-13], 1  // second argument
mov     DWORD PTR [ebp-12], 128 // first argument
mov     eax, DWORD PTR [ebp+8] // what is this? why we need this here?
sub     esp, 4
lea     edx, [ebp-13]   
push    edx                   // second
lea     edx, [ebp-12]
push    edx                   // first
push    eax                  // same as "ebp+8", what is this?
call    std::tuple<std::__decay_and_strip<int>::__type, std::__decay_and_strip<bool>::__type> std::make_tuple<int, bool>(int&&, bool&&)
add     esp, 12
mov     eax, DWORD PTR [ebp+8]
leave
ret     4

Я знаю ebp+X для аргументов функции доступа, но нет ничего подобного для foo, так почему же компилятор использует его? Похоже, это первый параметр для std::make_tuple().

EDIT:

Я не использую оптимизацию, я просто хочу узнать RE.

часть в Собрание:

lea     eax, [ebp-16]  // loaction of local variable
sub     esp, 12
push    eax           // as hidden argument for foo
call    foo()
add     esp, 12
8
assembly c++ g++ reverse-engineering x86

1 ответов

соглашение о вызовах указывает, что нетривиальные объекты возвращаются через скрытый указатель, переданный в качестве аргумента. Это то, что вы видите. Технически ваш код реализован следующим образом:

std::tuple<int, bool>* foo(std::tuple<int, bool>* result)
{
    *result = std::make_tuple(128, true);
    return result;
}
int main()
{
    std::tuple<int, bool> result;
    foo(&result);
}
12