前言
有些自定义的变量类型和常量在整个项目中都可能会使用到,因此想到定义一个data_types.h文件用来实现该功能。
变量类型的定义由于只需要在头文件中定义,不涉及到初始化,没有出现问题。
但是对于一些常量如字典型常量在头文件中声明并直接初始化,出现了multiple definition重定义编译错误。
原因
在同一个头文件里写了变量或函数声明和定义,该文件被多个文件包含,造成变量或函数的重定义。
程序的编译链接过程包括:预处理,编译,汇编和链接。预处理过程对伪指令(宏定义、条件编译、和引用头文件)和特殊符号进行处理,将include头文件的内容包含进源文件,这个过程完成后,头文件将不再需要。
在程序的编译链接过程中,在头文件g.h中声明并定义了变量或者函数,若(1)在a.c和b.c中均引用g.h,(2)在a.h中引用g.h,a.c引用a.h并在b.c中引用a.h,该变量或者符号将被同时包含在a.o和b.o中,将导致链接失败,这是因为语法规定“一个变量可以多次声明但只能定义一次”。
在C++中,即使在头文件中加了#ifndef X,链接错误同样会发生,原因是C++中#ifndef X的作用域仅在单个文件中,因此g.h的条件编译只能分别保证在a.cpp和b.cpp中不出现重复定义,但在链接a.o和b.o的过程中就会发现重复定义。
解决方法
针对函数,对于频繁调用的小函数(且不包含递归循环),可使用inline 修饰符在头文件中可直接定义,表示为内联函数。
定义在类中的成员函数默认都是内联的,如果想使用内联,最好类内给出函数定义。如果在类中未给出成员函数定义,而又想内联该函数的话,那在类外函数定义处加上 inline,否则就认为不是内联的。(inline 是一种"用于实现的关键字", 必须与函数定义体放在一起才能使函数成为内联,仅将 inline 放在函数声明前面不起任何作用。)
针对变量,有以下解决方法。
1.变量前用static修饰 (不推荐)
static限制了变量的作用域,使得该变量仅在引用.h的源文件中有效,也就是说.h被引用了几次这个变量就被定义了几次,且各变量之间互不影响,也可以改变变量的值(各变量具有不同的内存地址)。这种方法不适用于定义全局变量,因为它们不是同一个变量(相当于多个同名的人住在不同的地方)。
2.变量前用const修饰 (不推荐)
与static相似,const也是通过限制了变量的作用域,但是增加了变量是常量的属性,内容不可修改。该常量仅在引用.h的源文件中有效,可以发现每个常量的地址依然不同,从内存分配角度上,该方法也不适用于定义全局变量。
const和static一样都可以使变量具有内部链接属性。只有变量的作用域为当前模块时,该变量才可以在头文件中定义.
编译单元:一个编译单元就是一个经过预处理的源文件(.c / .cpp)。
内部链接:如果一个名称对于它的编译单元来说是局部的,并且在链接的时候不会与其它编译单元中同样的名称相冲突,则这个名称具有内部链接。
外部链接:如果一个名称在链接时可以和其他编译单元交互,那么这个名称就具有外部链接。
3.将变量或函数声明和定义分开,全局变量声明extern,全局常量声明extern const (推荐)
extern修饰的变量具有外部链接属性,可以实现全局变量的属性,与const结合就可以实现全局和只读变量的目的,但需要说明的是,变量必须在头文件中给出声明而不是定义,然后在与头文件对应的源文件中给出定义(也可以在任意引用该头文件的源文件中给出定义,但不推荐)。
// global.h
#ifndef GLOBAL_H_INCLUDED
#define GLOBAL_H_INCLUDED
#include <stdio.h>
extern const int var; // 声明var
#endif // GLOBAL_H_INCLUDED
// global.cpp
#include "global.h"
const int var = 10; // 定义var