C++中多编译单元导致重复定义(multi definition)的链接问题总结:
- C++中有由于模版分离编译等问题,导致尝尝需要在头文件加入变量定义或者函数定义的代码,从而在链接多编译单元时导致multi-definition重复定义的问题。
- 传统C语言中的static关键在C++中对于类的成员有其他的语义,导致其功能的局限性。
- 在C++中建议使用匿名namespace类实现讲一个函数或者变量的定义局限在一个编译单元内,避免multi-definition 的问题。
但是这种方法经常会导致一个问题就是multi-definition重复定义,在较大型的工程中往往会采用多编译单元的形式生成多个.o文件,然后再用ld链接生成可执行文件。如果多个.o中都include了同一个hpp文件,而该hpp文件又包含了全局变量,类的静态成员等一些变量的定义,那么就会导致gcc的multi-definition报错。在传统的C程序中可以通过static申明一个变量或者函数不生成全局符号来解决这个问题,但是C++中static关键字对于类的成员有了其他语义。因此C++中建议使用匿名namespace来替代static避免multi-definition的问题。看如下一个例子:
//-----------test.hpp----------
#include<string>
class A
{
public:
static std::string y;
};
std::string A::y = std::string();
//-----------test_comm.cpp----------
#include "test.hpp"
void func() { }
//-----------test_main.cpp----------
#include "test.hpp"
void func();
int main(int argc, char *argv)
{
func();
}
在g++上编译就会出错,通过匿名namespace解决这个问题,只需要把test.hpp的实现用匿名namespace包围即可避免重复定义的问题:
//-----------test.hpp----------
#include <string>
namespace
{
class A
{
public:
static std::string y;
};
std::string A::y = std::string();
实际上匿名namespace的作用是把其中的变量都放在了一个随机名字空间中,并且保证改名字空间在多个编译单元中是唯一的。因为匿名namespace中声明或定义的变量函数是全局可见的,所以并不会对自己所在文件的编译造成影响,这就是实现了之前C语言中static关键字的作用,并且具有更好的实用性。