A sua dúvida é em como está estruturada a memória de um programa. Pesquise por artigos sobre a organização da memória de um processo para ter uma visão mais ampla. Aqui vou dar apenas as noções mais básicas que te ajudarão a visualizar o que acontece na máquina.
Quando você manda executar um programa, o SO aloca um bloco na memória para armazenar as informações do novo processo. Entre essas informações está o código do programa (instruções, variáveis, funções etc) já vinculado com as libs estáticas. Não é possível saber o endereço exato de onde está o processo e isso pode ficar mudando constantemente caso tenham mais processos rodando que memória disponível para todos eles.
Porém, dentro do espaço alocado para o processo, as instruções geralmente ficam nos menores endereços do bloco. Em seguida, vem o bloco das variáveis estáticas e globais e acima temos o HEAP que cresce a medida em que seu programa aloca dados dinamicamente. No final do bloco do processo (maiores endereços) está o STACK que cresce para endereços menores a medida que suas funções vão sendo chamadas.
Execute este código e observe a saída. Por questões de segurança, o compilador não nos deixa manipular/observar o endereço das funções, só podemos dizer a ele que queremos que tal ponteiro aponte para tal função.
Quanto a sintaxe, bem... uma função requer uma lista de parâmetros, já um objeto não. Logo, as sintaxes tem de ser diferentes. Os parênteses em volta do nome são para desambiguar da declaração de função. O motivo de não usar o operador &
é o mesmo do array. O nome de uma função já é um nome de um ponteiro. Porém, isso é opcional, você pode usar o operador se quiser.
void *pnome = &x;
void (*pnome) (<parâmetros>) = [&]f;
void *pnome(<parâmetros>) = [&]f; // ERRO: função inicializada como objeto
Contudo, como o @Maniero já disse, essa sintaxe é herança do C. Em C++ existem formas melhores de trabalhar com ponteiros para função usando a std::function
.
CALL
para chamá-la (que tem umas pequenas diferenças doJMP
). Uma variável pode estar no endereço 0x00004 a função em 0x00008, vai mudar a forma como são usadas através de funções específicas do assembly,