块作用域链接 C 标准

发布于 2024-12-02 02:06:38 字数 532 浏览 2 评论 0原文

以下标识符没有链接：声明为对象或函数之外的任何标识符；声明为函数参数的标识符； 未使用存储类说明符 extern 声明的对象的块作用域标识符。

{
    static int a; //no linkage
}

对于在先前声明过的作用域中使用存储类说明符 extern 声明的标识符该标识符是可见的，如果先前的声明指定了内部或外部链接，则后面的声明中的标识符的链接与先前的声明中指定的链接相同。如果没有可见的先前声明，或者如果先前声明未指定链接，则标识符具有外部链接。

{
    static int a; //no linkage
    extern int a; //a should get external linkage, no?
}

GCC 错误：以下声明的外部声明没有链接

有人可以解释一下为什么我会收到此错误吗？

谢谢

原文

The following identifiers have no linkage: an identifier declared to be anything other than an object or a function; an identifier declared to be a function parameter; a block scope identifier for an object declared without the storage-class specifier extern.

{
    static int a; //no linkage
}

For an identifier declared with the storage-class specifier extern in a scope in which a prior declaration of that identifier is visible, if the prior declaration specifies internal or external linkage, the linkage of the identifier at the later declaration is the same as the linkage specified at the prior declaration. If no prior declaration is visible, or if the prior declaration specifies no linkage, then the identifier has external linkage.

{
    static int a; //no linkage
    extern int a; //a should get external linkage, no?
}

GCC error: extern declaration of a follows declaration with no linkage

Can somebody explain me why do I get this error?

Thank you

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

不寐倦长更 2024-12-09 02:06:38

您的假设是正确的：a 的第二个声明具有外部链接。但是，您会收到错误，因为您的代码违反了第 6.7 节中的约束：

3 如果一个标识符没有链接，则不得超过一个
标识符的声明（在声明符或类型说明符中）
相同的范围和相同的名称空间，除了以下标签
6.7.2.3 中规定。

也就是说，一旦您将 a 声明为没有链接，您就无法在同一范围内再次重新声明它。

调用此规则的一个有效示例是：

int a = 10;  /* External linkage */

void foo(void)
{
    int a = 5;  /* No linkage */

    printf("%d\n", a);    /* Prints 5 */

    {
        extern int a;  /* External linkage */

        printf("%d\n", a);    /* Prints 10 */
    }
}

Your supposition is correct: the second declaration of a has external linkage. However, you get an error because your code violates a constraint in §6.7:

3 If an identifier has no linkage, there shall be no more than one
declaration of the identifier (in a declarator or type specifier) with
the same scope and in the same name space, except for tags as
specified in 6.7.2.3.

That is, once you've declared a to have no linkage, you can't redeclare it again in the same scope.

A valid example of this rule being invoked is:

int a = 10;  /* External linkage */

void foo(void)
{
    int a = 5;  /* No linkage */

    printf("%d\n", a);    /* Prints 5 */

    {
        extern int a;  /* External linkage */

        printf("%d\n", a);    /* Prints 10 */
    }
}

回复收藏 0 原文