链接多个C源文件

Question

我在安装了GCC 4.4.5的gentoo linux上.我可以使用gcc main.c -o main编译和链接这样的程序而没有任何错误,并且命令./main正确返回结果.

[main.c] 
#include <math.h>
#include <stdio.h>
int main(void)
{
    double c = ceil(2.5);
    printf("The ceil of 2.5 is %f\n", c);
    return 0;
}

但是,当我将ceil的调用放入另一个源文件时,就会出现问题.

[calc.h]
#ifndef _CALC_H_
#define _CALC_H_
double myceil(double n);
#endif

[calc.c]
#include <math.h>
#include "calc.h"
double myceil(double n)
{
    return ceil(n);
}

[main1.c]
#include <stdio.h>
#include "calc.h"
int main(void)
{
    double c = myceil(2.5);
    printf("The ceil of 2.5 is %f\n", c);
    return 0;
}

使用命令gcc calc.c main1.c -o main1,会发生此类错误:

/tmp/cc6GhJvZ.o: In function `myceil':
calc.c:(.text+0x19): undefined reference to `ceil'
collect2: ld returned 1 exit status

那么为什么在后一种情况下会发生恼人的错误"未定义的引用"呢？我知道可以通过添加库-lm来消除错误,但是,我只是想知道为什么gcc会在后一种情况下抛出错误.

Answer 1

我的猜测是GCC优化ceil(2.5)为常量,而ceil(n)不是常数,因为n在编译时不知道calc.c,并且它需要引用该函数.您可以通过查看程序集输出(gcc -S)来确认这一点.

更新:这是x86上的gcc 4.2.1给了我类似于你的第一个例子:

.LC1:
    .string "%f\n"
    // [snip]
main:
    // [snip]
    fldl    .LC0
    fstpl   4(%esp)
    movl    $.LC1, (%esp)
    call    printf
    // [snip]
.LC0:
    .long   0
    .long   1074266112

在这里,我们看到printf被一个double常数调用.

现在,如果我做了类似于你的第二个例子:

myceil:
    // [snip]
    fldl    -8(%ebp)
    fstpl   (%esp)
    call    ceil
    // [snip]

在这里,我们看到ceil被引用.

是的.我会说你的电话被优化为一个不用的电话-lm.