sqrt da math.h provoca errore di linker "riferimento indefinito a sqrt" solo quando l'argomento non è una costante

Question

ho creato un piccolo programma, come segue:

#include <math.h> 
    #include <stdio.h> 
    #include <unistd.h> 

    int main(int argc, char *argv[]) { 
    int i; 
    double tmp; 
    double xx; 

    for(i = 1; i <= 30; i++) { 
     xx = (double) i + 0.01; 

     tmp = sqrt(xx); 
     printf("the square root of %0.4f is %0.4f\n", xx,tmp); 
     sleep(1); 
     xx = 0; 
    } 

    return 0; 
} 

Quando provo a compilare questo con il seguente comando, ottengo un errore del compilatore.

gcc -Wall calc.c -o calc 

rendimenti:

/tmp/ccavWTUB.o: In function `main': 
calc.c:(.text+0x4f): undefined reference to `sqrt' 
collect2: ld returned 1 exit status 

Se io sostituire la variabile nella chiamata a sqrt (xx) con una costante come sqrt (10.2), si compila bene. O, se collego esplicitamente come il seguente:

gcc -Wall -lm calc.c -o calc 

Funziona anche bene. Qualcuno può dirmi che cosa sta causando questo? Sono un programmatore C da molto tempo (e ho scritto piccoli programmi simili usando math.h) e non ho mai visto nulla di simile.

La mia versione di gcc segue:

$ gcc --version 
gcc (Ubuntu 4.3.3-5ubuntu4) 4.3.3 
Copyright (C) 2008 Free Software Foundation, Inc. 
This is free software; see the source for copying conditions. There is NO 
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 
$ 

Answer 1

Se si guarda l'output del compilatore nel caso in cui si è utilizzato sqrt(10.2), scommetto che si vede che una chiamata a sqrt() non è in realtà fatta .

Ciò accade perché GCC riconosce diverse funzioni che può trattare appositamente. Questo gli dà la possibilità di fare certe ottimizzazioni, in questo caso Constant folding. Tali funzioni speciali sono chiamate Built-ins.

Nel caso in cui sia necessario collegarsi alla libreria matematica (poiché la si chiama con una variabile), è necessario collegarlo in modo esplicito. Alcuni sistemi operativi/compilatori lo fanno per te, motivo per cui potresti non averlo notato in passato.