现象描述
一个文件夹中包含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>类型。
解决方案
- 将a和b的相关代码合并成一个文件,这样就能够根据B类型中的A<int>隐式实例化类型。但是这种方法比较死板;
- 在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