Зачем ему не нужна ссылка libm?

Question

#include <math.h> 
#include <stdio.h> 
int main() 
{ 
    printf("%f", roundf(3.14)); 
} 

компилировать выше кода (не использовать -lm), добавить использование LDD a.out, результат

linux-vdso.so.1 => (0x00007fffab9ff000) 
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fd6da0f8000) 
/lib64/ld-linux-x86-64.so.2 (0x00007fd6da4eb000) 

почему a.out не связывают с libm но можно использовать roundf (или что-то вроде sqrt)? У меня есть использование nm для тестирования libc.so.6 и ld-linux-x86064.so.2, но все это не имеет символа roundf.

Я хочу знать, где определен круглый круг, или он был встроен компилятором? (тест с GCC 4.7.3 и GCC 4.6.3)

---

Ответ является http://fedoraproject.org/w/index.php?title=UnderstandingDSOLinkChange

Answer 1

В качестве оптимизации, компилятор бы вычислить значение во время компиляции и используется константа, так что нет звонка в roundf(). Вы можете убедиться в этом, увидев сгенерированный код:

main: 
    pushl %ebp 
    movl %esp, %ebp 
    andl $-16, %esp 
    subl $16, %esp 
    movl $.LC0, %eax 
    fldl .LC1 
    fstpl 4(%esp) 
    movl %eax, (%esp) 
    call printf 
    leave 
    ret 

Вы можете видеть, что нет никакого вызова roundf() в сгенерированной сборке. (Вы можете сгенерировать это с помощью gcc -S filename.c и прочитать сгенерированный файл filename.s).

Answer 2

Вы упомянули libstdc++ в комментарии, что заставляет меня подозревать, что проблема в том, что вы связываетесь с g++, а не с gcc.

Команда gcc вызывает компилятор и/или компоновщик. Если вы используете его для компиляции исходного файла, он обычно определяет язык (и, следовательно, какой интерфейс для компилятора использовать).

Команда g++ аналогична, но специализирована для C++; если он вызывает компоновщик, он передает аргументы по мере необходимости для связывания библиотек, таких как libstdc++, которые необходимы для C++.

Например, эти две команды, которые просто компилировать без привязки:

gcc -c foo.cpp 
g++ -c foo.cpp 

являются (насколько я знаю), что эквивалентно, но эти команды:

gcc foo.cpp -o foo 
g++ foo.cpp -o foo 

нет; первый, вероятно, не сработает (в зависимости от того, какие функции использует foo.cpp).

И получается, что команда g++, в отличие от команды gcc, неявно связывает математическую библиотеку, по крайней мере, в версии моей системы. Поэтому, если ваш код на C++ использует как C++-специфические функции (например, <iostream>), так и математические функции, то привязка его к команде gcc может вызвать жалобы на функции, определенные как в libstdc++, так и в libm - повторно посмотрев.

Если вы связываетесь с командой g++, это должно решить проблему. Вероятно, вам придется изменить свой Makefile или его эквивалент или что-то другое.

(Если это решение, вероятно, вы должны добавить «C++» в список тегов по вашему вопросу.)

Что касается того, почему вы раньше не сталкивались с этой проблемой, я не могу сказать. Некоторые C (и/или C++) компиляторы свяжут математическую библиотеку неявно; необходимость указывать -lm для других компиляторов, возможно, является ошибкой.