连接报错 (.text+0x14): undefined reference to

 现象描述

一个文件夹中包含6个文件，其中两个头文件，两个对应的源文件，一个主程序，一个Makefile。

.
├── Makefile
├── a.cpp
├── a.h
├── b.cpp
├── b.h
└── main.cpp

0 directories, 6 files

//- a.h
#ifndef _A_H
#define _A_H

template <typename T>
class A
{
private:
    T x,y,z;
public:
    A();
    ~A();
};

#endif

 a.h定义了一个模板类A，包含三个数据（x,y,z）；

//- b.h
#ifndef _B_H
#define _B_H
#include "a.h"

class B
{
private:
    A<int> a;
public:
    B();
    ~B();
};

#endif

 b.h声明了类型B，这个类型的数据为实例化的一个类对象A<int> a。

//- a.cpp
#include "a.h"

template <typename T>
A<T>::A()
{
    x = 0;
    y = 0;
    z = 0;
}

template <typename T>
A<T>::~A(){}

//- b.cpp
#include "b.h"

B::B(){}
B::~B(){}

 两个cpp文件分别是定义了构造和析构函数。

//- main.cpp
#include "a.h"
#include "b.h"

int main(int argc, char* argv[])
{
    return 0;
}

 main函数中不执行任何操作，只是包含了两个头文件。

//- Makefile
target = test
obj = main.o a.o b.o
CC = g++

$(target):$(obj)
	$(CC) $(flag) $(obj) $(lib) -o $(target)

a.o:a.cpp
	$(CC) -c a.cpp -o a.o

b.o:b.cpp
	$(CC) -c b.cpp -o b.o

main.o:main.cpp
	$(CC) -c main.cpp -o main.o

Makefile文件中，首先将a.cpp、b.cpp、main.cpp都编译成静态库a.o、b.o、main.o.然后将这些静态库链接成可执行文件test。

g++ -c main.cpp -o main.o
g++ -c a.cpp -o a.o
g++ -c b.cpp -o b.o
g++  main.o a.o b.o  -o test
b.o: In function `B::B()':
b.cpp:(.text+0x14): undefined reference to `A<int>::A()'  
b.o: In function `B::~B()':
b.cpp:(.text+0x30): undefined reference to `A<int>::~A()' 
collect2: error: ld returned 1 exit status
Makefile:6: recipe for target 'test' failed
make: *** [test] Error 1

可以看到，在编译静态库的时候是没有问题的，但是在链接的时候，报错，提示A<int>没有定义。这是因为，我首先将类模板所在源文件a.cpp编译成静态库a.o，然后在b.h中才进行了隐式类模板实例化，但是此时a.o已经编译完了，其中并没有b中所需要的A<int>类型。

解决方案

1. 将a和b的相关代码合并成一个文件，这样就能够根据B类型中的A<int>隐式实例化类型。但是这种方法比较死板；
2. 在a.h中，显式声明之后可能需要实例化的类型，这样在其他文件引用的时候，就不会出现这个错误了。

#ifndef _A_H
#define _A_H

template <typename T>
class A
{
private:
    T x,y,z;
public:
    A();
    ~A();
};

template struct A<int>;    //- 显式声明实例化类型

#endif

再次编译就成功了

g++ -c main.cpp -o main.o
g++ -c a.cpp -o a.o
g++ -c b.cpp -o b.o
g++  main.o a.o b.o  -o test