版本比较

旧版本 3

changes.mady.by.user zhongluqiang

保存于

比较

新版本 4

changes.mady.by.user zhongluqiang

保存于

标识

  • 该行被添加。
  • 该行被删除。
  • 格式已经改变。

测试1：静态链接

版块
列
width25%
代码块
titlea.c
#include <stdio.h>

void test(void) {
    printf("This is b\n");
}
列
width25%
代码块
titleb.c
#include <stdio.h>

void test(void) {
    printf("This is b\n");
}
列
width25%
代码块
titlemain.c
#include <stdio.h>

extern void test(void);

int main() {
    test();
    return 0;
}
列
width25%
代码块
titleMakefile
all:
	@echo "Please specify a target, try: make [ab | ba]"
	
ab: main.o liba.a libb.a
	gcc main.o -L. -la -lb

ba: main.o liba.a libb.a
	gcc main.o -L. -lb -la

main.o: main.c 
	gcc main.c -c

liba.a: a.c
	gcc a.c -c
	ar -cr liba.a a.o

libb.a: b.c 
	gcc b.c -c
	ar -cr libb.a b.o 

clean:
	rm -fr *.o *.a *.so a.out

上面的代码执行结果如下：

代码块
$ make ab
gcc main.c -c
gcc a.c -c
ar -cr liba.a a.o
gcc b.c -c
ar -cr libb.a b.o
gcc main.o -L. -la -lb
$ ./a.out
This is a
$ make ba
gcc main.o -L. -lb -la
$ ./a.out
This is b

解释如下：

链接过程中从左向右扫描目标文件和库中的符号，并维护一个Undefined符号表。在遇到main.o时，由于test函数未定义，Undefined符号表中记录下test。接下来，如果先链接liba.a，则由liba.a提供test函数的实现，并且由于链接完liba.a后已经没有未解决的符号了，后面的libb.a不会再扫描，链接过程结束，main函数中的test函数为a.c中的实现。当链接顺序反过来时，则只会链接liba.a。

测试2：静态链接-符号冲突

版块
列
width25%
代码块
titlea.c
#include <stdio.h>

int a = 1;

void test(void) {
    printf("This is b\n");
}
列
width25%
代码块
titleb.c
#include <stdio.h>

int b = 1;

void test(void) {
    printf("This is b\n");
}
列
width25%
代码块
titlemain.c
#include <stdio.h>

extern void test(void);
extern int a;
extern ina b;

int main() {
    test();
    printf("a=%d, b=%d\n", a, b);
    return 0;
}
列
width25%
代码块
titleMakefile
all:
	@echo "Please specify a target, try: make [ab | ba]"
	
ab: main.o liba.a libb.a
	gcc main.o -L. -la -lb

ba: main.o liba.a libb.a
	gcc main.o -L. -lb -la

main.o: main.c 
	gcc main.c -c

liba.a: a.c
	gcc a.c -c
	ar -cr liba.a a.o

libb.a: b.c 
	gcc b.c -c
	ar -cr libb.a b.o 

clean:
	rm -fr *.o *.a *.so a.out

执行结果：

代码块
$ make ab
gcc main.c -c
gcc a.c -c
ar -cr liba.a a.o
gcc b.c -c
ar -cr libb.a b.o
gcc main.o -L. -la -lb
/usr/bin/ld: ./libb.a(b.o): in function `test':
b.c:(.text+0x0): multiple definition of `test'; ./liba.a(a.o):a.c:(.text+0x0): first defined here
collect2: error: ld returned 1 exit status
make: *** [Makefile:5: ab] Error 1
$ make ba
gcc main.o -L. -lb -la
/usr/bin/ld: ./liba.a(a.o): in function `test':
a.c:(.text+0x0): multiple definition of `test'; ./libb.a(b.o):b.c:(.text+0x0): first defined here
collect2: error: ld returned 1 exit status
make: *** [Makefile:8: ba] Error 1

解释如下：

链接过程同样是从左向右扫描目标文件和库中的符号，并维护Undefined符号表。在遇到main.o时，由于test函数和外部变量a、b都未定义，Undefined符号表中记录下这三项。接下来，如果先链接liba.a，则由liba.a提供test函数和变量a的定义，但此时还有变量b未解决，所以会继续链接后面的库。接下来是链接libb.a，libb.a中有变量b的定义，但还有一个test函数的定义，由于静态链接中没有全局符号介入问题，并且两个test函数的符号优先级相同，所以报重复定义错误。不管是先链接liba.a还是先链接libb.a都存在同样的问题。

测试3：静态链接-链接顺序影响链接结果

版块
列
width25%
代码块
titlea.c
#include <stdio.h>

void testa(void) {
    printf("This is a\n");
}
列
width25%
代码块
titleb.c
#include <stdio.h>

extern void testa(void);

void testb(void) {
    testa();
}
列
width25%
代码块
titlemain.c
#include <stdio.h>

extern void testb(void);

int main() {
    testb();
    return 0;
}
列
width25%
代码块
titleMakefile
all:
	@echo "Please specify a target, try: make [ab | ba]"
	
ab: main.o liba.a libb.a
	gcc main.o -L. -la -lb

ba: main.o liba.a libb.a
	gcc main.o -L. -lb -la

main.o: main.c 
	gcc main.c -c

liba.a: a.c
	gcc a.c -c
	ar -cr liba.a a.o

libb.a: b.c 
	gcc b.c -c
	ar -cr libb.a b.o 

clean:
	rm -fr *.o *.a *.so a.out































目录