按照

Question

我想知道如果下面的C代码段，其中的f定义不能重复f是static联动的，是正确的声明和定义之间的联动：

static int f(int); 

int f(int x) { return x; } 

锵不排放任何警告它。我读了C11标准的条款6.7.1，但没有找到我的问题的答案。

可以想象出更多的问题，例如下面的t1.c和t2.c，如果答案一般足以适用于其中一些，这将是很好的，但我只是真的关注上面的第一个例子。

~ $ cat t1.c 
static int f(int); 

int f(int); 

int f(int x) { return x; } 
~ $ clang -c -std=c99 -pedantic t1.c 
~ $ nm t1.o 
warning: /Applications/Xcode.app/…/bin/nm: no name list 
~ $ cat t2.c 
int f(int); 

static int f(int); 

int f(int x) { return x; } 
~ $ clang -c -std=c99 -pedantic t2.c 
t2.c:3:12: error: static declaration of 'f' follows non-static declaration 
static int f(int); 
     ^
t2.c:1:5: note: previous declaration is here 
int f(int); 
    ^
1 error generated. 

Answer 1

链接的规则有点令人困惑，它对于函数和对象是不同的。简而言之，规则如下：

• 第一个声明确定链接。
• static表示内部联动。
• extern表示链接已经声明，如果没有声明，外部。
• 如果它们都没有给出，则它与extern用于函数以及对象标识符的外部链接（在同一翻译单元中具有定义）相同。

所以，这是有效的：

static int f(int); // Linkage of f is internal. 

int f(int); // Same as next line. 

extern int f(int); // Linkage as declared before, thus internal. 

int f(int x) { return x; } 

此，在另一方面，是不确定的行为（参见C11（n1570）6.2。2 p7）：

int f(int); // Same as if extern was given, no declaration visible, 
      // so linkage is external. 

static int f(int); // UB, already declared with external linkage. 

int f(int x) { return x; } // Would be fine if either of the above 
          // declarations was removed. 

大部分内容都在C11 6.2.2中介绍。从N1570草案：

（3）如果一个对象或功能的文件范围标识符的声明包含存储类说明static，所述标识符具有内部连接。 ^30）

（4），用于与存储类说明extern在一个范围中声明的标识符，其中该标识符的先前声明是可见^31），如果事先声明指定的内部或外部联动，后面声明中标识符的链接与先前声明中指定的链接相同。如果前面的声明不可见，或者前面的声明没有指定链接，则标识符具有外部链接。 （5）如果函数的标识符声明没有存储类说明符，则其链接的确定与使用存储类说明符extern声明的一样。如果对象的标识符声明具有文件范围并且没有存储类说明符，则其链接是外部的。

^30）函数声明只有在文件范围时才可以包含存储类说明符static;见6.7.1。
^31）按照6.2.1的规定，后面的声明可能会隐藏事先声明。

Answer 2

据C11，6.2.2，7他们都是不确定的行为，。

如果在翻译单元中出现同一标识符，并且内部和外部链接均为 ，则行为未定义。

甲函数也是标识符和默认（如静态没有任何限定词）的函数的具有外部连接。

C11，标识符

1的标识符可以表示一个对象的6.2.1作用域;功能;标签或结构的成员，工会或枚举;一个 typedef名称;标签名称;一个宏名称;或宏参数。 相同的标识符可以表示程序中不同点处的不同实体。枚举的成员被称为枚举 常量。此处不考虑宏名称和宏参数，因为在程序翻译的语义阶段之前，源文件中宏名称的出现被构成其宏定义的预处理标记序列替换。