Início / coding / Perguntas / 78309444
Accepted
ABu
Asked: 2024-04-11 17:43:48 +0800 CST

Arquivos de objetos, bibliotecas estáticas e regras de definição única

  • 772

Vamos imaginar que tenho uma linha de compilação como a seguinte:

gcc <flags...> -o a.out obj1.o obj2.o

onde ambos obj1.oe obj2.odefinem void f(int). Receberei um erro de definição múltipla (violação da regra de definição única).

Ok, agora imagine o seguinte:

gcc <flags...> -o a.out obj1.o -lstatic_lib

onde ambos obj1.oe static_lib.adefinem f(int). Eu sei que uma biblioteca estática é uma concatenação de .oarquivos, e para cada símbolo pendente de ser resolvido, for encontrado dentro de qualquer um dos .oarquivos da biblioteca estática, então o todo .o que resolver aquele símbolo será vinculado ao binário, junto com qualquer outro símbolo que o mesmo .ofornece.

Esse comportamento me faz pensar. Imagine que static_lib.aé composto por dois objetos, static_obj1.oe static_obj2.o, onde static_obj1.oé quem define f(int). Como obj1.ojá define f(int)também, o vinculador não está procurando por ele dentro static_lib.ae, portanto, static_obj1.onão será incluído teoricamente, mas, e esta é a questão:

  • E se obj2.oexigir f2(int), quem também é definido por static_obj1.o? O vinculador, após a integração static_obj1.opor causa de f2(int), emitiria um aviso de definição múltipla por f1(int)ser agora duas vezes?

NOTA: estou marcando C e C++ porque acho que o comportamento é o mesmo para ambos nesse aspecto. Caso contrário, esclareça, estou muito interessado em saber alguma diferença comportamental. Além disso, se o comportamento for muito diferente entre gcc/clang/visual studio/linux/windows, esclareça. Se o comportamento for praticamente o mesmo, concentre-se no gcc em vez do linux.

c++

1 respostas

  1. Best Answer

    O vinculador, após a integração static_obj1.opor causa de f2(int), emitiria um aviso de definição múltipla por f1(int)ser agora duas vezes?

    Sim.

    … regra de uma definição…

    Isto não é regido pela regra de uma definição em C++ ou pela regra correspondente em C. No que diz respeito a esta questão de ligação, essas regras apenas indicam que um programa em conformidade não conterá múltiplas definições. Eles não governam o que acontece ao vincular múltiplas definições. Por exemplo:

    • O vinculador pode emitir uma mensagem de erro e não produzir um executável. Este é um comportamento conforme porque interpretamos o programa solicitado vinculando esses vários módulos de objetos para ter múltiplas definições. Então o comportamento não é definido pelo padrão da linguagem, portanto qualquer comportamento está em conformidade.
    • Hipoteticamente, o vinculador poderia escolher um módulo de objeto e formar um executável contendo apenas uma definição de cada símbolo. Novamente, como o comportamento não é definido pelo padrão da linguagem, qualquer comportamento está em conformidade. Alternativamente, poderíamos interpretar a solicitação ao vinculador como uma solicitação para formar um programa com apenas uma definição do símbolo, resultando em um programa que esteja em conformidade com o padrão da linguagem. Os padrões são omissos em relação à forma como usamos linkers e outras ferramentas para vincular unidades de tradução, de modo que são possíveis várias interpretações dessas interações.
    • 3

relate perguntas