什么是外部链接和内部链接？

某厂面试归来，发现自己落伍了！>>>

我想了解外部链接和内部链接及其区别。

我也想知道

除非默认声明为extern ，否则默认情况下const变量内部链接。

#1楼

编写实现文件（ .cpp ， .cxx等）时，编译器会生成翻译单元 。这是实现文件中的目标文件，以及#include在其中的所有标头。

内部链接仅指翻译单元范围内的所有内容。

外部链接是指存在于特定翻译单元之外的事物。换句话说， 可以通过整个程序访问 ，这是所有翻译单元（或目标文件）的组合。

#2楼

正如dudewat所说，外部链接意味着在整个程序中都可以访问符号（函数或全局变量），而内部链接意味着只能在一个翻译单元中对其进行访问。

您可以使用extern和static关键字显式控制符号的链接。如果未指定的联动是默认键是extern用于非const符号和static （内部）为const的符号。

// in namespace or global scope
int i; // extern by default
const int ci; // static by default
extern const int eci; // explicitly extern
static int si; // explicitly static

// the same goes for functions (but there are no const functions)
int foo(); // extern by default
static int bar(); // explicitly static

请注意，与其使用static进行内部链接，不如使用匿名名称空间，也可以将class es放入其中。在C ++ 98和C ++ 11之间，用于匿名名称空间的链接已更改，但主要的问题是，其他翻译单元无法访问它们。

namespace {
   int i; // external linkage but unreachable from other translation units.
   class invisible_to_others { };
}

#3楼

全局变量默认具有外部链接 。通过在另一个文件中提供匹配的extern声明，可以将其范围扩展到除包含它之外的文件。
可以通过在声明的前面加上关键字static来将全局变量的范围限制为包含声明的文件。据说这些变量具有内部联系 。

考虑以下示例：

1.cpp

void f(int i);
extern const int max = 10;
int n = 0;
int main()
{
    int a;
    //...
    f(a);
    //...
    f(a);
    //...
}

函数的签名f声明f与外部连接 （默认值）的功能。必须稍后在此文件或其他翻译单元（如下所示）中提供其定义。
max定义为整数常量。常量的默认链接是internal 。使用关键字extern将其链接更改为外部。因此，现在可以在其他文件中访问max 。
n被定义为整数变量。在函数体外部定义的变量的默认链接为external 。

2.cpp

#include <iostream>
using namespace std;

extern const int max;
extern int n;
static float z = 0.0;

void f(int i)
{
    static int nCall = 0;
    int a;
    //...
    nCall++;
    n++;
    //...
    a = max * z;
    //...
    cout << "f() called " << nCall << " times." << endl;
}

max声明具有外部链接 。 max的匹配定义（具有外部链接）必须出现在某些文件中。（如1.cpp中所示）
n被声明具有外部链接 。
z 定义为具有内部链接的全局变量。
的定义nCall指定nCall是保持其在调用值函数的变量f() 。与具有默认自动存储类的局部变量不同， nCall在程序开始时仅初始化一次，而对于每次调用f() nCall不会初始化一次。存储类说明符static影响局部变量的生存期，而不影响其范围。

注意：关键字static具有双重作用。在全局变量的定义中使用时，它指定内部链接 。当在局部变量的定义中使用时，它指定变量的生存期将是程序的持续时间，而不是函数的持续时间。

希望有帮助！

#4楼

用“ C”表示（因为static关键字在“ C”和“ C ++”之间具有不同的含义）

让我们来谈谈“ C”中的不同范围

范围：基本上，我可以看到多长时间以及多远。

局部变量：作用域仅在函数内部。它位于RAM的STACK区域中。这意味着每次调用一个函数时，该函数的所有变量（包括函数参数）都会重新创建，并在控件退出该函数后销毁。（因为每次函数返回时堆栈都会被刷新）
静态变量：此范围适用于文件。它可以在文件中的任何位置访问
在其中声明。它位于RAM的DATA段中。由于只能在文件内部进行访问，因此只能进行内部链接。任何
其他文件看不到该变量。实际上，STATIC关键字是我们可以引入某些级别的数据或功能的唯一方法
隐藏在“ C”中
全局变量：此范围适用于整个应用程序。它可以从应用程序的任何位置访问。全局变量也驻留在DATA段中，因为可以在应用程序中的每个位置访问它，因此可以进行EXTERNAL链接

默认情况下，所有功能都是全局的。如果需要从外部隐藏文件中的某些功能，则可以在该功能的前面加上static关键字。 :-)

#5楼

在谈论这个问题之前，最好准确地了解术语翻译单元 ，程序和C ++的一些基本概念（实际上，链接通常是其中之一）。您还必须知道什么是范围。

我会强调一些要点，特别是。先前答案中缺少的那些。

链接是名称的属性，由声明引入。不同的名称可以表示相同的实体（通常是对象或函数）。因此，谈论实体的链接通常是胡说八道，除非您确定该实体将仅由某些特定声明（不过通常是一个声明）中的唯一名称引用。

请注意，对象是实体，但变量不是。在讨论变量的链接时，实际上要关注所表示实体的名称（由特定声明引入）。名称的链接是以下三种之一：无链接，内部链接或外部链接。

不同的翻译单元可以通过头文件/源文件共享相同的声明（是的，这是标准的措词）。因此，您可以在不同的翻译单位中使用相同的名称。如果声明的名称具有外部链接，则该名称引用的实体的身份也将共享。如果声明的名称具有内部链接，则不同翻译单位中的相同名称表示不同的实体，但是您可以在同一翻译单位的不同范围内引用该实体。如果名称没有链接，则根本无法从其他范围引用该实体。

（糟糕...我发现我键入的内容只是在重复标准措辞 ...）

语言规范中还没有涵盖其他一些令人困惑的地方。

可见性（名称）。它也是声明名称的属性，但其含义不同于linkage 。
可见性（副作用）。这与本主题无关。
（符号的）可见性。实际实现可以使用此概念。在这样的实现中，在目标（二进制）代码中具有特定可见性的符号通常是从实体定义映射的目标，该实体定义的名称在源（C ++）代码中具有相同的特定链接。但是，通常不能保证一对一。例如，动态库映像中的符号只能从源代码（涉及某些扩展，通常是__attribute__或__declspec ）或编译器选项在内部在该映像中指定，并且该映像不是整个程序或目标文件从翻译单元翻译过来的，因此没有标准的概念可以准确地描述它。因为符号不是C ++中的规范术语，所以它仅是实现细节，即使方言的相关扩展可能已被广泛采用。
辅助功能。在C ++中，这通常是关于类成员或基类的属性的，这又是与主题无关的不同概念。
全球。在C ++中，“全局”是指全局名称空间或全局名称空间范围的内容。后者大致相当于C语言中的文件范围 。在C和C ++中，链接都与范围无关，尽管范围（如链接）也与某些声明引入的标识符（在C中）或名称（在C ++中）紧密相关。

名称空间范围const变量的链接规则是特殊的（特别不同于C语言中在文件范围中声明的const对象，该对象也具有标识符链接的概念）。由于ODR是由C ++强制执行的，因此对于整个程序中发生的同一变量或函数，除了inline函数外，不要超过一个定义，这一点很重要。如果没有这样特殊的const规则，则最简单的const变量声明在多个翻译单元（或一个翻译单元包含）的头文件或源文件（通常是“头文件”）中带有初始化程序（例如= xxx ）程序中会多次（尽管很少）违反ODR，这使得无法使用const变量替换某些类似于对象的宏。

来源：oschina

链接：https://my.oschina.net/u/3797416/blog/3196170

标签

外部链接

extern

const

函数声明

语言翻译

static

变量