各种常量/静态变量的链接

我有几个关于以下变量的链接的问题。通过C++ 03的7.1.1/7的例子和编译器(COMMO,Clang和GCC)的实验,我得出以下的链接类型:

1. 弗斯特 static 然后 extern

   static int a; // (a)
   extern int a; // (b) valid, 'a' still internal
   

   我很清楚,根据第3.5节:(a)意味着内部联系。并且(b)也意味着内部链接,因为名称“a”被声明为静态的(通过(a))。

2. 弗斯特 外部的 然后 静止的

   extern int b; // (c)
   static int b; // (d) invalid!
   

   首先,(c)表示外部联系。但是(d)意味着内部链接,因为名称“b”由(d)声明为静态的。根据7.1.1/7,这是无效的,因为暗示的链接不一致。

3. 弗斯特 const 然后 外部的

   const double pi1 = 3.14; // (e)
   extern const double pi1; // (f) valid and 'pi1' is internal
   

   首先,(e)表示内部链接,因为它是常量,既没有声明显式外部链接,也没有先前声明的隐式外部链接。并且(f)应该暗示外部链接并且是一个错误,因为它显式地声明了名称extern,但是编译器将其保持在内部! 为什么呢? 这是我的问题。

4. 弗斯特 外部的 然后 康斯特

   extern const double pi2; // (g)
   const double pi2 = 3.14; // (h) valid and 'pi2' is external
   

   现在,(g)意味着外部链接,因为我们显式地声明了extern。和(h)也意味着外部链接,因为(g)显式声明为外部。

我已经用下面的模板实验了3和4的链接(第二个参数需要有外部链接)

template<typename T, T&> struct ensure { };

ensure<const double, pi1> e1; // failed
ensure<const double, pi2> e2; // succeeded

总结: 与…讨论 Charles Bailey 结果是非常富有成效的,并表明有两种可能的解释 3.5/3 ,其中重要的要点是

如果名称空间范围(3.3.5)是

• 一种对象或引用,它被显式声明为常量,而不是显式声明为extern或 先前宣布具有外部联系;

如果我们看点 (f) 然后这两种解释得出了不同的结论,如下所示

1. 第一个解释指出 pi1 被宣布 康斯特 但也被宣布 外部的 . 因此,变量 外部的 连锁。

2. 第二种解释解释了“已声明”指同一声明的两种情况。这样,就意味着 被宣布 康斯特 ,但不是 extern const . 我们注意到 (e) 被宣布 康斯特 而不是 外部常数 因此,我们给予 PI1 内部联动装置。

现在什么解释是正确的?我不能从那个措词来判断,但编译器似乎是用第二种方式来解释这个问题。特别是,如果我们采用第一种解释,那么最后引用的部分 3.5/3 这将是多余的,因为在没有有效方案中声明名称 康斯特 以前用外部链接声明,但没有显式 外部的 .