O #include
é algo que só serve ao compilador. Já tem pergunta falando disso, não tem porque repetir aqui.
Já respondi em linhas gerais como funciona um compilador.
O objeto possui essencialmente o código binário que deverá executar. Esse código são bytes que fazem sentido para instruir o processador.
Claro que ele possui algumas informações que ajudam o linker montar o executável, tem tabela de símbolos públicos, informações de relocação, dados estáticos gerados, definições de referências, informações para depuração (quando é adequado), etc.
Pode usar o objdump
para ver o que tem dentro dele. Ou o dumpbin
dumpbin
se usar Microsoft.
Cada um pode ter um formato COFF é um dos formatos.
Para entender um pouco sobre o funcionamento do código binário já tem uma pergunta.
O objeto é gerado como unidade única de compilação. O compilador monte conforme é informado, não há uma correlação de um arquivo .c
e um objeto.
O formato interno não depende do compilador e sim do linkeditor que ele quer se conformar. Tem compiladores que possuem linkeditores junto então até acaba dando para falar que é formato da ferramenta como um todo.