常量表达式的问题

[sherwinchen]

假如有全局变量 int i=42；
在主函数中 int *const p=&i；
这时的p可不可算作常量表达式（因为constexpr限定的指针可以用全局变量的地址初始化）

[真相重于对错]

const修饰它紧挨着右边的

[AlbertS]

p这个变量是常量，不能再给它赋其他值了

[lin5161678]

不能

[Xyino_Snake]

为此我专门在VS2015下试了一下。

#include<cstdio>

int x = 32;
constexpr int * const f() { return &x; }

int main()
{
	int * const x = f();
}

程序通过了。说明确实可以。

[赵4老师]

不要纠结各种常量了，这个世界上唯一不变的就是变化。用API WriteProcessMemory还能修改正运行的其它进程的内存里面的所谓常量呢！

[taodm]

可以。全局变量的地址可以用做模板的非类型参数就是一个例证。

[棉猴]

《C++Primer第五版中文版》中提到
常量表达式（const expression）是指不会改变并且在编译过程中就能得到计算结果的表达式。显然，字面值属于常量表达式，用常量表达式初始化的const对象也是常量表达式。
一个对象（或表达式）是不是常量表达式由它的数据类型和初始值共同决定，例如：

const int max_files = 20;  //是
const int limit = max_files + 1;  //是

[SeventhBlue]

常量表达式(const expression)：是指值不会改变并且在编译过程中就得到计算结果的表达式。(运行中得到结果的不能成为常量表达式)。
const int i=3; //是一个常量表达式
const int j=i+1; //是一个常量表达式
int k=23; //k的值可以改变，从而不是一个常量表达式
const int m=f(); //不是常量表达式，m的值只有在运行时才会获取。

constexpr变量：
C++11允许声明constexpr类型来由编译器检验变量的值是否是一个常量表达式。声明为constexpr的必须是一个常量，并且只能用常量或者常量表达式来初始化。
constexpr int i=3;
constexpr int j=i+1;
constexpr int k=f(); //只有f()是一个constexpr函数时k才是一个常量表达式
一般来说，若果一旦认定变量是一个常量表达式，那就把它声明为constexpr类型。
尽管指针和引用都可以定义为constexpr，但是他们的初始值却受到了严格的限制。一个constexpr指针的初始值必须是nullptr或者0，或者是存储某个固定地址的对象。函数体中定义的变量并非存放在固定地址中，因此constexpr指针不可以指向这样的变量。相反的，对于所有函数体之外的对象地址是固定不变的，可以用constexpr来定义；
必须明确一点，在constexpr声明中，如果定义了一个指针，限定符号constexpr仅仅对指针有效，与指针所指对象无关。
const int *p=nullptr; //p是一个指向整型常量的指针（pointer to const）
constexpr int *p1=nullptr; //p1是一个常量指针(const pointer)

所以对于你的问题是常量表达式吧！