尽管获取了错误数据类型的地址，代码仍能编译

Question

#include <iostream>
#define n 255

using namespace std;


int main()
{
int i=n;
int *ptr=&i;
int const *ptr_1=&i;
const int *ptr_2=&i;
const int * const ptr_3=&i;
}

为什么此代码可以在 Visual C++、Dev C++ 和 G++ 中编译？ 链接到 - Ideone -

Answer 1

它确实可以编译，因为所有这些指针都不会更改变量访问的 const 限定或强制限定，但它们都不会尝试放松限定。

例如：

const int var;
int* address = &var; //illegal - tries to remove const

尝试对 const 变量进行非常量访问，这是非法的，但

int var;
const int* address = &var; //legal - only adds const

尝试对非常量变量进行常量访问，这是合法的，因为非常量变量确实允许仅 const 访问。

Answer 2

因为没有什么问题吗？

两边的类型相同： int *ptr=&i;

更多 const，完全没问题： int const *ptr_1=&i;

与上面的行完全相同： const int *ptr_2=&i;

更多 const，完全没问题： const int * const ptr_3=&i;

你总是可以创建一个变量 more< /strong> 常量。

int const * i;
int * j = i;

上面的内容使 j less const 并且无效。

4.4/1：（涵盖 int * 到 int const *）

“指向 cv1 T 的指针”类型的右值
可以转换为类型的右值
如果“cv2 T”大于“指向 cv2 T”的指针
简历比“cv1 T”合格。

Answer 3

您可能想知道为什么在获取地址时可以将值设置为 const。

这是合法的，在 C++ 术语中称为 const 提升。

请注意，仅一个级别的 const 提升可能会发生 - 也就是说，int** 可能会提升为 int * const* 但不是 int const** （const 必须向左“移动”两个位置）。

Answer 4

C++ 允许您创建指向在堆栈上创建的变量的指针。因此，这段代码没有任何问题。而且，它经常被用来向WINAPI等函数传递参数。

如果问题是关于指针的语义，那么答案是成熟的。
例如：

int * ptr; //pointer to a variable. Pointer and the variable can be changed.
int const * ptr; //a pointer to the constant variable, a pointer can be changed, the variable can not.
const int * ptr; //same as above.
const int * const ptr_3; //the most interesting section, a const pointer to const variable. 

只要记住 * 之前的修饰符指的是变量，后面的修饰符 - 指的是指针。