C++ 内链接与外链接 (转)

啥叫内链接 外链接

咱们知道编译的时候(假如编译器是VS),是以源文件cpp文件为单位,编译成一个个的obj文件,而后再经过连接器把不一样的obj文件连接起来.

简单的说,若是一些变量或函数的定义是内链接的话,连接器连接的时候就不会拿它们去与obj比较看有重复定义不,一个源文件中的extern声明的变量或函数也不能使用另一个源文件中的内链接的变量或函数.而若是是外链接的话则须要在不一样的obj中比较是否有重定义的.除了作这样的检查外,连接器还会查看经过extern修饰的变量或函数声明在其余obj中的定义.

 

cpp源文件与h头文件关系

咱们知道C++支持多种编程范式,能够彻底用采用面向过程,不去用类,固然了不多有人这样作,通常是结合面向过程与面向对象.

那假若有一些处在不一样源文件中的变量和函数(不是类中的变量成员或成员函数),咱们要使用不一样源文件中的变量或函数时咋整呢? 在面向对象中咱们使用一个个类的时候天然是用头文件引用下就OK.但如今没有类,只是一个个变量和函数,也能用引用头文件吗 ？ 这得看状况,有时能够,有时不行.若是头文件中只有外部声明没有任何定义,那引用头文件彻底没有问题.若是头文件中有定义的话,若是只被一个cpp文件引用则没问题,若是被多个cpp文件引用就会出现重复定义的错误.(注:编译器是以cpp文件为单位编译,若是某个h头文件没有被引用的话至关于被抛弃不用了.引用头文件时预编译时只是简单的把头文件复制到引用它的cpp文件中.)

 

extern外部声明

假如在有one.cpp和two.cpp两个源文件.

//one.cpp中

---------------------------------------------------

#include <iostream>

using namespace std; 

int number = 123;  //number的定义 .或者写成extern number = 123;当有赋值时,实际上extern失去了应有的做用.因此加不加没影响.

void Print() {cout<<"hi,i am one.cpp"<<endl;} 

 

//two.cpp中

--------------------------------------------------------

#include <iostream>

using namespace std;

 

extern int number;//这就是所谓的外部声明,此处extern不可省.另外此处绝对不能赋值.若是写成extern int number = 88;会报错是重复定义.

extern void Print(); //此处extern能够省略.

cout<<number;  //结果为123

Print(); //输出i am one.cpp

 

在two.cpp中是怎么获得one.cpp中的number的值的呢,因为用extern int number这样声明了下,代表number在其余源文件中有定义,连接器就会帮助去其余源文件中找的.

假如把上面two.cpp中的extern关键字去掉. 编译时不会出错.但连接时出错了,重复定义了.由于one.cpp中已经定义了个number,不能再定义一个相同的了.

 

static 内部链接

上面的例子中咱们知道one.cpp和two.cpp中同时写上int number会出错,说重复定义了.但若是这样

//one.cpp中

static int number = 123;

 

//two.cpp中

static int number;  //没显式赋值,会默认赋予0

 

此时却不会出错.由于定义变量时默认是外部链接的.而加上关键字static表示是静态变量,是内部链接,连接器不会去看不一样cpp编译成的obj文件中有重名的静态变量不.

当用static修饰后就不能再使用extern修饰了.

 

//one.cpp中

static int number = 123;

 

//two.cpp中

extern int number;

cout<<number;

此时会出错,由于extern声明的number找不到定义.由于one.cpp的number用static修饰代表是内链接了.

const关键字

//one.cpp中

const int number = 123;

 

//two.cpp中

const int number = 321;

 

这里达到的效果与static同样,都属于内部链接,因此不会出错.惟一不一样的时const表示常量,定义时必须显式赋予值,且赋值后不能再改变它的值.

不过const还有另一个特性就是能够和extern一块儿用.

好比在two.cpp中这样写

extern const int number; 

cout<<number; //运行会报错,会说找不到定义.须要把one.cpp中改成extern const int number = 123;才行.

//正确输出的值是one.cpp中的number值123

 

inline与static函数也是内部链接的

//one.cpp中

void Test() { }

 

//two.cpp中

void Test()  { }

这样编译时会报错,重复定义了.但若是把上面的两个void Test都改为inline void Test() { }或者static void Test() { }则不会出错.//注意这里讲的inline函数指的是全局函数,不是类里面的inline函数.

因此函数跟通常变量差很少.没任何修饰的就默认是外部链接,有static修饰的则是内部链接.另外没有const函数这一说,只有在类中才能够在函数后面加个const来修饰

转自 http://blog.csdn.net/weiwenhp/article/details/8598342

 

类定义总有内部链接,而非inline类成员函数定义总有外部链接，不论这个成员函数是静态、虚拟仍是通常成员函数，类静态数据成员定义总有外部链接。
　　1.类的定义有内部链接。若是不是，想象一下你在4个cpp文件中include定义了类Base的头文件，在4个编译单元中的类Base都有外部链接，在链接的时候就会出错。
　　看下面的例子:

//main.cpp class B //类定义，内部链接 { 　static int s_i; //静态类成员声明，内部链接 　public: 　　void foo() { ++s_i;} //类inline函数，内部链接 };   struct D { 　void foo(); //类成员函数声明，内部链接 }; int B::s_i = 0; //类静态数据成员定义，外部链接 void D::foo() //类成员函数定义，外部链接 { 　cout << "D::foo in main.cpp" <<endl; } int main() //main函数，全局自由函数，外部链接 { 　B b; 　D d; 　return 0; } //a.cpp class B { 　int k; }; struct D { 　int d; };

　　在这个例子中，main.cpp与a.cpp中都有class B和class D的定义，但在编译这两个cpp文件时并不发生link错误。
　　2.类的非inline成员函数(通常，静态，虚拟都是)总有外部链接，这样当你include了某个类的头文件，使用这个类的函数时，就能链接到正确的类成员函数上，继续以上面为例子，若是把a.cpp中的struct D改成

struct D //类定义 { 　int d; 　void foo(); //类成员函数声明 };   void D::foo() //类成员函数定义，外部链接 { 　cout << " D::foo in a.cpp" <<endl; }

　　这时main.cpp与a.cpp中的D::foo都有外部链接，在链接就会出现multiply defined symbols错。
　　3.类的静态数据成员有外部链接，如上例的B::s_i,这样当你在main.cpp中定义了类静态数据成员，其它编译单元若使用了B::s_i,就会链接到main.cpp对应编译单元的s_i。
　　d)inline函数总有内部链接，不论这个函数是什么函数

// main.cpp inline int foo() { return 1;} //inline全局函数，内部链接 class Bar //类定义，内部链接 { 　public: 　　static int f() { return 2;} //inline 类静态函数，内部链接 　　int g(int i) { return i;} //inline 类成员函数，内部链接 }; class Base { 　public: 　　inline int k()； //类成员函数声明，内部链接 }； inline int Base::k(){return 5;} //inline 类成员函数，内部链接 int main(void) { 　return 0; }

　　若是你的Base类是定义在Base.h中，而Base的inline 函数是在Base.cpp中定义的，那么在main.cpp中include "Base.h"编译不会出现问题，但在链接时会找不到函数k，因此类的inline函数最好放到头文件中，让每个包含头文件的cpp都能找到inline函数。　　如今对c++中的链接有了一个认识，能清楚的知道是什么缘由产生链接时错误。当你在链接时产生链接不到的错误，这说明全部的编译单元都没有这个实体的外部链接；当你在链接时发现有多个链接实体，这说明有多个编译单元提供了同名的有外部链接的实体。同时，在进行程序设计时，也要注意不要使只有本编译单元用到的函数、类、变量等有外部链接，减小与其它编译单元的链接冲突。