Início / coding / Perguntas / 79568465
Accepted
Zebrafish
Asked: 2025-04-11 17:12:01 +0800 CST

Se eu criar uma biblioteca estática que chama uma função que não está definida, preciso também compilar ou vincular outra biblioteca ou arquivo?

  • 772

Perguntei a um LLM online e ele disse:

Sim, com certeza. Você precisa vincular à biblioteca de dependências mesmo ao criar uma biblioteca estática que chama funções dentro dela.

Mas tentei construir uma biblioteca estática que chama outra função, e tudo o que fiz foi incluir o cabeçalho e, em seguida, chamar a função. Ela foi construída no Linux com GCC, sem nenhuma reclamação sobre referência indefinida ou algo do tipo.

Digamos:

MinhaBibliotecaEstática:

#include "MyExternalFunction.h"

void my_static_library_function()
{
     MyExternalFunction();
}

O compilado acima funciona bem, sem reclamações do compilador.

Então eu crio um executável, main:

void my_static_library_function();

int main()
{
    my_static_library_function();
    return 0;
}

Vinculei o executável principal à minha biblioteca estática (obviamente, porque chamo a função dela) e ENTÃO ele reclama que MyExternalFunction não está definido, então o EXECUTABLE precisa vincular essa função. Mas não a biblioteca estática. Portanto, a biblioteca estática não precisa vincular as funções que chama. E quanto a outros símbolos, como variáveis? É a mesma coisa? Uma biblioteca estática NUNCA PRECISA vincular nada, ela só precisa de declarações?

O que me levou a perguntar isso é que estou construindo uma biblioteca estática (libcurl) e estou me perguntando se essa biblioteca precisa apenas do diretório include para MBedTLS (o backend da biblioteca SSL) para ser compilada.

c++

1 respostas

  1. Best Answer

    A resposta que você obteve está, em geral, correta, mas "construção" é um termo vago que não capta que há diferentes etapas.

    Uma biblioteca estática é apenas uma coleção indexada de arquivos de objeto. Um arquivo de objeto é produzido na etapa de compilação (uso-o no sentido mais estrito aqui, não como sinônimo de compilação completa, embora às vezes seja usado dessa forma). É uma dependência para desenvolvimento posterior, uma coleção limitada de algumas definições para vinculação.

    Você não vincula uma biblioteca estática; ela é produzida simplesmente criando um arquivo. A etapa de vinculação utiliza bibliotecas compartilhadas, bibliotecas estáticas, arquivos de objeto e, às vezes, recursos específicos, como scripts de vinculação, com os quais você não precisa se preocupar aqui. Em seguida, ela produz um executável ou biblioteca compartilhada, que é um "produto final" que será instalado e usado pelo sistema operacional.

    Quando o sistema operacional carrega uma biblioteca compartilhada, ele encontra referências a alguns símbolos nela e precisa associá-los a endereços reais na memória. Um símbolo pode estar na própria biblioteca compartilhada ou já ter sido carregado de algum lugar previamente. Esse lugar geralmente é uma das dependências da biblioteca compartilhada (você pode vê-las readelf -dno Linux), mas você também pode pré-carregar algumas bibliotecas compartilhadas, das quais sua biblioteca compartilhada não terá conhecimento — isso exige um esforço adicional da sua parte como usuário do produto final.

    Há também a vinculação dinâmica , na qual você insere seu código e, em algum momento durante a execução, carrega uma biblioteca e seleciona alguns símbolos dela para usar. Todo o procedimento descrito acima ainda é executado, mas você pode adiá-lo, até mesmo executá-lo lentamente, apenas para os símbolos que você realmente usa.

    A questão é que tudo precisa ser definido quando for usado, mas você tem bastante flexibilidade em "prometer que fornecerá as definições necessárias".

    Para o arquivo de objeto (e, portanto, a biblioteca estática), você só precisa especificar o que virá de fora. Essas são declarações externas. Declarações de função são externpadrão, por isso, tudo o que você precisa é incluir um arquivo de cabeçalho int f(int x);e ele será compilado, mas o símbolo para esta função será indefinido.

    Para vincular com sucesso, é recomendável fornecer a definição de fem uma das bibliotecas compartilhadas/estáticas fornecidas ao vinculador. No entanto, se você souber o que está fazendo, pode instruir o vinculador a ignorar símbolos indefinidos e tudo ficará bem... até que você precise executá-lo.

    Somente nesse ponto, ao carregar sua biblioteca (vamos ignorar a vinculação dinâmica), você precisa ter certeza de que o símbolo para ffoi definido em algum lugar - seja entre as dependências da biblioteca compartilhada que são encontradas pela funcionalidade do carregador do seu sistema operacional (observação: não apenas aquelas usadas durante a etapa de vinculação!) ou em uma biblioteca que você forneceu explicitamente ao seu processo.

    TL;DR para desenvolvimento básico e agradável de software: você precisa da declaração para compilar e da definição para vincular.

    • 3

relate perguntas