1

当我阅读 c++ 03 标准（7.1.1 存储类说明符 [dcl.stc]）时，有一些示例如下，我无法说出每个连续声明的链接是如何确定的？有人可以帮忙吗？提前致谢！

static char* f();    // f() has internal linkage
char* f() 
       { /* ... */ } // f() still has internal linkage

char* g();           // g() has external linkage
static char* g() 
       { /* ... */ } // error: inconsistent linkage

void h();
inline void h(); // external linkage

inline void l();
void l(); // external linkage

inline void m();
extern void m(); // external linkage

static void n();
inline void n(); // internal linkage

static int a; // a has internal linkage
int a; // error: two definitions

static int b; // b has internal linkage
extern int b; // b still has internal linkage

int c; // c has external linkage
static int c; // error: inconsistent linkage

extern int d; // d has external linkage
static int d; // error: inconsistent linkage

UPD：此外，我如何理解标准中的声明，

给定实体的连续声明所暗示的联系应一致。也就是说，在给定的范围内，每个声明相同的对象名称或函数名称的相同重载的声明都应暗示相同的链接。然而，一组给定的重载函数中的每个函数都可以有不同的链接。

4

1 回答 1

3

除非您static在全局范围内声明的独立函数或变量上使用它们，否则它们将具有外部链接。

请注意，inline在函数上使用关键字不会更改函数的链接。

另一个需要注意的重要一点是，const与 C 不同，C++ 中的变量具有内部链接。

给定实体的连续声明所暗示的联系应一致。也就是说，在给定的范围内，每个声明相同的对象名称或函数名称的相同重载的声明都应暗示相同的链接。然而，一组给定的重载函数中的每个函数都可以有不同的链接。”

声明向编译器引入了一个标识符，以便编译器知道它的类型。在 C++ 中，一个标识符可以声明任意多次，例如： 

void doSomething(int, double);         // External Linkage
extern void doSomething(int, double);  // External Linkage is explicitly mentioned

引用的段落暗示相同标识符的所有此类声明都应指定相同的链接。例如，以下将是无效的：

void doSomething(int, double);        //External Linkage
static void doSomething(int, double); //Internal Linkage due to static

同时，同一函数的重载版本可以具有不同的链接，因此以下是有效的： 

void doSomething(int, double);
extern void doSomething(int, double);
void doSomething(double,int);
于 2012-09-04T03:33:33.427 回答