constexpr int* ptr =&i 在 msvc 中编译，但不使用 clang 和 gcc

Question

我正在使用here 列出的书籍了解constexpr 变量。特别是我在 C++ Primer 中读到：

声明为 constexpr 的变量是隐式 const 并且必须使用常量表达式进行初始化。

现在，为了进一步理清我的概念并检查我是否理解正确，我编写了以下简单的程序，该程序使用 msvc 但不使用 gcc 和 clang 编译： Demo

int main(void)
{
   int i = 0;
   constexpr int *ptr= &i; //compiles with msvc but not with clang and gcc 
}

所以，我的问题是哪个编译器在这里（如果有的话）？

Answer 1

该程序是格式不正确和msvc 接受代码错误.这是因为i 不是静态分配的对象，所以它的地址不是常数。基本上，因为我们只能从 nullptr 文字或文字 0 或从具有固定地址的对象的地址在您的示例中，i 不是具有固定地址的对象，因此&i 是不是常量表达式.

这可以从expr.const#11 中看出，其中指出：

常量表达式要么是glvalue 核心常量表达式，它引用作为常量表达式（如下定义）的允许结果的实体，或prvalue 核心常量表达式，其值满足以下约束：

• 如果该值是指针类型，则它包含具有静态存储持续时间的对象的地址，此类对象末尾的地址（[expr.add]），非立即函数的地址或空指针值，

如果实体是具有静态存储持续时间的对象，该对象不是临时对象或者是其值满足上述约束的临时对象，或者它是非立即函数，则该实体是常量表达式的允许结果。

（强调我的）

这意味着有两种方法可以解决问题。第一的是您可以在i 前面添加static 以使其成为本地静态。这第二就是将i的定义移到主函数之外的全局作用域。在这两种情况下（如下所示），i 将拥有静态存储时间这样&i 现在将根据上面引用的语句成为一个常量表达式。

---

方法一

int main()
{
//-vvvvvv------------->static added here so that i now has static storage duration
   static int i = 0;
   constexpr int *ptr= &i; //works now
   
}

方法二

int i = 0;  //make i global so that i now has static storage duration  
int main()
{

   constexpr int *ptr= &i; //works now   
}

这是 msvc 错误报告：

MSVC compiles invalid constexpr int*ptr= &i where i is a local nonstatic object